F K Mahn (7 results)

Softcover. Condition: Gut. Mannheim, BI (1977). VII, 236 S. OKart. (Rücken leicht gebräunt, sonst gut erhalten).

Condition: Very Good. 185 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Condition: New. In English.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Turing-Maschinen und berechenbare Funktionen I: Präzisierung von Algorithmen.- 1. Naive Vorbetrachtungen.- 2. Motivierung und Definition von Turing-Maschinen.- Turing-Maschinen und berechenbare Funktionen II.- 3. Beispiele für Turing-Maschinen. Turing-Diagramme.- 4. Normierte Turing-Berechenbarkeit.- 5. Einfache Beispiele unentscheidbarer Mengen.- Turing-Maschinen und berechenbare Funktionen III.- 6. Eine universelle Turing-Maschine und das Aufzählungstheorem von Kleene.- Literatur I-III.- Aufzählbarkeit.- 1. Einleitung.- 2. Naive Sätze über aufzählbare Mengen.- 3. Turing-Aufzählbarkeit.- 4. Smullyan-Aufzählbarkeit.- 5. Smullyan- und Turing-Aufzählbarkeit.- 6. Die Nichtaufzählbarkeit der wahren arithmetischen Aussagen und die Unentscheidbarkeit der Arithmetik.- Literatur.- Entscheidungsproblem und Dominospiele.- 1. Zum Entscheidungsproblem der Prädikatenlogik. Teil 1.- 2. Ausdrücke, Präfixe, Präfixtypen. Durch solche Typen bestimmte Ausdrucksklassen.- 3. Erfüllbarkeit von Ausdrücken.- 4. Zum Entscheidungsproblem der Prädikatenlogik. Teil 2.- 5. Dominoprobleme.- 6. Die Definition des einer Turing-Tafel zugeordneten Eck-Dominospiels $${D_{{T^{,;}}}}D_T^0$$.- 7. Lemma: Wenn M(T) angesetzt auf das leere Band, unendlich lange läuft, ist das Eck-Dominospiel $${D_{{T^{,;}}}}D_T^0$$ gut.- 8. Lemma: Wenn das Eck-Dominospiel $${D_{{T^{,;}}}}D_T^0$$ gut ist, läuft M(T), angesetzt auf das leere Band, unendlich lange.- 9. Die Definition des einem Eck-Dominospiel $$D,;{D^0}$$ zugeordneten Ausdrucks $${alpha _{D,;{D^0}}}$$.- 10. Lemma: Wenn das Eck-Dominospiel $$D,;{D^0}$$ gut ist, dann ist $${alpha _{D,;{D^0}}}$$ erfüllbar.- 11. Lemma: Das Eck-Dominospiel $$D,;{D^0}$$ ist gut, wenn$${alpha _{D,;{D^0}}}$$ erfüllbar ist.- 12. Übergang zur engeren Prädikatenlogik.- 13. Ausblick auf die Ausdrucksklasse und das Diagonal-Dominoproblem.- Literatur.- Turing-Maschinen und zufällige 0-1-Folgen.- 1. Die Kolmogorovsche Komplexität endlicher 0-1-Wörter.- 2. Ein gescheiterter Versuch.- 3. Der Raum der unendlichen 0-1-Folgen.- 4. Zufällige unendliche 0-1-Folgen.- Literatur.- Namenverzeichnis.- Symbolverzeichnis. …

Condition: New.

LeatherBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. LeatherBound edition. Condition: New. Reprinted from 1863 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. A perfect gift for your loved ones. Pages: 33 NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 33.…

LeatherBound. Condition: NEW. LeatherBound edition. Condition: New. Reprinted from 1871 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. A perfect gift for your loved ones. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 60.…