Berechenbarkeit und Unlösbarkeit Eine kurze Einführung für Mathematiker und Informatiker
Description
Das Buch behandelt die Frage nach den Möglichkeiten und Grenzen algorithmischer Problemlösung von einem am Grundsätzlichen orientierten Standpunkt aus. 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.
Keywords
Technology & EngineeringEngineering (General)
2000Book
Author(s)Klemens Döpp
PublisherVieweg+Teubner Verlag
ISBN9783528057152
LanguageGerman
