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

ISBN-13: 9783528057152 / Niemiecki / Miękka / 2000 / 243 str.

Klemens D. Pp

Opis

Das Buch behandelt die Frage nach den Moglichkeiten und Grenzen algorithmischer Problemlosung von einem am Grundsatzlichen orientierten Standpunkt aus. Es liegt damit im Uberschneidungsbereich von theoretischer Informatik und mathematischer Grundlagenforschung und gibt eine Einfuhrung in die mittlerweile klassische Theorie der effektiven Berechenbarkeit bis hin zu den grundlegenden Unlosbarkeitsergebnissen von Kleene / Mostowski und Rice."

Spis treści

Turing-Berechenbarkeit - Partiell-rekursive Funktionen - Unlösbarkeit - Abstrakte Berechenbarkeitsbegriffe - Aufgaben - Anhang 1: Zur Bedeutung der verwendeten logischen Symbole - Anhang 2: Zu den Begriffen der Funktion und Relation - Anhang 3: Erklärung einiger Bezeichnungen

O autorze

Herr Prof. Dr. em. Klemens Döpp war Professor für Mathematik mit dem Schwerpunkt theoretische Informatik an der Universität Bremen.