AGNES -
Lehre und Prüfung online

Semester: SoSe 2026

Studierende in Vorlesung

Humboldt-Universität zu Berlin

Startseite

Einführung in die formale Logik für IMP - findet nicht statt - Detailseite

Funktionen:

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

Grunddaten
Veranstaltungsart	Vorlesung	Veranstaltungsnummer	3313087
Semester	SoSe 2026	SWS	2
Rhythmus		Moodle-Link
Veranstaltungsstatus	Freigegeben für Vorlesungsverzeichnis Freigegeben	Sprache	deutsch
Belegungsfrist	Es findet keine Online-Belegung über AGNES statt!
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
-.	bis	wöch					Frochaux	fällt aus			1000

Gruppe 1:

auswählen

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 )	5	-
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	Diese Lehrveranstaltung findet nicht statt. Stattdessen wird die Lehrveranstaltung I/A3 Logik in der Informatik (8 LP) als Wahlpflicht-Modul im Wintersemester gehalten (s. 3. Änderung der IMP-SPO von 2025).

Strukturbaum

Die Veranstaltung wurde 2 mal im Vorlesungsverzeichnis SoSe 2026 gefunden:

Humboldt-Universität zu Berlin
- Mathematisch-Naturwissenschaftliche Fakultät
- - Bachelorstudium INFORMATIK, MATHEMATIK und PHYSIK
  - - IMP P - Pflichtbereich - - - 1
    - - Institut für Informatik
      - Bachelor IMP (Informatik, Mathematik, Physik) - Monobachelor
        
        Pflichtbereich - - - 2

Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung

Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin