Homepages

(hier geht es zur ggf. vollständigeren Homepage im alten Layout)
(this way to the possibly more complete Homepage in the old layout)

                                                         

---

Proseminar: Aussagenlogik und Boolesche Algebren

März 2023, Universität Hamburg

Koordinierung: Dr. Yurii Khomskii

Teilnehmende:

1. David Jaeschke
2. Paul Rode
3. Kashif Ahmed
4. Esther Hoesmann
5. Harun Yildrim
6. Sophia Sterz

---

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 im digitalen Format, in März 2023 statt.

Literatur

• Dirk van Dalen, Logic and Structure (4th edition), Springer-Verlag.


• Blackburn, de Rijke, Venema, Modal Logic, Cambridge University Press 2001.

Links

• Zoom-Link für alle Vorträge: https://uva-live.zoom.us/j/83834475176

Vorträge

	Wann	Wer	Was	Abschnitt	Notizen
1.	Freitag 17 März, 12:15	Zoheil Danesh	Einführung und Syntax der Aussagenlogik	Dirk van Dalen: 1.1 (S. 6-15)
2.	Freitag 17 März, 14:15	Esther Hoesman	Semantik der Aussagenlogik	Dirk van Dalen: 1.2 (S. 15-21)	Vortrag Übungsaufgaben
3.	Dienstag 21 März, 11:15	Harum Yildirim	Kalkül des natürlichen Schließens	Dirk van Dalen: 1.4 (S. 30-40)	Vortrag Übungsaufgaben Lösungen
4.	Dienstag 21 März, 14:15	Sophia Sterz	Der Vollständigkeitssatz der Aussagenlogik	Dirk van Dalen: 1.5 (S. 40-47)	Vortrag Übungsaufgaben
5.	Donnerstag 23 März, 14:15	Kashif Ahmed	Weitere Eigenschaften der Aussagenlogik	Dirk van Dalen: 1.3 (S. 21-29)
6.	Freitag 24 März, 14:15	David Jaeschke	Boolsche Algebren	Blackburn et al: 5.1, S. 262-274	Vortrag
7.	Freitag 24 März, 14:15	Mary-Katrin Gomez	Modale Logik I	Blackburn et al, S. 2-15 (konkrete Beispiele weglassen)
8.	Freitag 24 März, 16:15	Paul Rode	Modale Logik II	Blackburn et al, S. 16-26

---