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.

2024S, 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

Topics in this semester:

  • See the slides in "Kommunikation"/"Communication".
  • Alternatively:here.

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 aThemenausgabe besprochen (Termin siehe unten).

Die Lehrveranstaltung ist als Präsenzlehrveranstaltung geplant kann aber gegebenfalls in einen Onlinemodus wechseln falls es die COVID Situation erfordert.

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
Do.17:00 - 18:0021.03.2024Theresianumgasse HS 1 - MWB Topic presentation

Leistungsnachweis

Die Beurteilung berücksichtigt

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

LVA-Anmeldung

Von Bis Abmeldung bis
06.03.2024 10:00 14.04.2024 23:59 14.04.2024 23:59

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Gruppe Egly06.03.2024 10:0014.04.2024 23:59
Gruppe Eiter06.03.2024 10:0014.04.2024 23:59
Gruppe Ortiz06.03.2024 10:0014.04.2024 23:59
Gruppe Tompits06.03.2024 10:0014.04.2024 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