Semester:

2.01.400 Theoretische Informatik I


Veranstaltungstermine

  • Freitag: 10:00 - 12:00, wöchentlich
  • Mi , 04.10.2017 13:00 - 16:00
  • Mi , 19.07.2017 11:00 - 14:00

Lehrende

TutorInnen

Studienmodule

  • inf400 Theoretische Informatik I

Studienbereiche

  • Studium generale / Gasthörstudium

Für Gasthörende / Studium generale geöffnet:
Ja

Anzahl der freigegebenen Plätze für Gasthörende
5

Hinweise zum Inhalt der Veranstaltung für Gasthörende
In der "Theoretischen Informatik I" geht es um Logik in den Formen Aussagenlogik, Prädikatenlogik, Logik-Programmierung und Temporale Logik.

Hinweise zur Teilnahme für Gasthörende
Ein Verständnis mathematischer Notationen ist notwendig für das Verständnis dieser Lehrveranstaltung.

Lehrsprache
deutsch

empfohlenes Fachsemester
2