Sprachen, Maschinen und klassisches Rechnen

Sprachen, Maschinen und klassisches Rechnen (M. Augusto Luis)

Originaltitel:

Languages, Machines, and Classical Computation

Inhalt des Buches:

Languages, machines, and classical computation ist ein neues Lehrbuch für Studenten zu den Themen Formale Sprachen und Automaten sowie Berechenbarkeit und Komplexität. Mit neu meinen wir mehr als seine kürzliche Veröffentlichung:

⬤ Es ist (noch) klarer um die Chomsky-Hierarchie herum strukturiert, die das Rückgrat des Buches bildet.

⬤ Es hat einen allgemeinen algorithmischen Ansatz, wobei viele zentrale Algorithmen gründlich und klar Schritt für Schritt beschrieben werden.

⬤ Eine Programmiersprache oder Software spielt darin keine Rolle, so dass die (mathematische) Allgemeinheit der verschiedenen Inhalte gewährleistet ist.

⬤ Es ist in gewisser Weise eine Rückkehr zu den ursprünglichen Lehrbuchansätzen der späten 1970er / frühen 1980er Jahre, die heute oft - zu Unrecht - als zu schwer für ein Undergraduate-Publikum angesehen werden.

Und,.

⬤ Nicht zuletzt berücksichtigt es die von anderen Lehrbüchern zu den oben genannten Themen weitgehend oder ganz ignorierte Tatsache, dass es sich heute als äußerst zweideutig erweist, von Rechnen zu sprechen, da sich viele andere Formen des Rechnens außerhalb dessen entwickelt haben, was wir als Turing-von-Neumann-Paradigma bezeichnen können.

Ein wesentlicher Bestandteil dieses Lehrbuchs ist eine große Auswahl an Übungen, die von einfachen Aufgaben über Forschungsprojekte bis hin zur Erkundung kreativer Fähigkeiten reichen.

Alle mathematischen Themen, die für ein zufriedenstellendes Verständnis der behandelten Inhalte notwendig sind, werden in einem Einführungskapitel behandelt, so dass es sich um ein weitgehend in sich geschlossenes Lehrbuch handelt.

Die vorliegende zweite Auflage korrigiert Ergänzungen und Errata, enthält sowohl verbesserte als auch neue Abbildungen, einen zusätzlichen Algorithmus und neu gestaltete Übungen.

Weitere Daten des Buches:

ISBN:9781848903005
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Vielwertige Logik: Eine mathematische und rechnerische Einführung. Zweite Auflage - Many-Valued...
Vielwertige Logiken sind Logiken, die mehr als die...
Vielwertige Logik: Eine mathematische und rechnerische Einführung. Zweite Auflage - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Sprachen, Maschinen und klassisches Rechnen - Languages, Machines, and Classical...
Languages, machines, and classical computation ist ein neues...
Sprachen, Maschinen und klassisches Rechnen - Languages, Machines, and Classical Computation
Computergestützte Logik: Band 1: Klassisches Deduktives Rechnen mit klassischer Logik. Zweite...
Obwohl eine Reihe neuerer technologischer...
Computergestützte Logik: Band 1: Klassisches Deduktives Rechnen mit klassischer Logik. Zweite Auflage - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Logische Folgerungen: Theorie und Anwendungen: Eine Einführung. 2. Auflage - Logical Consequences:...
Die Theorie der logischen Konsequenz ist von...
Logische Folgerungen: Theorie und Anwendungen: Eine Einführung. 2. Auflage - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Formale Logik: Klassische Probleme und Beweise - Formal Logic: Classical Problems and...
In der Logik geht es zweifellos um Beweise, aber...
Formale Logik: Klassische Probleme und Beweise - Formal Logic: Classical Problems and Proofs

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)