Berechenbarkeit Und Unlösbarkeit: Eine Kurze Einführung Für Mathematiker Und Informatiker [German]

By Klemens Döpp

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. Die Ausf hrungen beschr nken sich bewusst auf das Wesentliche, um die M glichkeit zu bieten, das Buch als Textvorlage f r eine einsemestrige vierst ndige Vorlesung zu verwenden. Gro er Wert wurde dabei auf mathematische Vollst ndigkeit und Korrektheit gelegt. Einige Erg nzungen des Stoffs werden in Form von bungsaufgaben angef gt.

• Format: Paperback
• Language: German
• ISBN: 3528057157
• ISBN13: 9783528057152
• Release Date: September 2000
• Publisher: Vieweg+teubner Verlag
• Length: 243 Pages
• Weight: 0.68 lbs.
• Dimensions: 0.5" x 5.8" x 8.3"