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
SoSe 2024
Anmelden
Node2
Uni Homepage
Studium
Zugang zu Moodle
Anmeldungs- und Belegungsfristen
Verifikation von Studienbescheinigungen
Sie sind hier:
Startseite
Theoretische Informatik I: Modellierungskonzepte - Automaten und formale Sprachen - Einzelansicht
Funktionen:
belegen/abmelden
Veranstaltungsart
Vorlesung
Veranstaltungsnummer
550311
SWS
Semester
WiSe 2015/16
Einrichtung
Institut für Informatik und Computational Science
Sprache
deutsch
Weitere Links
Kommentar
Belegungsfristen
01.10.2015 - 10.11.2015
Belegung über PULS
01.10.2015 - 20.11.2015
Belegung über PULS
Gruppe 1:
Vormerken:
jetzt belegen / abmelden
Tag
Zeit
Rhythmus
Dauer
Raum
Lehrperson
Ausfall-/Ausweichtermine
Max. Teilnehmer/-innen
Vorlesung
Fr
08:00 bis 10:00
wöchentlich
16.10.2015 bis 05.02.2016
3.06.H04
Prof. Dr. Kreitz
200
Einzeltermine:
16.10.2015
23.10.2015
30.10.2015
06.11.2015
13.11.2015
20.11.2015
27.11.2015
04.12.2015
11.12.2015
18.12.2015
08.01.2016
15.01.2016
22.01.2016
29.01.2016
05.02.2016
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 2015/16 , Aktuelles Semester: SoSe 2024
© Copyright HIS
Hochschul-Informations-System eG