Formale Grundlagen der Informatik - Einzelansicht

Funktionen:

Veranstaltungsart	Vorlesung/Übung	Veranstaltungsnummer
SWS		Semester	WiSe 2025/26
Einrichtung	Institut für Informatik und Computational Science	Sprache	deutsch
Belegungsfrist	01.10.2025 - 10.11.2025 aktuell

Gruppe 1:

Vormerken: jetzt belegen / abmelden

	Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine
Vorlesung	Mo	10:00 bis 12:00	wöchentlich	13.10.2025 bis 02.02.2026	2.25.F0.01	PD Dr. Bordihn	22.12.2025: Akademische Weihnachtsferien 29.12.2025: Akademische Weihnachtsferien
Tutorium	Di	14:00 bis 16:00	wöchentlich	14.10.2025 bis 03.02.2026	2.70.0.11	Dr. rer. nat. Böhne	23.12.2025: Akademische Weihnachtsferien 30.12.2025: Akademische Weihnachtsferien
Übung	Fr	08:00 bis 10:00	wöchentlich	17.10.2025 bis 06.02.2026	2.70.0.09	N.N.	26.12.2025: 2. Weihnachtstag 02.01.2026: Akademische Weihnachtsferien

Gruppe 2:

Vormerken: jetzt belegen / abmelden

	Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine
Vorlesung	Mo	10:00 bis 12:00	wöchentlich	13.10.2025 bis 02.02.2026	2.25.F0.01	PD Dr. Bordihn	22.12.2025: Akademische Weihnachtsferien 29.12.2025: Akademische Weihnachtsferien
Tutorium	Di	14:00 bis 16:00	wöchentlich	14.10.2025 bis 03.02.2026	2.70.0.11	Dr. rer. nat. Böhne	23.12.2025: Akademische Weihnachtsferien 30.12.2025: Akademische Weihnachtsferien
Übung	Mi	12:00 bis 14:00	wöchentlich	15.10.2025 bis 04.02.2026	2.70.0.08	N.N.	24.12.2025: Akademische Weihnachtsferien 31.12.2025: Akademische Weihnachtsferien

Gruppe 3:

Vormerken: jetzt belegen / abmelden

	Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine
Vorlesung	Mo	10:00 bis 12:00	wöchentlich	13.10.2025 bis 02.02.2026	2.25.F0.01	PD Dr. Bordihn	22.12.2025: Akademische Weihnachtsferien 29.12.2025: Akademische Weihnachtsferien
Tutorium	Di	14:00 bis 16:00	wöchentlich	14.10.2025 bis 03.02.2026	2.70.0.11	Dr. rer. nat. Böhne	23.12.2025: Akademische Weihnachtsferien 30.12.2025: Akademische Weihnachtsferien
Übung	Do	14:00 bis 16:00	wöchentlich	16.10.2025 bis 05.02.2026	2.70.0.11	N.N.	25.12.2025: 1. Weihnachtstag 01.01.2026: Neujahr

Gruppe 4:

Vormerken: jetzt belegen / abmelden

	Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine
Vorlesung	Mo	10:00 bis 12:00	wöchentlich	13.10.2025 bis 02.02.2026	2.25.F0.01	PD Dr. Bordihn	22.12.2025: Akademische Weihnachtsferien 29.12.2025: Akademische Weihnachtsferien
Tutorium	Di	14:00 bis 16:00	wöchentlich	14.10.2025 bis 03.02.2026	2.70.0.11	Dr. rer. nat. Böhne	23.12.2025: Akademische Weihnachtsferien 30.12.2025: Akademische Weihnachtsferien
Übung	Di	16:00 bis 18:00	wöchentlich	14.10.2025 bis 03.02.2026	2.70.0.10	N.N.	23.12.2025: Akademische Weihnachtsferien 30.12.2025: Akademische Weihnachtsferien

Gruppe 5:

Vormerken: jetzt belegen / abmelden

	Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine
Vorlesung	Mo	10:00 bis 12:00	wöchentlich	13.10.2025 bis 02.02.2026	2.25.F0.01	PD Dr. Bordihn	22.12.2025: Akademische Weihnachtsferien 29.12.2025: Akademische Weihnachtsferien
Tutorium	Di	14:00 bis 16:00	wöchentlich	14.10.2025 bis 03.02.2026	2.70.0.11	Dr. rer. nat. Böhne	23.12.2025: Akademische Weihnachtsferien 30.12.2025: Akademische Weihnachtsferien
Übung	Fr	08:00 bis 10:00	wöchentlich	17.10.2025 bis 06.02.2026	2.70.0.11	Dr. rer. nat. Böhne	26.12.2025: 2. Weihnachtstag 02.01.2026: Akademische Weihnachtsferien
Bemerkung:	Für Lehramtsstudierende.

Gruppe 6:

Vormerken: jetzt belegen / abmelden

	Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine
