Lectures

• [x] 1: 27.10.2022
• [x] 2: 28.10.2022
• [x] 3: 03.11.2022 (A2, A5)
• [x] 4: Shannon Formeln 04.11.2022 (A11, A13)
• [x] 5: 10.11.2022 (A20, A21, A22)
• [x] 6: 11.11.2022 (A29, A28)
• [x] 7: 17.11.2022
• [x] 8: 18.11.2022 (A33, A31 b.1, A32)
• [x] 9 Praedikatenlogik: Semantik: 24.11.2022
• [x] 10 Praedikatenlogik: Semantik: 25.11.2022 (A37, A43)
• [x] 11 Praedikatenlogik: Normalformen und Skolemisierung, Satz von Herbrand: 01.12.2022 (A37)
• [x] 12: Beweistheorie, Hilbertkalkuel, Resolutionskalkuel (Aussagenlogik): 02.12.2022
• [x] 13: Resolutionskalkuel (Praedikatenlogik) (A53, A54, A57, A60): 08.12.2022
• [x] 14: Theorie-Schliessen: Einfuehrung (A61) (Skip Theorien), Shostak 09.12.2022
• [x] 15: Goedelsche Unvollstaendigkeitssatz: 15.12.2022
• [x] 16: DPLL fuer Theorien, Skip Praxisaufgabe 16.12.2022
• [x] 17: Full Skip Gleichungslogik und Termersetungssysteme, Reduktionssysteme: 22.12.2022
• [x] 18: Skip Termersetungssysteme, Tableaukalkuel fuer Aussagenlogik 23.12.2022
• [x] 19: Tableaukalkuel proofs (Skip), Tableaukalkuel fuer Praedikatenlogik 12.01.2023