184.767 Research Seminar LogiCS
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: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

- wissenschaftliche Ergebnisse einer breiten Öffentlichkeit zugänglich zu machen
- gesellschaftliche und ethische Aspekte wissenschaftlicher Ergebnisse zu identifizieren.

Inhalt der Lehrveranstaltung

Introductory overview about research areas inside Logic in Computer Science.

Methoden

Das Seminar besteht aus wöchentlichen Präsentationen in der Klasse, die von
Studenten gehalten werden.
- Die Seminarpräsentationen basieren auf einer kritischen Überprüfung verwandter
Arbeiten und neuester wissenschaftlicher Ansätze im Bereich der für die
Präsentation ausgewählten Arbeit.
- Die Präsentation des Seminars umfasst Fragen beantwortende Sitzungen
zwischen dem Sprecher und dem Publikum.
- Sofern zutreffend, werden der Präsentation Tool-Demos und / oder Fallstudien
aus der Praxis beigefügt.

Prüfungsmodus

Schriftlich

Weitere Informationen

3 ECTS (75 h):
14 Einheiten pro Semester*1h=14h
14h * 6 Semester = 84 h
Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien
zum Umgang mit Plagiaten: Leitfaden zum Umgang mit Plagiaten (PDF)

 

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.16:00 - 17:0004.10.2022 - 13.12.2022Seminarraum FAV EG C (Seminarraum Gödel) 184.767 Research Seminar LogiCS
Di.16:00 - 17:0020.12.2022 - 17.01.2023Seminarraum FAV EG B (Seminarraum von Neumann) 184.767: Research Seminar LogiCS
Di.16:00 - 17:0027.12.2022 - 28.02.2023Seminarraum FAV EG C (Seminarraum Gödel) 184.767: Research Seminar LogiCS
Research Seminar LogiCS - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.04.10.202216:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767 Research Seminar LogiCS
Di.11.10.202216:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767 Research Seminar LogiCS
Di.18.10.202216:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767 Research Seminar LogiCS
Di.25.10.202216:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767 Research Seminar LogiCS
Di.08.11.202216:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767 Research Seminar LogiCS
Di.22.11.202216:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767 Research Seminar LogiCS
Di.29.11.202216:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767 Research Seminar LogiCS
Di.06.12.202216:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767 Research Seminar LogiCS
Di.13.12.202216:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767 Research Seminar LogiCS
Di.20.12.202216:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) 184.767: Research Seminar LogiCS
Di.27.12.202216:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767: Research Seminar LogiCS
Di.03.01.202316:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767: Research Seminar LogiCS
Di.10.01.202316:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) 184.767: Research Seminar LogiCS
Di.17.01.202316:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) 184.767: Research Seminar LogiCS
Di.31.01.202316:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767: Research Seminar LogiCS
Di.07.02.202316:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767: Research Seminar LogiCS
Di.14.02.202316:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767: Research Seminar LogiCS
Di.21.02.202316:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767: Research Seminar LogiCS
Di.28.02.202316:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) 184.767: Research Seminar LogiCS

Leistungsnachweis

oral examination

LVA-Anmeldung

Von Bis Abmeldung bis
06.10.2022 01:00 03.11.2022 20:00 04.11.2022 15:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Master Diplom in Mathematik, Informatik oder Philosophie mit der verstärkten Kenntnissen der Logik und Formaler Methoden

Sprache

Englisch