the collection of my notes for the MSc Logic and AI at TU Wien !
| course | status |
|---|---|
| 1st sem: | |
| Logic and Computation (LoCo) | WIP |
| Formal Methods in Systems Engineering (FORSYTE) | WIP |
| Computer-Aided Verification (CAV) | WIP |
| Algorithmics | WIP |
| Discrete Mathematics | ☒ |
they're here mainly here because i strongly believe in open knowledge
(there might be some mistakes !) (feel free to contact me and i'll absolutely fix them ! (or you can fix them yourself if you want))