AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden

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

  • Funktionen:
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:
 


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

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 | Unter den Linden 6 | D-10099 Berlin