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.

2020W, SE, 2.0h, 3.0EC
TUWEL

Merkmale

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

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

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.16:00 - 18:0006.10.2020Seminarraum FAV 01 A (Seminarraum 183/2) LogiCS Seminar
Di.15:00 - 17:0013.10.2020 - 26.01.2021Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.15:00 - 17:0026.01.2021Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Research Seminar LogiCS - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.13.10.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.20.10.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.27.10.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.03.11.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.10.11.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.17.11.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.24.11.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.01.12.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.15.12.202015:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.12.01.202115:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.19.01.202115:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar
Di.26.01.202115:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) LogiCS Seminar

Leistungsnachweis

oral examination

LVA-Anmeldung

Von Bis Abmeldung bis
01.10.2020 01:00 29.10.2020 20:00 30.10.2020 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