Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Foto: Matthias Friel

Formale Grundlagen der Informatik - Einzelansicht

Veranstaltungsart Vorlesung/Übung Veranstaltungsnummer
SWS Semester WiSe 2023/24
Einrichtung Institut für Informatik und Computational Science   Sprache deutsch
Belegungsfristen 02.10.2023 - 10.11.2023

Belegung über PULS
02.10.2023 - 10.11.2023

Belegung über PULS
Gruppe 1:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 16.10.2023 bis 05.02.2024  2.27.0.01 Prof. Dr. Kreitz 04.12.2023: 
25.12.2023: 1. Weihnachtstag
01.01.2024: Neujahr
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 17.10.2023 bis 06.02.2024  2.27.1.01 Prof. Dr. Kreitz 26.12.2023: 2. Weihnachtstag
02.01.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Mi 08:00 bis 10:00 wöchentlich 18.10.2023 bis 07.02.2024  2.70.0.09 Kranz 27.12.2023: Akademische Weihnachtsferien
03.01.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 04.12.2023 2.70.0.01 Prof. Dr. Kreitz  
Gruppe 2:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 16.10.2023 bis 05.02.2024  2.27.0.01 Prof. Dr. Kreitz 04.12.2023: 
25.12.2023: 1. Weihnachtstag
01.01.2024: Neujahr
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 17.10.2023 bis 06.02.2024  2.27.1.01 Prof. Dr. Kreitz 26.12.2023: 2. Weihnachtstag
02.01.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Mi 12:00 bis 14:00 wöchentlich 18.10.2023 bis 07.02.2024  2.70.0.11 Kranz 27.12.2023: Akademische Weihnachtsferien
03.01.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 04.12.2023 2.70.0.01 Prof. Dr. Kreitz  
Gruppe 3:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 16.10.2023 bis 05.02.2024  2.27.0.01 Prof. Dr. Kreitz 04.12.2023: 
25.12.2023: 1. Weihnachtstag
01.01.2024: Neujahr
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 17.10.2023 bis 06.02.2024  2.27.1.01 Prof. Dr. Kreitz 26.12.2023: 2. Weihnachtstag
02.01.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Do 14:00 bis 16:00 wöchentlich 19.10.2023 bis 08.02.2024  2.70.0.08 Kranz 28.12.2023: Akademische Weihnachtsferien
04.01.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 04.12.2023 2.70.0.01 Prof. Dr. Kreitz  
Gruppe 4:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 16.10.2023 bis 05.02.2024  2.27.0.01 Prof. Dr. Kreitz 04.12.2023: 
25.12.2023: 1. Weihnachtstag
01.01.2024: Neujahr
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 17.10.2023 bis 06.02.2024  2.27.1.01 Prof. Dr. Kreitz 26.12.2023: 2. Weihnachtstag
02.01.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Fr 12:00 bis 14:00 wöchentlich 20.10.2023 bis 09.02.2024  2.70.0.09 Kranz 29.12.2023: Akademische Weihnachtsferien
05.01.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 04.12.2023 2.70.0.01 Prof. Dr. Kreitz  
Gruppe 5:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 16.10.2023 bis 05.02.2024  2.27.0.01 Prof. Dr. Kreitz 04.12.2023: 
25.12.2023: 1. Weihnachtstag
01.01.2024: Neujahr
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 17.10.2023 bis 06.02.2024  2.27.1.01 Prof. Dr. Kreitz 26.12.2023: 2. Weihnachtstag
02.01.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Fr 14:00 bis 16:00 wöchentlich 20.10.2023 bis 09.02.2024  2.70.0.09 Dr. rer. nat. Böhne 29.12.2023: Akademische Weihnachtsferien
05.01.2024: Akademische Weihnachtsferien
  Bemerkung: Für Lehramtsstudierende.
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 04.12.2023 2.70.0.01 Prof. Dr. Kreitz  
Gruppe 6:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 16.10.2023 bis 05.02.2024  2.27.0.01 Prof. Dr. Kreitz 04.12.2023: 
25.12.2023: 1. Weihnachtstag
01.01.2024: Neujahr
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 17.10.2023 bis 06.02.2024  2.27.1.01 Prof. Dr. Kreitz 26.12.2023: 2. Weihnachtstag
02.01.2024: Akademische Weihnachtsferien
Einzeltermine ausblenden
Übung Do 08:00 bis 10:00 wöchentlich 19.10.2023 bis 08.02.2024  2.70.0.08 Dr. rer. nat. Böhne 28.12.2023: Akademische Weihnachtsferien
04.01.2024: Akademische Weihnachtsferien
  Bemerkung: Für Lehramtsstudierende.
Einzeltermine:
  • 19.10.2023
  • 26.10.2023
  • 02.11.2023
  • 09.11.2023
  • 16.11.2023
  • 23.11.2023
  • 30.11.2023
  • 07.12.2023
  • 14.12.2023
  • 21.12.2023
  • 11.01.2024
  • 18.01.2024
  • 25.01.2024
  • 01.02.2024
  • 08.02.2024
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 04.12.2023 2.70.0.01 Prof. Dr. Kreitz  
Kommentar

Schreibt euch unbedingt in den Moodle-Kurs ein, um Zugriff auf die Lehrmaterialien und Benachrichtigungen zum Ablauf zu erhalten: https://moodle2.uni-potsdam.de/course/view.php?id=39075. Das ist umso wichtiger, wenn ihr euch aufgrund bereits erbrachter Prüfungsnebenleistungen nicht im PULS einschreiben könnt, da wir euch ansonsten überhaupt nicht erreichen können.

Zielgruppe

Formale Grundlagen der Informatik (INF-1020) und Maschinenmodelle (INF-1030) tauschen ab dem WS 2021/2022 die Plätze in den empfohlenen Studienverlaufsplänen. INF-1020 ist also bspw. im Bachelor ICS erst für das dritte Fachsemester vorgesehen, während Studierende des ersten Semesters INF-1030 belegen sollten. Analoges gilt für andere Studiengänge, in denen sowohl INF-1020 als auch INF-1030 zu belegen sind.


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2023/24 , Aktuelles Semester: SoSe 2024