Berechenbarkeit Und Unl?sbarkeit: Eine Kurze Einf?hrung F?r Mathematiker Und Informatiker

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.

Author: Klemens D?pp

Publisher: Vieweg+teubner Verlag

Publication Date: Sep 15, 2000

Number of Pages: 243 pages

Binding: Paperback or Softback

ISBN-10: 3528057157

ISBN-13: 9783528057152