Startseite

Im Zeitraum vom 27.04. - 04.05.2026 erfolgt eine Datenmigration der Studierendendaten und die Inbetriebnahme der STU-Funktionen von HISinOne. In diesem Zeitraum stehen HISinOne, AGNES sowie die HIS-GX-Systeme nicht zur Verfügung. Die Prüfungsbüros haben in diesem Zeitraum ebenfalls keinen Zugriff auf Studierenden- sowie Leistungsdaten und können daher keine Leistungsübersichten ausstellen bzw. nur eingeschränkt Auskünfte erteilen.
Bitte beachten Sie auch die Störungsseite des CMS.

Logik-Programmierung und Prolog für IMP-Wechselnde - Detailseite

Funktionen:
belegen/abmelden

Seiteninhalt:
Grunddaten
Termine
Zugeordnete Person
Studiengänge
Einrichtungen
Inhalt
Strukturbaum

Grunddaten
Veranstaltungsart	Übung	Veranstaltungsnummer	3313049imp
Semester	SoSe 2026	SWS	2
Rhythmus		Moodle-Link
Veranstaltungsstatus	Freigegeben für Vorlesungsverzeichnis Freigegeben	Sprache	deutsch
Belegungsfristen - Eine Belegung ist online erforderlich	Zentrale Frist 01.02.2026 - 08.04.2026
	Zentrale Nachfrist 13.04.2026 - 16.04.2026
	Zentrale Abmeldefrist 01.02.2026 - 30.09.2026 aktuell
Veranstaltungsformat	Keine Angabe

Termine

Gruppe 1
Tag	Zeit	Rhythmus	Dauer	Raum	Gebäude	Raum- plan	Lehrperson	Status	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
Do.	11:00 bis 13:00	wöch		3.213 (PC-Pool) Stockwerk: 2. OG	Johann-von-Neumann-Haus - Rudower Chaussee 25 (RUD 25)		Frochaux	findet statt			20

Gruppe 1:

auswählen

jetzt belegen / abmelden

Zugeordnete Person
Zugeordnete Person	Zuständigkeit
Frochaux, Andre , Dr.

Studiengänge
Abschluss	Studiengang	LP	Semester
Bachelor of Science	Info, Mathe und Physik Monobachelor ( Vertiefung: kein LA; POVersion: 2019 )		-
Bachelor of Science	Info, Mathe und Physik Monobachelor ( Vertiefung: kein LA; POVersion: 2025 )		-

Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik

Inhalt
Kommentar	Im IMP-Studiengang eingeschriebene Studierende, die das Modul „I/LOG Einführung in die formale Logik für IMP“ (5LP) bereits erfolgreich abgeschlossen haben und in die neue SPO wechseln wollen, können durch die erfolgreiche Teilnahme an dieser Veranstaltung die Äquivalenz zum neuen Modul „I/A3 Logik in der Informatik“ (8LP) erwerben. Unter der Voraussetzung, dass die in „Übung Logikprogrammierung und Prolog für IMP-Wechselnde“ vorgesehene Studienleistung (Übungsschein) erbracht wird, wird die im Modul „I/LOG Einführung in die formale Logik für IMP“ erzielte Note als äquivalent zum Modul „I/A3 Logik in der Informatik“ anerkannt.

Strukturbaum

Die Veranstaltung wurde 2 mal im Vorlesungsverzeichnis SoSe 2026 gefunden: