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 
Startseite    Anmelden     
Logout in [min] [minutetext]

Theoretische Grundlagen der Informatik - Einzelansicht

  • Funktionen:
  • Druckversion
Grunddaten
Veranstaltungsart Vorlesung/Übung Kurztext TI
Veranstaltungsnummer Rhythmus jedes 2. Semester
Semester SS 2005 Studienjahr
Erwartete Teilnehmer/-innen 70 Max. Teilnehmer/-innen
SWS 6 Sprache deutsch
Credits 9
Hyperlink http://www.inf.uni-konstanz.de/algo/lehre/ti/
Termine: Vorlesung iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Mi. 08:30 bis 10:00 wöchentl. A - A 703 $lang.rollstuhl_gelb      
Einzeltermine anzeigen
iCalendar Export
Fr. 12:00 bis 13:30 wöchentl. M - M 627      
Vorlesung:
 
 
Termine: Übung iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Mo. 10:15 bis 11:45 wöchentl. L - L 602      
Einzeltermine anzeigen
iCalendar Export
Mo. 14:15 bis 15:45 wöchentl. E - E 405      
Übung:
 
 


Dozent/in
Dozent/in Zuständigkeit
Brandes, Ulrik, Prof. Dr.
Studiengänge
Abschluss Studiengang Semester Prüfungsversion
Information Engineering, BSc -
Zuordnung zu Einrichtungen
FB Informatik und Informationswissenschaft
Inhalt
Kommentar Formale Sprachen und Automatentheorie
- Chomsky-Hierarchie (reguläre, kontextfreie, Typ0-Sprachen, reguläre Ausdrücke)
- Grammatiken (Typen, Eindeutigkeit, Abgeschlossenheit)
- Automatenmodelle (endliche Automaten, Kellerautomaten, Turingmaschinen)
Entscheidbarkeit und Berechenbarkeit
- Entscheidbarkeit, Aufzählbarkeit
- Universelle Turingmaschine, Diagonalisierung, Halteproblem
- Berechenbarkeit, $\mu$-rekursive Funktionen, Church/Turing-These
Komplexitätstheorie
- Optimierungs- und Entscheidungsprobleme
- Codierung
- Klassen P und NP, NP-Vollständigkeit
Leistungsnachweis Klausur (Ersttermin 15.7.05, 12-14 Uhr, M627; Zweittermin 18.10.05, 10-12 Uhr, A704)

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SS 2005 , Aktuelles Semester: WS 2017/18
STUDIS    Anzahl aktueller Nutzer/-innen: 17 Haben Sie Anregungen, Fragen, Lob oder Kritik zum LSF?
Dann schreiben Sie uns!
Impressum
Datenschutzerklärung