The dates and events shown here are dynamically displayed from Stud.IP.

Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturersdirectly.

Event

Semester: Summer term 2017

2.01.400 Theoretische Informatik I -  


Event date(s) | room

Lecturers

Tutors

Modules

  • inf400 Theoretische Informatik I

Study fields

  • Studium generale / Gasthörstudium

Lehrsprache
deutsch

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

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

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.

(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page