Department of Mathematics
Homepages
(hier geht es zur ggf. vollständigeren Homepage im alten Layout)
(this way to the possibly more complete Homepage in the old layout)
(this way to the possibly more complete Homepage in the old layout)
Proseminar: Aussagenlogik und Boolsche Algebren
Januar 2021, Universität Hamburg
Koordinierung: Dr. Yurii Khomskii
Teilnehmende:- Nico Bartocha
- Omke Hendriks
- Rika Lorenzen
- Selina Meier
- Dina Riemer
- Thalia Rübsteck
- Roman Schaut
- Finja Schnoor
Aussagenlogik und Boolsche Algebren
Die Aussagenlogik beschäftigt sich mit den Regeln des logischen Schließens für Verknüpfungen zwischen Aussagen: z.B. ist die Aussage "A und B" ist genau dann wahr, wenn sowohl A als auch B wahr ist, und die Aussage "A oder B" genau dann wahr, wenn mindestens eine der beiden Aussagen A und B wahr ist. Die Verknüpfungen "und", "oder", "nicht" usw. verhalten sich hier wie algebraische Operationen. In diesem Proseminar wollen wir uns mit der grundlegenden Theorie der Aussagenlogik und ihrer Verbindung zu Booleschen Algebren beschäftigen.Das Proseminar findet als Blockveranstaltung, vollkommen im digitalen Format, in Januar 2021 statt.
Literatur
- Dirk van Dalen, Logic and Structure (4th edition), Springer-Verlag.
- Blackburn, de Rijke, Venema, Modal Logic Cambridge University Press 2001.
Links
- Zu welchem Thema möchten Sie gerne vortragen? Google Form
- Wann können Sie anwesend sein bzw. vortragen? Doodle Umfrage
- Fester Link für alle Vorträge und andere Treffen: https://uva-live.zoom.us/j/87289596561
Vorträge
Wann | Wer | Was | Abschnitt | Notizen | |
Freitag 15 Januar, 12:00 Uhr | Alle | Vorbesprechung | |||
1. | Montag 18 Januar, 12-14 | Thalia Rübsteck | Einführung und Syntax der Aussagenlogik | Dirk van Dalen: 1.1 (S. 6-15) | Notizen |
2. | Dienstag 19 Januar, 12-14 | Rika Lorenzen | Semantik der Aussagenlogik | Dirk van Dalen: 1.2 (S. 15-21) | |
3. | Dienstag 19 Januar, 14-16 | Selina Meier | Weitere Eigenschaften der Aussagenlogik | Dirk van Dalen: 1.3 (S. 21-29) | |
4. | Mittwoch 20 Januar, 12-14 | Nico Bartocha | Kalkül des natürlichen Schließens | Dirk van Dalen: 1.4 (S. 30-40) | |
5. | Mittwoch 20 Januar, 14-16 | Omke Hendricks | Der Vollständigkeitssatz der Aussagenlogik | Dirk van Dalen: 1.5 (S. 40-47) | |
6. | Mittwoch 20 Januar, 16-18 | Finja Schnoor | Mehr zu definierbaren Verknüpfungen | Dirk van Dalen: 1.6 (S. 49-54) | |
7. | Freitag 22 Januar, 14-16 | Roman Schaut | Boolsche Algebren | Blackburn et al: 5.1, S. 262-274 |