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