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.

2019W, SE, 2.0h, 3.0EC

Merkmale

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

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).

 

 

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
Mo.17:00 - 19:0021.10.2019Seminarraum FAV EG C (Seminarraum Gödel) Topic assignment
Fr.09:00 - 19:0017.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Presentations
Di.09:00 - 19:0021.01.2020Seminarraum FAV EG B (Seminarraum von Neumann) Presentations
Fr.14:00 - 18:0024.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Vorträge
Mo.13:00 - 18:0027.01.2020Seminarraum FAV EG C (Seminarraum Gödel) Vorträge der Studierenden

Leistungsnachweis

Die Beurteilung berücksichtigt

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

LVA-Anmeldung

Anmeldemodalitäten

Ort: TISS Gruppe und Themenausgabe

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Anmeldung02.10.2019 00:0027.10.2019 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