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.

Link zu der Vergleichsansicht

Nächste Überarbeitung		Vorherige Überarbeitung
Letzte ÜberarbeitungBeide Seiten, nächste Überarbeitung
pruefungen:hauptstudium:ls11:nocl_ws15_16 [09.03.2016 17:49] – angelegt thejonnypruefungen:hauptstudium:ls11:nocl_ws15_16 [12.04.2016 19:37] – Yannik
Zeile 1: Zeile 1:
-Nonclassical Logics +kann gelöscht werden
-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/Contraction admissibility +
-- 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. +
-- "Erzaehlen sie was ueber den Hauptunterschied zwischen +
-  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. +