Top
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
PULS
Foto: Matthias Friel
Datenschutz
Kontakt
Impressum
Universität Potsdam
Veranstaltungen
Modulbeschreibung
EN
WiSe 2024/25
Anmelden
Node2
Sie sind hier:
Startseite
Theoretische Informatik I: Modellierungskonzepte - Automaten und formale Sprachen - Einzelansicht
Funktionen:
belegen/abmelden
Veranstaltungsart
Vorlesung
Veranstaltungsnummer
550311
SWS
Semester
WiSe 2018/19
Einrichtungen
Institut für Informatik und Computational Science
Institut für Mathematik
Institut für Biochemie und Biologie
Sprache
deutsch
Belegungsfristen
01.10.2018 - 10.11.2018
Belegung über PULS
01.10.2018 - 20.11.2018
Belegung über PULS
Gruppe 1:
Vormerken:
jetzt belegen / abmelden
Tag
Zeit
Rhythmus
Dauer
Raum
Lehrperson
Ausfall-/Ausweichtermine
Max. Teilnehmer/-innen
Vorlesung
Mo
12:00 bis 14:00
wöchentlich
15.10.2018 bis 04.02.2019
3.06.H03
Prof. Dr. Kreitz
24.12.2018: Akademische Weihnachtsferien
31.12.2018: Akademische Weihnachtsferien
Einzeltermine:
15.10.2018
22.10.2018
29.10.2018
05.11.2018
12.11.2018
19.11.2018
26.11.2018
03.12.2018
10.12.2018
17.12.2018
07.01.2019
14.01.2019
21.01.2019
28.01.2019
04.02.2019
Kommentar
Die Theoretische Informatik beschäftigt sich mit den grundlegenden Fragestellungen der Informatik. Hierzu werden Computer- und Automatenmodelle idealisiert und mathematisch untersucht.
Die Automatentheorie und die Theorie der formalen Sprachen (Thema des ersten Semesters) ist grundlegend für die Entwicklung von Programmiersprachen und Compilern. Sie untersucht, mit welchen Techniken welche Arten von Sprachen effizient analysiert werden können.
Die Berechenbarkeitstheorie (Thema des vierten Semesters) befasst sich mit den prinzipiellen Grenzen des Berechenbaren und der Relation zwischen verschiedenen Computer- und Programmiermodellen.
Die Komplexitätstheorie (Thema des vierten Semesters) untersucht Effizienz von Algorithmen im Hinblick auf Platz- und Zeitbedarf und kümmert sich insbesondere um die Frage, wie effizient man bestimmte Probleme lösen kann.
Die Veranstaltung ist prinzipiell für Studenten des ersten Semesters geeignet, setzt jedoch ein gutes Verständnis mathematischer Konzepte und Methoden voraus. Für einige Studenten ist es daher sinnvoller, zunächst an den entsprechenden Mathematikveranstaltungen teilzunehmen und die theoretische Informatik erst im dritten Semester zu belegen.
Literatur
J. Hopcroft, R. Motwani, J. Ullman: Einfuehrung in die Automatentheorie, Formale Sprachen und Komplexitaetstheorie, Pearson 2002
Michael Sipser: Introduction to the Theory of Computation. 2. Auflage, PWS 2005
Voraussetzungen
Die Veranstaltung ist prinzipiell für Studenten des ersten Semesters geeignet, setzt jedoch ein gutes Verständnis mathematischer Konzepte und Methoden voraus. Für die meisten Studenten ist daher die Teilnahme an dem Mathematik Brueckenkurs dringend zu empfehlen.
Leistungsnachweis
Bearbeitung von Hausaufgaben (Voraussetzung fuer Klausurzulassung). Klausur zu Beginn des vorlesungsfreien Zeitraums (i.d.R. Freitag nach Vorlesungsende)
Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2018/19 , Aktuelles Semester: WiSe 2024/25
© Copyright HIS
Hochschul-Informations-System eG