General information

Course name	Lecture: Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme
Course number	INF-0155/-0355/-0190/-0262
Semester	WS 2024/25
Current number of participants	66
Home institute	Lehrprofessur für Informatik
Courses type	Lecture in category Teaching
Next date	Wednesday, 18.12.2024 10:00 - 11:30
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Yes
Veranstaltung findet online statt / hat Remote-Bestandteile	Yes
Hauptunterrichtssprache	deutsch
Literaturhinweise	U. Schöning: Theoretische Informatik- kurz gefasst, Spektrum 2008 J. Hopcroft, R. Motwani, J. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Pearson 2011 Thomas: Automata on Infinite Objects. Chapter 4 in Handbook of Theoretical Computer Science, Hrsg. van Leeuwen
ECTS points	6

Lecturers

Tutor

Lukas Asam

Rooms and times

No room preference: Wednesday: 10:00 - 11:30, weekly; Wednesday: 12:15 - 13:45, weekly; Wednesday: 15:45 - 17:15, weekly

Fields of study

Module assignments

Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2013), 17. Version valid from WS 2024/25 > Modulgruppe G: Wahlpflichtbereich [BacWiMa PO 2013] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Informatik B.Sc. Informatik, PO 2013, 21. Version valid from WS 2024/25 > B.Sc. Informatik (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2013, 21. Version valid from WS 2024/25 > B.Sc. Informatik und Multimedia (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsinformatik Bachelorstudiengang Wirtschaftsinformatik (PO 2008), 29. Version valid from WS 2023/24 > Vertiefungsrichtung Informatik (PO 2008) - INF-2: Mathematische Methoden > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Mathematik Bachelorstudiengang Mathematik, 19. Version valid from WS 2024/25 > Bachelor Mathematik N-Info: Nebenfach Informatik > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 17. Version valid from WS 2024/25 > Modulgruppe G: Wahlbereich [BacWiMa PO 2015] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 17. Version valid from WS 2024/25 > Modulgruppe F: Informatik Grundlagen [BacWiMa] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2016, 18. Version valid from WS 2024/25 > B.Sc. Informatik und Multimedia (PO '15) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Informatik B.Sc. Informatik, PO 2018, 13. Version valid from WS 2024/25 > Informatik-Vertiefung A > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsinformatik Bachelorstudiengang Wirtschaftsinformatik (PO 2008), 29. Version valid from WS 2023/24 > Vertiefungsrichtung Wirtschaft (PO 2008) - DWI-1: Allgemeine Wirtschaftsinformatik > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Geoinformatik B.Sc. Geoinformatik, PO 2018, 14. Version valid from WS 2024/25 > B.Sc. Geoinformatik (PO '18) - E. Wahlpflichtbereich > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2013), 17. Version valid from WS 2024/25 > Modulgruppe F: Informatik Grundlagen [BacWiMa] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Übung)
Geoinformatik B.Sc. Geoinformatik, PO 2011, 17. Version valid from SS 2023 > B.Sc. Geoinformatik (PO '11) - E: Wahlbereich > INF-0155 (=BScGI_Linf) - Logik für Informatiker > Logik für Informatiker (Übung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2013), 17. Version valid from WS 2024/25 > Modulgruppe G: Wahlpflichtbereich [BacWiMa PO 2013] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Informatik B.Sc. Informatik, PO 2013, 21. Version valid from WS 2024/25 > B.Sc. Informatik (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2013, 21. Version valid from WS 2024/25 > B.Sc. Informatik und Multimedia (PO '13) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Wirtschaftsinformatik Bachelorstudiengang Wirtschaftsinformatik (PO 2008), 29. Version valid from WS 2023/24 > Vertiefungsrichtung Informatik (PO 2008) - INF-2: Mathematische Methoden > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Mathematik Bachelorstudiengang Mathematik, 19. Version valid from WS 2024/25 > Bachelor Mathematik N-Info: Nebenfach Informatik > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 17. Version valid from WS 2024/25 > Modulgruppe G: Wahlbereich [BacWiMa PO 2015] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2015), 17. Version valid from WS 2024/25 > Modulgruppe F: Informatik Grundlagen [BacWiMa] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2016, 18. Version valid from WS 2024/25 > B.Sc. Informatik und Multimedia (PO '15) - Mathematische Grundlagen > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Informatik B.Sc. Informatik, PO 2018, 13. Version valid from WS 2024/25 > Informatik-Vertiefung A > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Wirtschaftsinformatik Bachelorstudiengang Wirtschaftsinformatik (PO 2008), 29. Version valid from WS 2023/24 > Vertiefungsrichtung Wirtschaft (PO 2008) - DWI-1: Allgemeine Wirtschaftsinformatik > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Geoinformatik B.Sc. Geoinformatik, PO 2018, 14. Version valid from WS 2024/25 > B.Sc. Geoinformatik (PO '18) - E. Wahlpflichtbereich > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Wirtschaftsmathematik Bachelorstudiengang Wirtschaftsmathematik (PO 2013), 17. Version valid from WS 2024/25 > Modulgruppe F: Informatik Grundlagen [BacWiMa] > INF-0155 - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Geoinformatik B.Sc. Geoinformatik, PO 2011, 17. Version valid from SS 2023 > B.Sc. Geoinformatik (PO '11) - E: Wahlbereich > INF-0155 (=BScGI_Linf) - Logik für Informatiker > Logik für Informatiker (Vorlesung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2021, 8. Version valid from WS 2024/25 > Grundlagen der Informatik > INF-0355 - Modellierung diskreter Systeme > Modellierung diskreter Systeme (Übung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2021, 8. Version valid from WS 2024/25 > Grundlagen der Informatik > INF-0355 - Modellierung diskreter Systeme > Modellierung diskreter Systeme (Vorlesung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2017, 15. Version valid from WS 2024/25 > B.Sc. Ingenieurinformatik (PO '17) - Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Übung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2018, 13. Version valid from WS 2024/25 > Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Übung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2017, 15. Version valid from WS 2024/25 > B.Sc. Ingenieurinformatik (PO '17) - Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Vorlesung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2018, 13. Version valid from WS 2024/25 > Informatik-Grundlagen > INF-0262 - Modellierung informationstechnischer Systeme > Modellierung informationstechnischer Systeme (Vorlesung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2013, 20. Version valid from WS 2024/25 > B.Sc. Ingenieurinformatik (PO '13) - Informatik-Grundlagen > INF-0190 - Modellierung und Analyse technischer Systeme > Modellierung und Analyse technischer Systeme (Übung)
Ingenieurinformatik B.Sc. Ingenieurinformatik, PO 2013, 20. Version valid from WS 2024/25 > B.Sc. Ingenieurinformatik (PO '13) - Informatik-Grundlagen > INF-0190 - Modellierung und Analyse technischer Systeme > Modellierung und Analyse technischer Systeme (Vorlesung)

Comment/Description

Diese Vorlesung behandelt die Modellierung mit Automaten, Spezifikation mit Logik und diskutiert Verifikation.

Admission settings

The course is part of admission "Zeitgesteuerte Anmeldung: Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme".

The following rules apply for the admission:

The enrolment is possible from 01.08.2024, 00:00 to 31.10.2024, 23:59.

Lecture: Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme - Details