Eine rekursive Einführung in die Rechentheorie

Originaltitel:

A Recursive Introduction to the Theory of Computation

Inhalt des Buches:

Das Ziel dieses Lehrbuchs ist es, eine Darstellung der Rechentheorie zu geben.

Nach einer Einführung in das Konzept eines Rechenmodells und der Vorstellung verschiedener Beispiele untersucht der Autor die Grenzen der effektiven Berechnung anhand der grundlegenden Rekursionstheorie. Selbstreferenz und andere Methoden werden als fundamentale und grundlegende Werkzeuge für die Konstruktion und Manipulation von Algorithmen vorgestellt.

Danach wird die Komplexität von Berechnungen betrachtet und der Begriff des Komplexitätsmaßes eingeführt. Schließlich gipfelt das Buch in der Betrachtung von Zeit- und Raummaßen und in der Klassifizierung von berechenbaren Funktionen als machbar oder nicht machbar. Der Autor setzt lediglich grundlegende Kenntnisse der diskreten Mathematik und des Rechnens voraus, so dass sich dieses Lehrbuch ideal für einen Einführungskurs auf Hochschulniveau eignet.

Es basiert auf vielen solchen Kursen, die der Autor gehalten hat, und enthält daher zahlreiche Übungen. Darüber hinaus sind die Lösungen zu den meisten dieser Übungen enthalten.

Weitere Daten des Buches:

• ISBN: 9780387943329
• Autor: Carl Smith
• Verlag: Springer Nature
• Sprache: Englisch
• Einband: Hardcover