Informatik III (BSc)

Personen

Prof. Juergen Dix
Dipl.-Inf. Tristan Behrens
Jens Dehnert
Tobias Ahlbrecht

Kursbeschreibung

Die Vorlesung Informatik III beschaeftigt sich mit grundlegenden Fragen der Represaentation und formalen Verarbeitung von Informationen sowie der zugehoerigen mathematischen Modellbildung unabhaengig von spezifischen Rechnern und Rechnermodellen. Es stehen die Repraesentation von Informationen durch formale Sprachen, deren formale Manipulation (Algorithmen), hierzu adaequate Maschinen- und Berechenbarkeitsmodelle sowie Fragen der Effektivitaet und Effizienz im Mittelpunkt: Formale Sprachen, Automatentheorie, Chomsky-Hierarchie, Berechenbarkeit und Entscheidbarkeit, Komplexitaetstheorie (die Struktur von PSPACE, insbesondere P/NP). Die Vorlesung ist 3V + 1Ueb: die Uebungen sind sehr wichtig.

Wichtig

Eine Anmeldung im StudIP-System ist erforderlich. Alle weiteren Informationen (News, Aufgabenzettel,...) werden dort bereitgestellt.

Scheine und Prüfung

Klausurzulassung: Mindestens 50% der Gesamtpunktzahl aller Aufgabenzettel. Bonuspunkte: In Abhängigkeit der Gesamtpunktzahl aller Aufgabenzettel kann man in der Klausur Bonuspunkte bekommen! Genauere Informationen zu einem späteren Zeitpunkt. Prüfung: tba

Literatur

  1. Katrin Erk, Lutz Priese: Theoretische Informatik - Eine umfassende Einfuehrung Springer Verlag, 2000.
  2. Hopcroft, J. E., und Ullman, J. D.: Einfuehrung in die Automatentheorie, Formale Sprachen und Komplexitaetstheorie, Addison-Wesley (Deutschland), 1989
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019