![[ICO]](/icons/blank.gif){kind=icon}
![[PDF]](res/pdf_icon.svg){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| 01-Propositional-Basics.pdf | 2025-07-01 11:10 | 140K |
| 02-Equivalences.pdf | 2025-07-01 11:10 | 108K |
| 03-Normal-Forms.pdf | 2025-07-01 11:10 | 128K |
| 04-Definitional-CNF.pdf | 2025-07-01 11:10 | 128K |
| 05-Horn-Formulae.pdf | 2025-07-01 11:10 | 106K |
| 06-DPLL.pdf | 2025-07-01 11:10 | 323K |
| 07-Propositional-Compactness.pdf | 2025-07-01 11:10 | 132K |
| 08-Resolution.pdf | 2025-07-01 11:10 | 143K |
| 09-CDCL.pdf | 2025-07-01 11:10 | 129K |
| 10-Basic-Proof-Theory.pdf | 2025-07-01 11:09 | 90K |
| 11-Sequent-Calculus.pdf | 2025-07-01 11:09 | 179K |
| 12-Tableaux-Calculus.pdf | 2025-07-01 11:09 | 89K |
| 13-Natural-Deduction.pdf | 2025-07-01 11:09 | 156K |
| 14-Hilbert-Systems.pdf | 2025-07-01 11:09 | 146K |
| 15-FOL-Basics.pdf | 2025-07-01 11:09 | 201K |
| 16-FOL-Normal-Forms.pdf | 2025-07-01 11:09 | 147K |
| 17-Herbrand-Theory.pdf | 2025-07-01 11:09 | 148K |
| 18-FOL-Resolution.pdf | 2025-07-01 11:09 | 207K |
| 19-Equality.pdf | 2025-07-11 13:58 | 145K |
| 20-Undecidability.pdf | 2025-07-17 13:15 | 121K |
| 21-FOL-Compactness.pdf | 2025-07-17 13:15 | 112K |
| 22-Decision-Problem.pdf | 2025-07-17 13:15 | 177K |
| 23-FOL-Proof-Theory.pdf | 2025-07-17 13:15 | 155K |
| 24-Theories.pdf | 2025-07-17 13:15 | 108K |
| 25-Quantifier-Elimination.pdf | 2025-07-23 10:51 | 191K |
| 26-Incompleteness.pdf | 2025-07-23 10:51 | 196K |
| all-slides.pdf | 2025-07-23 10:51 | 970K |