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 Pflichtvorl./Pflichtüb. Kurztext TI
Veranstaltungsnummer Rhythmus jedes 2. Semester
Semester SS 2006 Studienjahr
Erwartete Teilnehmer/-innen 70 Max. Teilnehmer/-innen
SWS 6 Sprache deutsch
Credits 9
Hyperlink http://www.inf.uni-konstanz.de/algo/lehre/ss06/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. 03.05.2006 bis 28.07.2006  A - A 703 $lang.rollstuhl_gelb     am 5.5. verlegt nach R711  
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. H - H 305      
Einzeltermine anzeigen
iCalendar Export
Mo. 14:15 bis 15:45 wöchentl. D - D 433      
Übung:
 
 
Termine iCalendar Export
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export
Mo. 14:00 bis 16:00 Einzel am 31.07.2006 A - A 703 $lang.rollstuhl_gelb     KLAUSUR, Ersttermin  
 
 


Dozent/in
Dozent/in Zuständigkeit
Brandes, Ulrik, Prof. Dr.
Studiengänge
Abschluss Studiengang Semester Prüfungsversion
Information Engineering, BSc -
StudIS-Prüfungen / Module
Prüfungsnummer Prüfungstext
INF-22101 Theoretische Grundlagen der Informatik
StudIS-Prüfungsorganisationssätze
Semester Termin Prüfer/-in Datum Beginn Dauer Raum Bemerkung Leistungsanmeldung Rücktritt bis StudIS-
Status
SS 2006 01 Brandes, Ulrik , Prof. Dr. 31.07.2006 14:00 2 A 703 06.07.2006 bis
23.07.2006
23.07.2006 StudIS-Prüfungsanmeldung beendet
SS 2006 02 Brandes, Ulrik , Prof. Dr. 17.10.2006 10:00 2 06.07.2006 bis
08.10.2006
08.10.2006 StudIS-Prüfungsanmeldung beendet
_______________
Nicht/noch nicht für die StudIS-Prüfungsanmeldung freigeschaltetNicht/noch nicht für die StudIS-Prüfungsanmeldung freigeschaltet
Für die StudIS-Prüfungsanmeldung freigeschaltet - Prüfungsanmeldung läuft noch nichtFür die StudIS-Prüfungsanmeldung freigeschaltet - Prüfungsanmeldung läuft noch nicht
Für die StudIS-Prüfungsanmeldung freigeschaltet - Prüfungsanmeldung läuft derzeitFür die StudIS-Prüfungsanmeldung freigeschaltet - Prüfungsanmeldung läuft derzeit
Anmeldezeitraum abgelaufen - Rücktritt noch möglichAnmeldezeitraum abgelaufen - Rücktritt noch möglich
StudIS-Prüfungsanmeldung beendetStudIS-Prüfungsanmeldung beendet
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
- Parametrisierte Komplexität
Literatur I. Wegener: "Theoretische Informatik - eine algorithmenorientierte Einführung", B. G. Teubner Verlag, 2. Aufl. 1999

U. Schöning: "Theoretische Informatik - kurzgefasst", Spektrum Akademischer Verlag, 4. Aufl. 2001

J. E. Hopcroft, R. Motwani, J. D. Ullman: "Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie", Pearson Studium, 2. Aufl. 2002

M. R. Garey, D. S. Johnson: "Computers and Intractability: A Guide to the Theory of NP-Completeness", Freeman, 1979
Bemerkung Daten für den Leistungsnachweis (s.a. 'Räume und Termine'):

Klausur "Theoretische Grundlagen der Informatik"
1. Termin: Mo., 31.07., 14.00-16.00 Uhr, A 703
2. Termin: Di., 17.10., 10.00-12.00 Uhr, F 429

DAS EIGENTLICHE FELD "LEISTUNGSNACHWEIS" IST IRREPARABEL DEFEKT - BITTE IGNORIEREN. MASSGEBEND IST DIESER EINTRAG.
Leistungsnachweis Klausur (120min)

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