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

2019S, SE, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar

Ziele der Lehrveranstaltung

Verarbeitung, Präsentation und Diskussion von Themen der formalen Logik, die für aktuelle Forschung in der Informatik relevant sind. Dabei soll auch die eigenständige Erarbeitung und Präsentation formalwissenschaftlicher Resultate geübt werden.

Inhalt der Lehrveranstaltung

Die Seminar-Themen werden in Verbindung zu aktueller Forschung der beiden Lehrveranstaltungsleiter stehen. Konkret werden die Teilnehmer die Wahl zwischen zwei Themenbereichen haben: Beweistheorie und logische Dynamik von Agenten.

 

Weitere Informationen

Organisational Meeting: March 19, 10am (sharp) Gödel room

ETCS Breakdown:3 ETCS = 75 Stunden

  • 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
Di.10:00 - 12:0025.06.2019Seminarraum FAV EG B (Seminarraum von Neumann) Seminar presentations
Mi.10:00 - 12:0026.06.2019Seminarraum FAV EG B (Seminarraum von Neumann) Seminar presentations
LVA wird geblockt abgehalten

Leistungsnachweis

Vortrag, Handout, Diskussionsbeiträge

LVA-Anmeldung

Von Bis Abmeldung bis
20.02.2019 09:00 31.05.2019 18:00

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

Vorkenntnisse aus mathematischer Logik werden erwartet.

Weitere Informationen

Sprache

Englisch