Buch/Skript über berechenbare, primitiv-rekursive Funktionen etc.

[Informatikker123]

Ich suche ein gutes Buch/Skript über berechenbare, primitiv-rekursive Funktionen, Sprachen etc. Also Grundlagen der theoretischen Informatik.

[Informatikker123]

Ich bin Dr. rer. nat. (Mathematik), also dahin gibt es kein Problem.

[Lxxy]

www.thi.uni-hannover.de/fileadmin/forschung/arbeiten/krueger-sa.pdf
http://www.goodmath.org/blog/category/good-math/lambda-calculus/
https://mitpress.mit.edu/sicp/full-text/book/book.html
https://www.nostarch.com/lisp.htm

[Informatikker123]

Ist der Schöning zu empfehlen?

[schöningkenner]

Informatikker123 schrieb:

Ist der Schöning zu empfehlen?

Ja! Alles drin aber sehr kompakt.

[Informatikker123]

schöningkenner schrieb:

Informatikker123 schrieb:

Ist der Schöning zu empfehlen?

Ja! Alles drin aber sehr kompakt.

Danke, ist gekauft!