184.766 Introduction to Logical Methods in Computer Science
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2019S, VO, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture

Aim of course

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.

Subject of course

Introductory overview about research areas inside Logic in Computer Science.

Lecturers

Institute

Examination modalities

written examination

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Language

English