Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 11 » nocl_ws15_16 (Übersicht)
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Nächste Überarbeitung | Vorherige Überarbeitung | ||
pruefungen:hauptstudium:ls11:nocl_ws15_16 [09.03.2016 17:49] – angelegt thejonny | pruefungen:hauptstudium:ls11:nocl_ws15_16 [13.04.2016 00:23] (aktuell) – gelöscht goldkatze | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
- | Nonclassical Logics | ||
- | Pruefer: Lutz Schroeder, Beisitzer: Tadeusz Litak | ||
- | Pruefung war in Englisch. | ||
- | Pruefungsnote wurde noch mit Note aus Hausaufgaben gemischt, Gewichtung ist | ||
- | mir unbekannt (Endnote war bei allen mir bekannten Faellen exakt gleich der | ||
- | Hausaufgabennote) | ||
- | |||
- | Grundsaetzlich wurden nur sehr grobe Fragen gestellt, der Pruefling konnte | ||
- | dann relativ frei darauf antworten. | ||
- | |||
- | Entsprechend waren die Fragen: | ||
- | |||
- | - Erzaehlen sie mir etwas ueber das Gentzen-Sequenz-Kalkuel in der klassischen | ||
- | Propositionallogik (d.h. Syntax und Regeln hinschreiben) | ||
- | - kurze Beweissidee zur Weakening/ | ||
- | - Unterschied zwischen multiplikativer und additiver Konjunktion in der | ||
- | Linearlogik (anhand der Sequenzregeln) | ||
- | - Etwas ueber die Phase-Space-Semantik von Linearlogik erzaehlen (also PS definieren, | ||
- | Semantik von ein paar Formeln hinschreiben) | ||
- | - Erzaehlen Sie irgendwas ueber Intuitionistische Logik (habe etwas ueber die | ||
- | Semantik und die Uebersetzung zu S4 erzaehlt) | ||
- | - Nachgehakt bei der Uebersetzung zu S4, d.h. Goedel-Translation definieren. | ||
- | - " | ||
- | Bunch-Implication-Logic (BI) und Linearlogik (Frage war zu allgemein, konnte | ||
- | keinen Hauptunterschied benennen) | ||
- | - Erzaehlen Sie was ueber BI-Logik und ihren Besonderheiten (BI hat Bunches | ||
- | vorne und Formeln hinten, Bunches sehen so und so aus, etc ...) | ||
- | - Bunches nochmal genau definieren und zwei, drei Regeln aus der BI | ||
- | hinschreiben. | ||
- | |||
- | War insgesamt ziemlich lange die Pruefung. Praktisch nur Definitionen | ||
- | abgefragt und bewertet wie schnell man sie auskotzt. | ||
- | |||
- | Ein anderer Pruefling wurde fast ausschliesslich zu Semantik befragt, waehrend | ||
- | es bei mir gemischt mit Tendez zur Syntax ging. Es scheint also keinen | ||
- | Generalplan zu geben. | ||