Cerca
Filters
Da Turing a Google. Computazione e programmazione - Data Edicola: 04/03/20
Prodotto attualmente non disponibile.

DA TURING A GOOGLE. COMPUTAZIONE E PROGRAMMAZIONE - Nel 1936, e dopo aver seguito percorsi separati e indipendenti, Alan Turing e Alonso Church diedero vita a una teoria su che cosa può essere calcolato e che cosa no. Questo volume è un’introduzione a tale teoria, conosciuta come «teoria della computabilità». A quasi un secolo dagli studi di Turing e Church, e dopo i contributi di Kurt Gödel e Stephen C. Kleene, tra gli altri, alcune costruzioni matematiche utilizzate nella citata teoria in accordo con le esigenze formali dell’epoca possono essere sostituite da altre molto più semplici, rendendo l’esposizione degli aspetti chiave più accessibile, ma non meno generale e rigorosa. Questa è stata la scelta dell’autore di questo libro, che utilizza moderni concetti di programmazione per spiegare i risultati più rilevanti della teoria della computazione.