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.

2022W, SE, 2.0h, 3.0EC

Merkmale

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

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 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:0020.10.2022 Held with a web-based videoconferencing system (BigBlueButton; access details will be sent by email) (LIVE)Topic presentation

Leistungsnachweis

Die Beurteilung berücksichtigt

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

LVA-Anmeldung

Von Bis Abmeldung bis
10.09.2022 01:00 14.11.2022 23:59 14.11.2022 23:59

Anmeldemodalitäten

Ort: TISS Gruppe und Themenausgabe

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Gruppe Egly10.09.2022 01:0014.11.2022 23:59
Gruppe Eiter10.09.2022 01:0014.11.2022 23:59
Gruppe Tompits10.09.2022 01:0014.11.2022 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