![[ICO]](/icons/blank.gif){kind=icon}
![[PDF]](res/pdf_icon.svg){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| 01-Propositional-Basics.pdf | 2025-06-30 10:33 | 206K |
| 02-Equivalences.pdf | 2025-06-30 10:33 | 127K |
| 03-Normal-Forms.pdf | 2025-06-30 10:33 | 131K |
| 04-Definitional-CNF.pdf | 2025-06-30 10:33 | 128K |
| 05-Horn-Formulae.pdf | 2025-06-30 10:33 | 116K |
| 06-DPLL.pdf | 2025-06-30 10:33 | 343K |
| 07-Propositional-Compactness.pdf | 2025-06-30 10:33 | 132K |
| 08-Resolution.pdf | 2025-06-30 10:33 | 186K |
| 09-CDCL.pdf | 2025-06-30 10:33 | 141K |
| 10-Basic-Proof-Theory.pdf | 2025-06-30 10:33 | 93K |
| 11-Sequent-Calculus.pdf | 2025-06-30 10:33 | 212K |
| 12-Tableaux-Calculus.pdf | 2025-06-30 10:33 | 176K |
| 13-Natural-Deduction.pdf | 2025-06-30 10:33 | 204K |
| 14-Hilbert-Systems.pdf | 2025-06-30 10:33 | 151K |
| 15-FOL-Basics.pdf | 2025-06-30 10:33 | 296K |
| 16-FOL-Normal-Forms.pdf | 2025-06-30 10:33 | 193K |
| 17-Herbrand-Theory.pdf | 2025-06-30 10:33 | 188K |
| 18-FOL-Resolution.pdf | 2025-06-30 10:33 | 444K |
| all-slides.pdf | 2025-06-30 10:33 | 947K |