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

Modul: Formale Grundlagen der Informatik


Das hier aufgeführte Modul basiert auf in den Amtlichen Bekanntmachungen der Universität Potsdam veröffentlichten Studien- und Prüfungsordnungen.
Verbindliche Regelungswirkung haben nur die veröffentlichten Ordnungen.


INF-1020: Formale Grundlagen der Informatik Anzahl der Leistungspunkte (LP):
6 LP
Modulart (Pflicht- oder Wahlpflichtmodul): Abhängig vom Studiengang (siehe unten)
Inhalte und Qualifikationsziele des Moduls:

Inhalte

Mathematische Beweisführung, mathematische Strukturen (Zahlen, Listen, Graphen, Bäume) und mathematische Modelle.
Automaten als Akzeptoren von Sprachen, endliche Automaten, Kellerautomaten/Pushdown-Automaten, Turingmaschinen, Grammatiken als Generatoren von Sprachen, reguläre und kontext-freie Sprachen, Chomsky-Hierarchie.
Eigenschaften und Grenzen von Sprachklassen

 

Qualifikationsziele

Die Studierenden

  • verstehen grundlegende Modellierungswerkzeuge der Informatik
  • können diese verwenden
  • verstehen ihre Eigenschaften und grundlegenden Algorithmen auf ihnen.
Modul(teil)prüfung (Anzahl, Form, Umfang, Arbeitsaufwand in LP):

Klausur, 180 Minuten

Selbstlernzeit (in Zeitstunden (h)): 90

Veranstaltungen
(Lehrformen)
Kontaktzeit
(in SWS)
Prüfungsnebenleistungen
(Anzahl, Form, Umfang)
Lehrveranstaltungsbegleitende Modul(teil)prüfung
(Anzahl, Form, Umfang)
Für den Abschluss des Moduls Für die Zulassung zur Modulprüfung
Vorlesung und Übung und Tutorium (Vorlesung und Übung) 6 -

erfolgreiche Bearbeitung von Übungsaufgaben und Testaten (50%)

-

Häufigkeit des Angebots:

WiSe

Voraussetzung für die Teilnahme am Modul: keine
Anbietende Lehreinheit(en): Informatik
Zuordnung zu Studiengängen Modulart
Bachelor of Education Informatik - Sekundarst. I und II WiSe 2020/21 Pflichtmodul
Bachelor of Science Computerlinguistik WiSe 2017/18 Wahlpflichtmodul
Bachelor of Science Informatik/Computational Science WiSe 2013/14 Pflichtmodul
Bachelor of Science Informatik/Computational Science WiSe 2019/20 Pflichtmodul
Bachelor of Science Mathematik WiSe 2015/16 Wahlpflichtmodul
Bachelor of Science Wirtschaftsinformatik WiSe 2015/16 Pflichtmodul
Fakultätskatalog Mathematisch-Naturwissenschaftliche Fakultät WiSe 2016/17 Abhängig vom Studiengang