Logik und Berechenbarkeit

Vorlesung

Logik und Berechenbarkeit WS 2009/10
Vorlesungsinhalt:
wird laufend ergänzt	Folien
1. Primitiv-rekursive Funktionen	(Postscript 4 auf 1)	(Postscript groß)
	(Pdf 4 auf 1)	(Pdf groß)
Literatur Mal'cev, Anatolij Ivanovic : Algorithmen und rekursive Funktionen, Akademie-Verlag, Berlin 1974 Péter, Rósza : Rekursive Funktionen, Akadémiai Kiadó, Budapest 1957 Péter, Rósza : Rekursive Funktionen in der Komputer-theorie, Akadémiai Kiadó, Budapest 1976 Wagner, Klaus W. : Einführung in die Theoretische Informatik, Springer-Verlag, Berlin 1994
2. LOOP-Programme 3. Hierarchien primitiv-rekursiver Funktionen 4. Eine effektive Numerierung von PR¹	(Postscript 4 auf 1)	(Postscript groß)
	(Pdf 4 auf 1)	(Pdf groß)
5. Partiell-rekursive Funktionen	(Postscript 4 auf 1)	(Postscript groß)
	(Pdf 4 auf 1)	(Pdf groß)
6. Effektive Numerierungen partiell-rekursiver Funktionen	(Postscript 4 auf 1)	(Postscript groß)
	(Pdf 4 auf 1)	(Pdf groß)
7. m-Reduktion von Mengen	(Postscript 4 auf 1)	(Postscript groß)
	(Pdf 4 auf 1)	(Pdf groß)
Literatur Rogers, Hartley : Theory of recursive functions and effective computability, MIT Press, Cambridge, Mass. 1992