WiSe 2006/2007 » Formale Grundlagen der Informatik I
Prof. Dr. Otto

Aktuelles

09.10.2007

Die Klausurergebnisse hängen jetzt im Schaukasten neben Raum S215/209 aus. Die Klausureinsicht findet am Do. 18.10. vom 10.00 bis 11.00 Uhr in Raum S215/201 statt. Die mündlichen Nachprüfungen finden am 23. Oktober statt.

 

Veranstalter

Name	Raum	Tel.
Prof. Dr. Martin Otto	S2|15 207	22861
Dr. habil. Achim Blumensath	S2|15 203	22865

 

Literatur

• J.Hopcroft, R.Motwani, and J.Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2nd ed., 2001.
• U.Schöning: Theoretische Informatik - kurzgefasst, Spektrum, 4. Aufl., 2001.
• I.Wegener: Theoretische Informatik - eine algorithmenorientierte Einführung, Teubner, 1999.
• D.Harel: Algorithmics: The Spirit of Computing, Addison-Wesley, 2nd ed., 1992.
• D.Kozen: Automata and Computability, Springer, 1997.
• H.R.Lewis and C.H.Papadimitriou: Elements of the Theory of Computation, Prentice Hall, 2nd ed., 1998.
• M.Sipser: Introduction to the Theory of Computation, PWS Publishing Company, 1997.

 

Impressum | Datenschutzerklärung