Andere Kunden interessierten sich auch für
![As duas filosofias exatas]( "As duas filosofias exatas")
As duas filosofias exatas23,99 €![Progettazione di algoritmi e complessità]( "Progettazione di algoritmi e complessità")
Progettazione di algoritmi e complessità29,99 €![Teoria degli automi e complessità degli stati, volume III]( "Teoria degli automi e complessità degli stati, volume III")
Teoria degli automi e complessità degli stati, volume III29,99 €![Dwie dok¿adne filozofie]( "Dwie dok¿adne filozofie")
Dwie dok¿adne filozofie23,99 €![Les deux philosophies exactes]( "Les deux philosophies exactes")
Les deux philosophies exactes23,99 €![Die zwei exakten Philosophien]( "Die zwei exakten Philosophien")
Die zwei exakten Philosophien35,90 €![The Two Exact Philosophies]( "The Two Exact Philosophies")
The Two Exact Philosophies24,99 €
La tecnologia è piena di parole, di persone che vogliono esprimere come funziona tutto. Ma non abbiamo mai modo di vedere se la tecnologia descritta esiste davvero o meno. Questo libro è un'opportunità per sperimentare di persona la realtà del Teorema di incompletezza di Gödel, la realtà della risoluzione dei problemi di logica, la realtà della dimostrazione nei nostri computer di come funziona la tecnologia. Ecco perché è principalmente un codice in Python 3.x commentato. Si tratta, semplicemente, di una configurazione ordinata di problemi logici da risolvere o di cui ottenere la migliore approssimazione in un tempo limitato.