Folien

Folien vom 27.10.2005 - Allgemeines, Repetitorium: klassische Aussagenlogik Folien vom 3.11.2005 - Towards natural deduction and sequent calculi Folien vom 10.11.2005 - natürliche Deduktionskalküle und Sequenzenkalküle Folien vom 17.11.2005 - Sequenzenkalküle, struktrelle Regeln Folien vom 24.11.2005 - Typkalkül für funktionale Programmiersprachen Folien vom 1.12.2005 - (Intuitionistische) Lineare Logik Folien vom 8.12.2005 - Lineare Logik und (erweiterte) Petrinetze Folien vom 15.12.2005 - Exkurs in die Linguistik: Prolog, λProlog, Lolli und das Parsen von Sätzen Folien vom 22.12.2005 - Spielesemantik für Lineare Logik Folien vom 12.1.2006 - Petrinetzsemantik und Phasensemantik Beispiele vom 19.1.2006 - Beispiele zur Phasensemantik (von Frank) Folien vom 19.1.2006 - Einführung in Beweisnetze Folien vom 26.1.2006 - Proof nets, Danos-Regnier-Kriterium Folien vom 2.2.2006 - Proof nets für Modalitäten, interaction nets, Kategorientheorie