Berechenbarkeit Und Unlösbarkeit: Eine Kurze Einführung Für Mathematiker Und Informatiker (german Edition)

Herr Prof. Dr. em. Klemens Döpp war Professor für Mathematik mit dem Schwerpunkt theoretische Informatik an der Universität Bremen. Es liegt damit im UEberschneidungsbereich von theoretischer Informatik und mathematischer Grundlagenforschung und gibt eine Einfuhrung in die mittlerweile klassische Theorie der effektiven Berechenbarkeit bis hin zu den grundlegenden Unloesbarkeitsergebnissen von Kleene / Mostowski und Rice. Es liegt damit im Überschneidungsbereich von theoretischer Informatik und mathematischer Grundlagenforschung und gibt eine Einführung in die mittlerweile klassische Theorie der effektiven Berechenbarkeit bis hin zu den grundlegenden Unlösbarkeitsergebnissen von Kleene / Mostowski und Rice. Front Matter....Pages I-XI Einleitung....Pages 1-4 Turing-Berechenbarkeit....Pages 5-72 Partiell-rekursive Funktionen....Pages 73-126 Unlösbarkeit....Pages 127-164 Back Matter....Pages 210-243