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 PD 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 PD 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 PD 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 PD 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 PD 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 PD 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

Schreiben Sie sich zum Kurs sowohl über PULS als auch über Moodle ein, um Zugriff zu den Lehrmaterialien zu erhalten und wichtige Ankündigungen nicht zu verpassen: https://moodle2.uni-potsdam.de/course/view.php?id=42910.

Bitte beachten Sie, dass die Zuordnung zu den Übungsgruppen ausschließlich über eine Registrierung in Moodle erfolgt. PULS ist hier nicht maßgeblich. Dennoch ist die Einschreibung über PULS erforderlich, da sonst keine Leistungsverbuchung erfolgen kann.

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