Neueste Folgen des Podcasts Logik für Informatiker
1. Syntax versus Semantik
31/10/2008
2. Grammatiken
07/11/2008
3. Syntax der Aussagenlogik
14/11/2008
4. Semantik der Aussagenlogik
21/11/2008
5. Semantische Folgerung
28/11/2008
6. Normalformen
05/12/2008
7. Beweise: Eine Einführung
12/12/2008
8. Der Resolutionskalkül
19/12/2008
9. Der Hilbertkalkül der Aussagenlogik
09/01/2009
10. Syntax der Prädikatenlogik
16/01/2009
11. Semantik der Prädikatenlogik
23/01/2009
12. Terme
30/01/2009
13. Hilbertkalkül der Prädikatenlogik
06/02/2009
14. Hoare-Logik
13/02/2009
