Am 30. Juli 2024 wird es aufgrund einer wichtigen Datenbankaktualisierung zwischen 8 und 11 Uhr zu Serviceunterbrechungen in den Bereichen Student-Self-Service und Personalbedarf kommen. Vielen Dank für Ihr Verständnis.

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