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

Logik in der Informatik - Detailseite

Grunddaten
Veranstaltungsart Übung Veranstaltungsnummer 3313011
Semester WiSe 2025/26 SWS 2
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfristen - Eine Belegung ist online erforderlich Zentrale Abmeldefrist    01.07.2025 - 31.03.2026    aktuell
Zentrale Nachfrist    13.10.2025 - 16.10.2025   
Zentrale Frist    01.07.2025 - 08.10.2025   
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
Mo. 15:00 bis 17:00 wöch 1305 (Seminarraum)
Stockwerk: 1. OG

alttext alttext 		Erwin-Schrödinger-Zentrum / Modul 1 - Rudower Chaussee 26 (RUD 26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Frochaux findet statt     30
Gruppe 1:
Wechseln zu: jetzt belegen / abmelden
Gruppe 2
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Di. 11:00 bis 13:00 wöch 1305 (Seminarraum)
Stockwerk: 1. OG

alttext alttext 		Erwin-Schrödinger-Zentrum / Modul 1 - Rudower Chaussee 26 (RUD 26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Frochaux findet statt     42
Gruppe 2:
Wechseln zu: jetzt belegen / abmelden
Gruppe 3
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Fr. 09:00 bis 11:00 wöch 1305 (Seminarraum)
Stockwerk: 1. OG

alttext alttext 		Erwin-Schrödinger-Zentrum / Modul 1 - Rudower Chaussee 26 (RUD 26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Scheidt findet statt     42
Gruppe 3:
Wechseln zu: jetzt belegen / abmelden
Gruppe 4
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Mo. 15:00 bis 17:00 wöch 1306 (Seminarraum)
Stockwerk: 1. OG

alttext alttext 		Erwin-Schrödinger-Zentrum / Modul 1 - Rudower Chaussee 26 (RUD 26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Lange findet statt     42
Gruppe 4:
Wechseln zu: jetzt belegen / abmelden
Gruppe 5
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Di. 11:00 bis 13:00 wöch 1306 (Seminarraum)
Stockwerk: 1. OG

alttext alttext 		Erwin-Schrödinger-Zentrum / Modul 1 - Rudower Chaussee 26 (RUD 26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Scheidt findet statt     42
Gruppe 5:
Wechseln zu: jetzt belegen / abmelden
Gruppe 6
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan		 Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Fr. 09:00 bis 11:00 wöch 1306 (Seminarraum)
Stockwerk: 1. OG

alttext alttext 		Erwin-Schrödinger-Zentrum / Modul 1 - Rudower Chaussee 26 (RUD 26)

Außenbereich nutzbar Innenbereich nutzbar Parkplatz vorhanden Leitsystem im Außenbereich Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich 		Lange findet statt     30
Gruppe 6:
Wechseln zu: jetzt belegen / abmelden


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Scheidt, Benjamin
Frochaux, Andre , Dr.
Lange, Johannes F.
Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )     -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2022 )     -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2024 )     -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( Vertiefung: kein LA; POVersion: 2017 )     -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: kein LA; POVersion: 2015 )     -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2015 )     -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )     -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2022 )     -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2022 )     -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2022 )     -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2024 )     -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2024 )     -  
Programmstud.-o.Abl.  Chemie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Geographie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Mathematik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Chemie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Geographie Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Global Change Geography Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Informatik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Mathematik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Optical Sciences Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Physik Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Polymer Science Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.MA  Urbane Geographien Programm ( POVersion: 1999 )     -  
Programmstud.-o.Abl.Prom.  Informatik Programm ( POVersion: 1999 )     -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

Übung zur gleichnamigen Vorlesung

Strukturbaum

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

Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin