181.206 Seminar aus Logik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2021S, SE, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar
  • Format der Abhaltung: Online

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

  • eine Literaturrecherche zu einem Thema oder einem Ergebnis im Schnittfeld von Logik und Informatik durchzuführen,
  • das Thema oder Ergebnis zu studieren, zu verstehen und zu erklären,
  • und duch Folien oder Handouts (via Zoom) zu präsentieren.

Inhalt der Lehrveranstaltung

Die Seminar-Themen werden in Verbindung zu aktueller Forschung des Lehrveranstaltungsleiters stehen. Konkret werden die Teilnehmer die Wahl aus verschiedenen Themen der Beweistheorie- und Analyse haben, darunter, aber nicht beschränkt auf, Themen wie Schnittelimination, Beweisformalisierungen, Nicht-Standard Formalisierungen bezogen auf Linguistik und Künstliche Intelligenz.

Methoden

Die Studierenden müssen

  • eine Literaturrecherche zu einem gewählten Thema durchführen,
  • ein Vortragskonzept zum gewählten Thema erstellen, und
  • einen 30-45minütigen Vortrag halten.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

ECTS Breakdown:

  • 12 Stunden: Seminartreffen (Vorträge und Diskussionen)
  • 30 Stunden: Presentation (samt Vorbereitung, Handout etc.)
  • 33 Stunden: Studium relevanter wissenschaftlicher Arbeiten
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
Mi.16:00 - 17:0010.03.2021 Zoom: https://tuwien.zoom.us/j/92646104864?pwd=Y1hQaklWQ2NiTkY4VC84aGxxcVdpdz09Vorbesprechung (via Zoom)

Leistungsnachweis

Die Beurteilung basiert auf den Ausarbeitungen und mündlichen Präsentationen

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 931 Logic and Computation Gebundenes Wahlfach
066 933 Information & Knowledge Management Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

(Einfache) Vorkenntnisse aus mathematischer Logik werden erwartet.

Sprache

bei Bedarf in Englisch