184.766 Introduction to Logical Methods in Computer Science
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019W, VO, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

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

Mündlich

Weitere Informationen

3 ECTS (75 h):

 

14 Einheiten pro Semester*1h=14h

14h * 6 Semester = 84 h

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.10:00 - 12:0011.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Database Theory - Reinhard Pichler
Di.14:00 - 16:0011.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Introduction to Isabell - Peter Lammich
Mi.10:00 - 12:0012.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Description Logics - Magdalena Ortiz
Do.10:00 - 12:0013.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Computational Argumentation - Stefan Woltran
Mo.14:00 - 16:0017.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Reasoning on QBF - Martina Seidl
Di.10:00 - 12:0018.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Hybrid Automata - Radu Grosu
Di.14:00 - 16:0018.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Complexity Theory - Thomas Eiter
Mi.10:00 - 12:0019.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Modal Logic - Christian Fermüller
Mi.14:00 - 16:0019.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Proof Theory - Agata Ciabattoni
Do.14:00 - 16:0020.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Model Checking - Josef Widder
Di.10:00 - 12:0025.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) SAT Solving - Armin Biere
Di.14:00 - 16:0025.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) Reactive Synthesis - Roderick Bloem
Mi.10:00 - 12:0026.02.2020Seminarraum FAV 01 A (Seminarraum 183/2) First Order Theorem Proving - Laura Kovacs
Mo.10:00 - 12:0002.03.2020Seminarraum FAV 01 A (Seminarraum 183/2) Software verification - Georg Weissenbacher
LVA wird geblockt abgehalten

Leistungsnachweis

oral examination

LVA-Anmeldung

Von Bis Abmeldung bis
11.12.2019 12:00 28.01.2020 12:00 31.01.2020 12:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

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

Sprache

Englisch