192.132 Seminar in Logic
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022W, SE, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage neue Methoden der Automatischen Deduktion und der Beweistheorie zu erlernen und zu gebrauchen. Insbesondere werden die Studierenden neue Kenntnisse in der induktiven Inferenz erwerben.

Inhalt der Lehrveranstaltung

Induktive Strukturen und Schemata. Automatische Analyse induktiver Beweise, schematische Schnittelimination, Widerlegung von Formelschemata. Schematische CERES-Methode, Herbrand Systeme, schematische Unifikation.

Methoden

Die in diser Lehrveranstaltung verwendeten Methoden sind deduktiver Natur. Insbesondere handelt es sich um die Anwendung von Methoden aus der Mathematischen Logik auf die Automatische Deduktion.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien zum Umgang mit Plagiaten: Leitfaden zum Umgang mit Plagiaten (PDF)

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.18:00 - 20:0003.10.2022 - 27.02.2023Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Seminar in Logic - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.03.10.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.10.10.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.17.10.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.24.10.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.31.10.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.07.11.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.14.11.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.21.11.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.28.11.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.05.12.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.12.12.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.19.12.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.26.12.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.02.01.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.09.01.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.16.01.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.23.01.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.30.01.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.06.02.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik
Mo.13.02.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logik

Leistungsnachweis

Der Leistungsnachweis erfolgt durch die Abhaltung zweier Vorträge im Seminar und durch die Mitarbeit.

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Gute Kenntnisse in Mathematischer Logik, Basiskenntnisse in der Automatischen Deduktion

Sprache

Englisch