184.264 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

  • relevante Aspekte von Formalismen der Logik zu benennen,
  • die aktuelle Forschung zu einem gewählten Thema aus dem Bereich der Logik zu erläutern, sowie
  • relevante Literatur zu einem Thema der Logik zu finden.

Inhalt der Lehrveranstaltung

Themen in diesem Semester.

Methoden

Die Studierenden müssen

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

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Blocklehrveranstaltung. Nähere Informationen zu den aktuellen Themen und den Terminen werden in der allgemeinen Vorbesprechung der Abteilung besprochen (Termin siehe Homepage).

Die Lehrveranstaltung findet im Online-Modus statt. Für die Vorträge wird das BigBlueButton System verwendet, wofür ein aktueller Browser, eine Webcam und ein Mikrofon notwendig sind. Die Vorbesprechung findet ebenfalls mit diesem System statt.

 

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
Fr.15:00 - 16:0026.03.2021 Held with a web-based videoconferencing system (BigBlueButton; access details will be sent by email) (LIVE)Topic assignment

Leistungsnachweis

Die Beurteilung berücksichtigt

  • die Literaturrecherche,
  • den Vortragsentwurt, und
  • den Vortrag.

LVA-Anmeldung

Von Bis Abmeldung bis
04.03.2021 10:00 01.04.2021 23:59 01.04.2021 23:59

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

Diverse Artikel (werden im Seminar bekannt gegeben).

Vorkenntnisse

Elementare Logikkenntnisse.

Vorausgehende Lehrveranstaltungen

Weitere Informationen

Sprache

Englisch