Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

TheGI 1 (StuPO90): Unterschied zwischen den Versionen

(Tipps und nützliche Infos)
(Tipps und nützliche Infos)
Zeile 17: Zeile 17:
  
 
Zusätzlich ist für Automatentheorien, Turingmaschinen usw. zu empfehlen: "Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie" von J.E.Hopcroft und J.D. Ullmann. Das Buch stammt vom Verlag: Addison-Wesley Publishing Company (1.Nachdruck 1992), ISBN: 3-89319-181-X
 
Zusätzlich ist für Automatentheorien, Turingmaschinen usw. zu empfehlen: "Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie" von J.E.Hopcroft und J.D. Ullmann. Das Buch stammt vom Verlag: Addison-Wesley Publishing Company (1.Nachdruck 1992), ISBN: 3-89319-181-X
 +
 +
Man kann die Bücher für die Unterstützung von Beweisen als Quelle angeben. (Nur nicht übertreiben :)! )
  
 
== Weblinks ==
 
== Weblinks ==

Version vom 6. Dezember 2004, 18:57 Uhr

Theoretische Grundlagen der Informatik 1

Pflichtveranstaltung im Grundstudium für Studierende der Informatik.

Inhalt

Formale Grammatiken und Automaten (reguläre Grammatiken und Sprachen, deterministische und nichtdeterministische Automaten), Erzeugen und Akzeptieren formaler Sprachen (endliche Automaten, reguläre und kontexfreie Grammatiken und Sprachen), Nichtdeterminismus, Turingmaschinen (deterministische, sowie nichtdeterministische), Halteproblem, Komplexität, P-NP-Problem

Tipps und nützliche Infos

Für den Anfang des Semsters ist das Buch: "Theoretische Informatik - kurzgefasst" sehr hilfreich. Es es von Uwe Schöning, Spektrum Akademischen Verlag (4.Auflage, 2003). ISBN: 3-8274-1099-1

Zusätzlich ist für Automatentheorien, Turingmaschinen usw. zu empfehlen: "Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie" von J.E.Hopcroft und J.D. Ullmann. Das Buch stammt vom Verlag: Addison-Wesley Publishing Company (1.Nachdruck 1992), ISBN: 3-89319-181-X

Man kann die Bücher für die Unterstützung von Beweisen als Quelle angeben. (Nur nicht übertreiben :)! )

Weblinks