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 2022/23
Einrichtung Institut für Informatik und Computational Science   Sprache deutsch
Belegungsfrist 04.10.2022 - 10.11.2022

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 Einzeltermin am 17.10.2022 2.70.0.01 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.05 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.11 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 18.10.2022 bis 07.02.2023  2.27.1.01 Prof. Dr. Kreitz 20.12.2022: Akademische Weihnachtsferien
27.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Mi 12:00 bis 14:00 wöchentlich 19.10.2022 bis 08.02.2023  2.70.0.09 Kranz 09.11.2022: 
21.12.2022: Akademische Weihnachtsferien
28.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 24.10.2022 bis 06.02.2023  2.27.1.01 Prof. Dr. Kreitz 19.12.2022: Akademische Weihnachtsferien
26.12.2022: 2. Weihnachtstag
Einzeltermine anzeigen
Übung Mi 12:00 bis 14:00 Einzeltermin am 09.11.2022 2.70.0.01 Kranz  
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 Einzeltermin am 17.10.2022 2.70.0.01 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.11 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.05 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 18.10.2022 bis 07.02.2023  2.27.1.01 Prof. Dr. Kreitz 20.12.2022: Akademische Weihnachtsferien
27.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Do 08:00 bis 10:00 wöchentlich 20.10.2022 bis 09.02.2023  2.70.0.09 Kranz 22.12.2022: Akademische Weihnachtsferien
29.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 24.10.2022 bis 06.02.2023  2.27.1.01 Prof. Dr. Kreitz 19.12.2022: Akademische Weihnachtsferien
26.12.2022: 2. Weihnachtstag
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 Einzeltermin am 17.10.2022 2.70.0.01 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.11 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.05 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 18.10.2022 bis 07.02.2023  2.27.1.01 Prof. Dr. Kreitz 20.12.2022: Akademische Weihnachtsferien
27.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Do 10:00 bis 12:00 wöchentlich 20.10.2022 bis 09.02.2023  2.70.0.11 Kranz 22.12.2022: Akademische Weihnachtsferien
29.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 24.10.2022 bis 06.02.2023  2.27.1.01 Prof. Dr. Kreitz 19.12.2022: Akademische Weihnachtsferien
26.12.2022: 2. Weihnachtstag
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 Einzeltermin am 17.10.2022 2.70.0.01 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.11 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.05 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 18.10.2022 bis 07.02.2023  2.27.1.01 Prof. Dr. Kreitz 20.12.2022: Akademische Weihnachtsferien
27.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Do 14:00 bis 16:00 wöchentlich 20.10.2022 bis 09.02.2023  2.70.0.08 Kranz 22.12.2022: Akademische Weihnachtsferien
29.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 24.10.2022 bis 06.02.2023  2.27.1.01 Prof. Dr. Kreitz 19.12.2022: Akademische Weihnachtsferien
26.12.2022: 2. Weihnachtstag
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 Einzeltermin am 17.10.2022 2.70.0.01 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.11 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.05 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 18.10.2022 bis 07.02.2023  2.27.1.01 Prof. Dr. Kreitz 20.12.2022: Akademische Weihnachtsferien
27.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Fr 08:00 bis 10:00 wöchentlich 21.10.2022 bis 10.02.2023  2.70.0.11 Kranz 23.12.2022: Akademische Weihnachtsferien
30.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 24.10.2022 bis 06.02.2023  2.27.1.01 Prof. Dr. Kreitz 19.12.2022: Akademische Weihnachtsferien
26.12.2022: 2. Weihnachtstag
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 Einzeltermin am 17.10.2022 2.70.0.01 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.11 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.05 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 18.10.2022 bis 07.02.2023  2.27.1.01 Prof. Dr. Kreitz 20.12.2022: Akademische Weihnachtsferien
27.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Do 12:00 bis 14:00 wöchentlich 20.10.2022 bis 09.02.2023  2.70.0.08 Dr. rer. nat. Böhne 22.12.2022: Akademische Weihnachtsferien
29.12.2022: Akademische Weihnachtsferien
  Bemerkung: Für Lehramtsstudierende.
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 24.10.2022 bis 06.02.2023  2.27.1.01 Prof. Dr. Kreitz 19.12.2022: Akademische Weihnachtsferien
26.12.2022: 2. Weihnachtstag
Gruppe 7:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.01 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.11 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 Einzeltermin am 17.10.2022 2.70.0.05 Prof. Dr. Kreitz  
Einzeltermine anzeigen
Tutorium Di 12:00 bis 14:00 wöchentlich 18.10.2022 bis 07.02.2023  2.27.1.01 Prof. Dr. Kreitz 20.12.2022: Akademische Weihnachtsferien
27.12.2022: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Fr 12:00 bis 14:00 wöchentlich 21.10.2022 bis 10.02.2023  2.70.0.08 Dr. rer. nat. Böhne 23.12.2022: Akademische Weihnachtsferien
30.12.2022: Akademische Weihnachtsferien
  Bemerkung: Für Lehramtsstudierende.
Einzeltermine anzeigen
Vorlesung Mo 10:00 bis 12:00 wöchentlich 24.10.2022 bis 06.02.2023  2.27.1.01 Prof. Dr. Kreitz 19.12.2022: Akademische Weihnachtsferien
26.12.2022: 2. Weihnachtstag
Kommentar

Schreibt euch unbedingt in den Moodle-Kurs ein, um Zugriff auf die Lehrmaterialien zu erhalten: https://moodle2.uni-potsdam.de/course/view.php?id=34768. 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 2022/23 , Aktuelles Semester: SoSe 2024