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.

2017S, VO, 2.0h, 3.0EC

Merkmale

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

Ziele der Lehrveranstaltung

In this one-semester course, each faculty member presents an introductory overview of their individual area of expertise. The main goal of this course is to inspire interdisciplinary research and inform the students about the research areas pursued inside LogiCS.

Inhalt der Lehrveranstaltung

Introductory overview about research areas inside Logic in Computer Science.

Vortragende Personen

Institut

Leistungsnachweis

written examination

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch