Originaltitel:
Effective Theories in Programming Practice
Inhalt des Buches:
Mengenlehre, Logik, diskrete Mathematik und grundlegende Algorithmen (zusammen mit ihrer Korrektheit und Komplexitätsanalyse) werden für Computerfachleute immer nützlich bleiben und müssen von Studenten verstanden werden, die erfolgreich sein wollen. Dieses Lehrbuch erklärt eine Reihe dieser grundlegenden Algorithmen für Programmierstudenten in einer knappen, aber präzisen Weise. Das Buch enthält das nötige Hintergrundmaterial, um die Erklärungen zu verstehen und um solche Erklärungen für andere Algorithmen zu entwickeln.
Der Autor zeigt, dass Klarheit und Einfachheit nicht dadurch erreicht werden, dass man Formalismen vermeidet, sondern indem man sie richtig einsetzt. Das Buch ist in sich abgeschlossen und setzt lediglich mathematische Grundkenntnisse aus der Oberstufe und Grundkenntnisse im Schreiben von Programmen voraus. Es setzt keine Vertrautheit mit einer bestimmten Programmiersprache voraus.
Beginnend mit grundlegenden Konzepten von Mengen, Funktionen, Relationen, Logik und Beweistechniken, einschließlich Induktion, wird der notwendige mathematische Rahmen für Schlussfolgerungen über die Korrektheit, Beendigung und Effizienz von Programmen mit Beispielen auf jeder Stufe eingeführt. Das Buch enthält die systematische Entwicklung, ausgehend von geeigneten Theorien, einer Vielzahl grundlegender Algorithmen im Zusammenhang mit Suche, Sortierung, Anpassung, graphenbezogenen Problemen, rekursiver Programmiermethodik und dynamischen Programmiertechniken, die in parallelen rekursiven Strukturen gipfeln.
Weitere Daten des Buches:
| ISBN: | 9781450399715 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Kauf:
Derzeit verfügbar, auf Lager.
