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 2024/25
Einrichtung Institut für Informatik und Computational Science   Sprache deutsch
Belegungsfristen 01.10.2024 - 10.11.2024   
01.10.2024 - 10.11.2024   
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 14.10.2024 bis 03.02.2025  2.27.0.01 Dr. Bordihn 23.12.2024: Akademische Weihnachtsferien
30.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Mo 12:00 bis 14:00 wöchentlich 14.10.2024 bis 03.02.2025  2.70.0.08 N.N. 23.12.2024: Akademische Weihnachtsferien
30.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Tutorium Di 08:00 bis 10:00 wöchentlich 15.10.2024 bis 04.02.2025  2.27.0.01 Dr. rer. nat. Böhne 24.12.2024: Akademische Weihnachtsferien
31.12.2024: Akademische Weihnachtsferien
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 14.10.2024 bis 03.02.2025  2.27.0.01 Dr. Bordihn 23.12.2024: Akademische Weihnachtsferien
30.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Tutorium Di 08:00 bis 10:00 wöchentlich 15.10.2024 bis 04.02.2025  2.27.0.01 Dr. rer. nat. Böhne 24.12.2024: Akademische Weihnachtsferien
31.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Do 10:00 bis 12:00 wöchentlich 17.10.2024 bis 06.02.2025  2.70.0.08 N.N. 26.12.2024: 2. Weihnachtstag
02.01.2025: Akademische Weihnachtsferien
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 14.10.2024 bis 03.02.2025  2.27.0.01 Dr. Bordihn 23.12.2024: Akademische Weihnachtsferien
30.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Tutorium Di 08:00 bis 10:00 wöchentlich 15.10.2024 bis 04.02.2025  2.27.0.01 Dr. rer. nat. Böhne 24.12.2024: Akademische Weihnachtsferien
31.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Mi 08:00 bis 10:00 wöchentlich 16.10.2024 bis 05.02.2025  2.70.0.09 N.N. 25.12.2024: 1. Weihnachtstag
01.01.2025: Neujahr
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 14.10.2024 bis 03.02.2025  2.27.0.01 Dr. Bordihn 23.12.2024: Akademische Weihnachtsferien
30.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Tutorium Di 08:00 bis 10:00 wöchentlich 15.10.2024 bis 04.02.2025  2.27.0.01 Dr. rer. nat. Böhne 24.12.2024: Akademische Weihnachtsferien
31.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Mi 12:00 bis 14:00 wöchentlich 16.10.2024 bis 05.02.2025  2.70.0.09 N.N. 25.12.2024: 1. Weihnachtstag
01.01.2025: Neujahr
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 14.10.2024 bis 03.02.2025  2.27.0.01 Dr. Bordihn 23.12.2024: Akademische Weihnachtsferien
30.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Tutorium Di 08:00 bis 10:00 wöchentlich 15.10.2024 bis 04.02.2025  2.27.0.01 Dr. rer. nat. Böhne 24.12.2024: Akademische Weihnachtsferien
31.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Fr 14:00 bis 16:00 wöchentlich 18.10.2024 bis 07.02.2025  2.70.0.08 Dr. rer. nat. Böhne 22.11.2024: 
27.12.2024: Akademische Weihnachtsferien
03.01.2025: Akademische Weihnachtsferien
  Bemerkung: Für Lehramtsstudierende.
Einzeltermine anzeigen
Übung Fr 14:00 bis 16:00 Einzeltermin am 22.11.2024 2.70.0.05 Dr. rer. nat. Böhne  
  Bemerkung: Für Lehramtsstudierende.
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 14.10.2024 bis 03.02.2025  2.27.0.01 Dr. Bordihn 23.12.2024: Akademische Weihnachtsferien
30.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Tutorium Di 08:00 bis 10:00 wöchentlich 15.10.2024 bis 04.02.2025  2.27.0.01 Dr. rer. nat. Böhne 24.12.2024: Akademische Weihnachtsferien
31.12.2024: Akademische Weihnachtsferien
Einzeltermine anzeigen
Übung Fr 08:00 bis 10:00 wöchentlich 18.10.2024 bis 07.02.2025  2.70.0.09 Dr. rer. nat. Böhne 27.12.2024: Akademische Weihnachtsferien
03.01.2025: Akademische Weihnachtsferien
  Bemerkung: Für Lehramtsstudierende.
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 2024/25 gefunden:
Vorlesungsverzeichnis
Wirtschafts- und Sozialwissenschaftliche Fakultät
Wirtschaftswissenschaften
Bachelor of Science
Wirtschaftsinformatik (Prüfungsversion ab WiSe 2015/16)
Informatik
INF 1020 - Formale Grundlagen der Informatik  - - - 1 offens Buch
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Bachelor of Science
Computational Science (Prüfungsversion ab WiSe 2019/20)
I. Grundlagenmodule Informatik/Computational Science
INF-1020 - Formale Grundlagen der Informatik  - - - 2 offens Buch
Computational Science (Prüfungsversion ab WiSe 2013/14)
I. Grundlagenmodule Informatik
Formale Grundlagen der Informatik  - - - 3 offens Buch
Bachelor of Education
Informatik (Prüfungsversion ab WiSe 2020/21)
Pflichtmodule
INF-1020 - Formale Grundlagen der Informatik  - - - 4 offens Buch
Informatik (Prüfungsversion ab WiSe 2013/14)
Pflichtmodule
Theoretische Grundlagen: Modellierungskonzepte der Informatik  - - - 5 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  - - - 6 offens Buch
Humanwissenschaftliche Fakultät
Department Linguistik
Bachelor of Science
Computerlinguistik (Prüfungsversion ab WiSe 2017/18)
Wahlpflichtmodule Informatik
INF 1020 - Formale Grundlagen der Informatik  - - - 7 offens Buch
INF 1020 - Theoretische Grundlagen: Modellierungskonzepte der Informatik  - - - 8 offens Buch