Turing z przypisami -The Annotated Turing
Autor | Charles Petzold |
---|---|
Język | język angielski |
Przedmiot | Matematyka i informatyka |
Gatunek muzyczny | Literatura faktu |
Wydawca | John Wiley & Sons |
Data publikacji |
2008 |
Typ mediów | Drukuj ( miękka ) |
Strony | 372 |
ISBN | 978-0-470-22905-7 |
OCLC | 2008022829 |
511,3 / 52 22 | |
Klasa LC | QA267 .P48 |
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine to książka Charlesa Petzolda , opublikowana w 2008 roku przez John Wiley & Sons, Inc.
Petzold komentuje artykuł Alana Turinga „O liczbach obliczalnych, z zastosowaniem do Entscheidungsproblem ”. Książka prowadzi czytelników zdanie po zdaniu przez artykuł Turinga, dostarczając wyjaśnień, dalszych przykładów, poprawek i informacji biograficznych.
Spis treści
-
Część I. Fundamenty
- Rozdział 1: Ten grobowiec zawiera Diofantusa
- Rozdział 2: Irracjonalne i transcendentalne
- Rozdział 3: Wieki postępu
-
Część druga. Liczby obliczalne
- Rozdział 4: Edukacja Alana Turinga
- Rozdział 5: Maszyny w pracy
- Rozdział 6: Dodawanie i mnożenie
- Rozdział 7: Znane również jako podprogramy
- Rozdział 8: Wszystko jest liczbą
- Rozdział 9: Uniwersalna maszyna
- Rozdział 10: Komputery i obliczalność
- Rozdział 11: Maszyny i ludzie
-
Część III. Das Entscheidungsproblem
- Rozdział 12: Logika i obliczalność
- Rozdział 13: Funkcje obliczalne
- Rozdział 14: Główny dowód
- Rozdział 15: Rachunek lambda
- Rozdział 16: Tworzenie kontinuum
-
Część IV. I dalej
- Rozdział 17: Czy wszystko jest maszyną Turinga?
- Rozdział 18: Długi sen Diofantusa
Zobacz też
- Alan Turing: Enigma (1983)
- Przewodnik Turinga (2017)