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

  • Funktionen:
  • Zur Zeit keine Belegung möglich
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   
02.10.2023 - 10.11.2023   
Gruppe 1:
     Zur Zeit keine Belegung möglich
    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:
     Zur Zeit keine Belegung möglich
    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:
     Zur Zeit keine Belegung möglich
    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:
     Zur Zeit keine Belegung möglich
    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:
     Zur Zeit keine Belegung möglich
    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:
     Zur Zeit keine Belegung möglich
    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 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 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
Die Veranstaltung wurde 8 mal im Vorlesungsverzeichnis WiSe 2023/24 gefunden:
Vorlesungsverzeichnis
Humanwissenschaftliche Fakultät
Department Linguistik
Bachelor of Science
Computerlinguistik (Prüfungsversion ab WiSe 2017/18)
Wahlpflichtmodule Informatik
INF 1020 - Formale Grundlagen der Informatik  - - - 1 offens Buch
INF 1020 - Theoretische Grundlagen: Modellierungskonzepte der Informatik  - - - 2 offens Buch
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Bachelor of Education
Informatik (Prüfungsversion ab WiSe 2020/21)
Pflichtmodule
INF-1020 - Formale Grundlagen der Informatik  - - - 3 offens Buch
Informatik (Prüfungsversion ab WiSe 2013/14)
Pflichtmodule
Theoretische Grundlagen: Modellierungskonzepte der Informatik  - - - 4 offens Buch
Bachelor of Science
Computational Science (Prüfungsversion ab WiSe 2019/20)
I. Grundlagenmodule Informatik/Computational Science
INF-1020 - Formale Grundlagen der Informatik  - - - 5 offens Buch
Computational Science (Prüfungsversion ab WiSe 2013/14)
I. Grundlagenmodule Informatik
Formale Grundlagen der Informatik  - - - 6 offens Buch
Institut für Mathematik
Bachelor of Science
Mathematik (Prüfungsversion ab WiSe 2015/2016)
Berufsfeldspezifische Kompetenzen
Informatik
INF-1020 - Formale Grundlagen der Informatik  - - - 7 offens Buch
Wirtschafts- und Sozialwissenschaftliche Fakultät
Wirtschaftswissenschaften
Bachelor of Science
Wirtschaftsinformatik (Prüfungsversion ab WiSe 2015/16)
Informatik
INF 1020 - Formale Grundlagen der Informatik  - - - 8 offens Buch