Anotovaný Turing -The Annotated Turing
 | |
| Autor | Charles Petzold |
|---|---|
| Jazyk | Angličtina |
| Předmět | Matematika a práce na počítači |
| Žánr | Literatura faktu |
| Vydavatel | John Wiley & Sons |
Datum publikace |
2008 |
| Typ média | Tisk ( brožovaný ) |
| Stránky | 372 |
| ISBN | 978-0-470-22905-7 |
| OCLC | 2008022829 |
| 511,3 / 52 22 | |
| LC třída | QA267 .P48 |
Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine je kniha Charlese Petzolda , publikovaná v roce 2008 společností John Wiley & Sons, Inc.
Petzold anotuje článek Alana Turinga „Na vypočítatelných číslech s aplikací na problém Entscheidungs “. Kniha vede čtenáře větu po větě prostřednictvím Turingova článku a poskytuje vysvětlení, další příklady, opravy a životopisné informace.
Obsah
-
Část I. Základy
- Kapitola 1: Tato hrobka drží Diophantus
- Kapitola 2: Iracionální a transcendentální
- Kapitola 3: Století pokroku
-
Část II. Vyčíslitelná čísla
- Kapitola 4: Vzdělávání Alana Turinga
- Kapitola 5: Stroje při práci
- Kapitola 6: Sčítání a násobení
- Kapitola 7: Známá také jako podprogramy
- Kapitola 8: Všechno je číslo
- Kapitola 9: Univerzální stroj
- Kapitola 10: Počítače a vyčíslitelnost
- Kapitola 11: Of Machines and Men
-
Část III. Das Entscheidungsproblem
- Kapitola 12: Logika a vypočítatelnost
- Kapitola 13: Vypočitatelné funkce
- Kapitola 14: Hlavní důkaz
- Kapitola 15: Lambda kalkul
- Kapitola 16: Koncipování kontinua
-
Část IV. A za
- Kapitola 17: Je všechno Turingův stroj?
- Kapitola 18: Dlouhý spánek Diophantus
Viz také
- Alan Turing: The Enigma (1983)
- Turingův průvodce (2017)