Skripten
| Skriptum zur Diskreten Mathematik 1 | bw | color | errata |
| Skriptum zur Diskreten Mathematik 2 | color | Tippfehler korrigiert | errata |
Programme
ackermann.c ein C-Programm zum Zählen der Ackermannfunktionsaufrufe
Empfohlene Literatur
J. L. Hein, Discrete Structures, Logic, and Computabilty Jones and Bartlett Publishers, London, 2002.
J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001.
M. Sipser. Introduction to the Theory of Computation, PWS Publishing Company, 1997.