L’articolo è stato aggiunto alla lista dei desideri
IBS.it, l'altro eCommerce
Cliccando su “Conferma” dichiari che il contenuto da te inserito è conforme alle Condizioni Generali d’Uso del Sito ed alle Linee Guida sui Contenuti Vietati. Puoi rileggere e modificare e successivamente confermare il tuo contenuto. Tra poche ore lo troverai online (in caso contrario verifica la conformità del contenuto alle policy del Sito).
Grazie per la tua recensione!
Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti
Tutti i formati ed edizioni
Promo attive (0)
Recensioni pubblicate senza verifica sull'acquisto del prodotto.
Importante è il problema della decisione di Hilbert (1928) di individuare un dato processo di calcolo in maniera algoritmica,ovvero meccanica, conducente ad un risultato. Così ci si poteva concentrare sulla formulazione di assiomi (algoritmo solo dimostrazione).Ogni teoria formale (Turing 1936) ha proposizioni indecibili, verità indimostrabili, per lui algoritmo diventa quel che si può scrivere in un programma per un calcolatore utilizzando un qualsiasi linguaggio universale:la macchina di Turing universale. Poi la o-macchina in grado di ricevere istruzioni non riproducibili attraverso algoritmi: rimangono però esclusi alcuni problemi indecidibili. Contributo metodologico su importante problema di teoria dei gruppi (1950) per sfruttare tutta l’informazione disponibile con un approccio bayesiano, che enfatizza come il grado di probabilità di un evento dipenda anche dal grado di fiducia assegnato al verificarsi dell’evento stesso, fiducia che può cambiare man mano che si acquisiscono ulteriori informazioni. T. poi ipotizzò meccanismi per modificare le connessioni in presenza di stimoli esterni: connettivismo, cc.dd. reti neuronali, con tecniche induttive: molteplici esempi di come il problema possa presentarsi ed elaborandolo in modo da ottenere un risolutore approssimato del problema stesso. Test di T. Problema della fermata: non si può descrivere una procedura generale ed effettiva per decidere se un programma qualsiasi sia in grado di portare a termine i propri calcoli o no (vedi scrittura antivirus nello spazio lasciato dalle volontarie “incompletezze”: si possono definire procedure generali per la decisione di proprietà rilevanti per i progettisti. Per es. si potrà decidere a priori, vale a dire senza eseguirne le istruzioni né attendere un tempo infinito, se la computazione terminerà per ogni possibile input. Problemi trattabili e intrattabili (vedi problema del commesso viaggiatore). Teoria del caos. Divulgativo con glossario e pagine scelte.
Un curioso racconto della storia di Alan Turing.
Lo consiglio a chi si approccia per la prima volta alla figura di Alan Turing e alle sue intuizioni. Discorsivo, fornisce spunti interessanti
Recensioni
Recensioni pubblicate senza verifica sull'acquisto del prodotto.
L'articolo è stato aggiunto al carrello
L’articolo è stato aggiunto alla lista dei desideri
Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.
Verrai avvisato via email sulle novità di Nome Autore