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.

Aktuelle Themen in Logik und Komplexität - Detailseite

Funktionen:
belegen/abmelden

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

Grunddaten
Veranstaltungsart	Seminar	Veranstaltungsnummer	3313073
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
Mi.	13:00 bis 15:00	wöch		3.408 (Besprechungsraum) Stockwerk: 4. OG	Johann-von-Neumann-Haus - Rudower Chaussee 25 (RUD 25)			findet statt			16

Gruppe 1:

auswählen

jetzt belegen / abmelden

Zugeordnete Person
Zugeordnete Person	Zuständigkeit
Lenz, Charlotte Irmgard

Studiengänge
Abschluss	Studiengang	LP	Semester
Master of Education (BS)	Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )	5	-
Master of Education (ISG)	Informatik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )	5	-
Master of Education (ISG)	Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )	5	-
Master of Science	Informatik Hauptfach ( Vertiefung: kein LA; POVersion: 2015 )	5	-

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

Inhalt
Kommentar	Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen im Bereich Logik und Komplexität erarbeitet. Ziele sind das Kennenlernen neuer Forschungsergebnisse, das Verstehen wissenschaftlicher Originaltexte, die Fähigkeit zur Einordnung der Inhalte und Beweistechniken, sowie deren Wiedergabe in eigener Darstellung in einem begrenzten Zeitrahmen. Das Seminar richtet sich an fortgeschrittene Studierende im Masterstudiengang, die sich im Bereich Logik und Komplexität spezialisieren wollen. Die Teilnahme am Seminar setzt Kenntnisse, die in den Vorlesungen "Logik in der Informatik", "Logik und Komplexität", "Einführung in die Komplexitätstheorie" oder "Einführung in die Datenbanktheorie" vermittelt werden, voraus.
Bemerkung	Vertiefungsschwerpunkt: Algorithmen und Modelle

Strukturbaum

Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis SoSe 2026 gefunden: