Turing z adnotacjami

Turing z adnotacjami: wycieczka z przewodnikiem po historycznym artykule Alana Turinga na temat obliczalności i maszyny Turinga
Autor	Karola Petzolda
Język	język angielski
Temat	Matematyka i informatyka
Gatunek muzyczny	Literatura faktu
Wydawca	John Wiley & Synowie
Data publikacji	2008
Typ mediów	Druk ( miękka )
Strony	372
ISBN	978-0-470-22905-7
OCLC	2008022829
Ułamek dziesiętny Deweya	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 obliczeniowych, z zastosowaniem do problemu Entscheidungs ”. Książka prowadzi czytelników zdanie po zdaniu przez artykuł Turinga, dostarczając wyjaśnień, dalszych przykładów, poprawek i informacji biograficznych. ^{[ potrzebne źródło ]}

Spis treści

Część I. Fundamenty
- Rozdział 1: Ten grobowiec trzyma Diofantosa
- 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: Znany również jako podprogramy
- Rozdział 8: Wszystko jest liczbą
- Rozdział 9: Maszyna uniwersalna
- Rozdział 10: Komputery i obliczalność
- Rozdział 11: O maszynach i ludziach
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: Poczęcie kontinuum
Część IV. I dalej
- Rozdział 17: Czy wszystko jest maszyną Turinga?
- Rozdział 18: Długi sen Diofantosa

Zobacz też

Alan Turing: Zagadka (1983)
Przewodnik Turinga (2017)

Linki zewnętrzne