Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...
(bitte ignorieren Sie den obigen Halbsatz. Er wurde vom Rektorat vorgeschrieben, nicht vom Vortragenden)
Studierende können den Lernerfolg daran messen, die gut sie die folgenden Konzepte erklären und verständig anwenden können: aussagenlogische und prädikatenlogische Formeln, den in der VO besprochenen Beweiskalkül (insbesondere die Rolle des Substitutionsaxioms sowie Metatheoreme wie Deduktionstheorem und Einführung von Quantoren), semantische und syntaktische Konsistenz, Kompaktheit der Aussagenlogik und der Prädikatenlogik erster Stufe. (Der wesentliche Punkt: Sie haben den Beweis des Gödelschen Vollständigkeitssatzes verstanden.)
Sie können den Resolutionsalgorithmus (Sprache erster Ordnung, ohne Gleichheit) erklären und anwenden, sowie auch den Unifikationsalgorithmus.
Sie haben die ZFC-Axiome (abgesehen von Ersetzung und Fundierung) insofern verstanden, als sie sie nicht nur formal angeben sondern auch inhaltlich erklären können, insbesondere die besprochenen Äquivalenzen des Auswahlaxioms, und sie können Modelle und Gegenbeispiele für kleine Fragmente von ZFC konstruieren. Weiters können Sie die Begriffe "Wohlordung", "Ordinalzahl" und "Kardinalzahl" definieren, ihre grundlegenden Eigenschaften beschreiben und beweisen, und die Zusammenhänge zwischen diesen Konzepten erläutern.
Aussagenlogik, Prädikatenlogik 1.Stufe, Vollständigkeitssatz; ZFC-Axiome; Auswahlaxiom, Kardinalität; Einführung in die computationale Logik
Die Vorlesung wird voraussichtlich in Präsenz stattfinden, und zwar voraussichtlich Di 11-13 und Do 11-12, die UE Do 10-11.
Erste VO am Di 1.10.2024 11:15 im FH HS 2. Erste UE am 17.10.2024.
Bitte tragen Sie sich in den tuwel-Kurs zur VO ein - erstens, um Nachrichten über eventuelle (Termin-)Änderungen zu bekommen, zweitens, um mir eine Idee zu geben, wie viele Studierende ich erwarten kann.