Vorlesung	Mo	10:00 bis 12:00	wöchentlich	13.10.2025 bis 02.02.2026	2.25.F0.01	PD Dr. Bordihn	22.12.2025: Akademische Weihnachtsferien 29.12.2025: Akademische Weihnachtsferien
Tutorium	Di	14:00 bis 16:00	wöchentlich	14.10.2025 bis 03.02.2026	2.70.0.11	Dr. rer. nat. Böhne	23.12.2025: Akademische Weihnachtsferien 30.12.2025: Akademische Weihnachtsferien
Übung	Fr	12:00 bis 14:00	wöchentlich	17.10.2025 bis 06.02.2026	2.70.0.08	Dr. rer. nat. Böhne	26.12.2025: 2. Weihnachtstag 02.01.2026: Akademische Weihnachtsferien
Bemerkung:	Für Lehramtsstudierende.

Kommentar	Schreiben Sie sich zum Kurs sowohl über PULS als auch über Moodle ein, um Zugriff zu den Lehrmaterialien zu erhalten und wichtige Ankündigungen nicht zu verpassen: Moodlekurs Bitte beachten Sie, dass die Zuordnung zu den Übungsgruppen ausschließlich über eine Registrierung in Moodle erfolgt. PULS ist hier nicht maßgeblich. Dennoch ist die Einschreibung über PULS erforderlich, da sonst keine Leistungsverbuchung erfolgen kann.
Bemerkung	Die Übungsgruppen 5 und 6 sind für alle reserviert, die sich im Lehramtsstudium befinden. Alle anderen wählen bitte die Gruppen 1 bis 4.
Zielgruppe	Formale Grundlagen der Informatik (INF-1020) und Maschinenmodelle (INF-1030) tauschen ab dem WS 2021/2022 die Plätze in den empfohlenen Studienverlaufsplänen. INF-1020 ist also bspw. im Bachelor ICS erst für das dritte Fachsemester vorgesehen, während Studierende des ersten Semesters INF-1030 belegen sollten. Analoges gilt für andere Studiengänge, in denen sowohl INF-1020 als auch INF-1030 zu belegen sind.

Kommentar

Schreiben Sie sich zum Kurs sowohl über PULS als auch über Moodle ein, um Zugriff zu den Lehrmaterialien zu erhalten und wichtige Ankündigungen nicht zu verpassen: Moodlekurs

Bitte beachten Sie, dass die Zuordnung zu den Übungsgruppen ausschließlich über eine Registrierung in Moodle erfolgt. PULS ist hier nicht maßgeblich. Dennoch ist die Einschreibung über PULS erforderlich, da sonst keine Leistungsverbuchung erfolgen kann.

Bemerkung

Die Übungsgruppen 5 und 6 sind für alle reserviert, die sich im Lehramtsstudium befinden. Alle anderen wählen bitte die Gruppen 1 bis 4.

Zielgruppe

Formale Grundlagen der Informatik (INF-1020) und Maschinenmodelle (INF-1030) tauschen ab dem WS 2021/2022 die Plätze in den empfohlenen Studienverlaufsplänen. INF-1020 ist also bspw. im Bachelor ICS erst für das dritte Fachsemester vorgesehen, während Studierende des ersten Semesters INF-1030 belegen sollten. Analoges gilt für andere Studiengänge, in denen sowohl INF-1020 als auch INF-1030 zu belegen sind.

Strukturbaum

Die Veranstaltung wurde 7 mal im Vorlesungsverzeichnis WiSe 2025/26 gefunden:

Vorlesungsverzeichnis

Mathematisch-Naturwissenschaftliche Fakultät

Institut für Informatik und Computational Science

Bachelor of Education

Informatik (Prüfungsversion ab WiSe 2020/21)

Pflichtmodule

INF-1020 - Formale Grundlagen der Informatik - - - 1

Informatik (Prüfungsversion ab WiSe 2013/14)

Pflichtmodule

Theoretische Grundlagen: Modellierungskonzepte der Informatik - - - 2

Bachelor of Science

Computational Science (Prüfungsversion ab WiSe 2019/20)

I. Grundlagenmodule Informatik/Computational Science

INF-1020 - Formale Grundlagen der Informatik - - - 3

Institut für Mathematik

Bachelor of Science

Mathematik (Prüfungsversion ab WiSe 2015/2016)

Berufsfeldspezifische Kompetenzen

Informatik

INF-1020 - Formale Grundlagen der Informatik - - - 4

Humanwissenschaftliche Fakultät

Department Linguistik

Bachelor of Science

Computerlinguistik (Prüfungsversion ab WiSe 2017/18)

Wahlpflichtmodule Informatik

INF 1020 - Theoretische Grundlagen: Modellierungskonzepte der Informatik - - - 5

INF 1020 - Formale Grundlagen der Informatik - - - 6

Wirtschafts- und Sozialwissenschaftliche Fakultät

Wirtschaftswissenschaften

Bachelor of Science

Wirtschaftsinformatik (Prüfungsversion ab WiSe 2015/16)

Informatik

INF 1020 - Formale Grundlagen der Informatik - - - 7