Trovati 47 documenti.
Trovati 47 documenti.
Papà è connesso / Philippe De Kemmeter
Emme, 2016
Abstract: Se per caso incontrate un pinguino con un computer, niente paura: è il mio papà. Diciamo che ho un papà virtuale.
La Macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli
Bologna : Il mulino, copyr. 1987
L'estensione dell'intelligenza : guida all'informatica per filosofi / Luciano Floridi
Roma : Armando, copyr. 1996
Informatica per
Milano : Apogeo, copyr. 2003
Abstract: Impiegata per secoli quasi esclusivamente in ambiente militare e diplomatico, la crittografia è, da pochi anni, liberamente utilizzabile da chiunque per proteggere la riservatezza delle proprie comunicazioni. La diffusione delle reti di comunicazione ha reso attuale il problema della sicurezza e della tutela dall'uso illecito dei nostri dati personali. Questo libro, avvalendosi anche di un CD contenente oltre cento megabyte di programmi e documentazione tecnica, consente di capire la crittografia, apprenderne le tecniche, imparare a proteggersi, riconoscere la vulnerabilità dei programmi, proteggere la propria privacy.
Codice, 2012
Abstract: È possibile inventare una singola macchina che possa essere usata per calcolare qualsiasi sequenza computabile. Con queste parole Alan Turing, il leggendario matematico che riuscì a decrittare il codice enigma dei nazisti, immaginò nel 1936 l'esistenza di quello che per noi oggi è un oggetto quotidiano: il computer. Quasi vent'anni dopo, nel 1953, un gruppo di fisici e ingegneri guidati dal genio di John von Neumann diede forma alla profetica intuizione di Turing e costruì a Princeton il primo calcolatore programmabile, dedicato inizialmente all'industria militare. Con una potenza di calcolo di appena cinque kilobyte (la stessa che oggi serve a malapena a muovere il cursore sui nostri schermi) von Neumann e i suoi mossero i primi passi nel neonato universo digitale. E cambiarono il mondo, per sempre. Questa è la loro storia.
Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti
Milano : Adelphi, copyr. 2003
Abstract: Nel ricostruire la genesi dell'idea di calcolo o computazione l'autore, un pioniere della moderna informatica, prende le mosse da Leibniz e compone una galleria di personaggi chiave che comprende Boole, Frege, Cantor, Hilbert, Gödel e culmina in Turing. È interessante osservare, su un piano più tecnico, come Davis, pur pagando un doveroso tributo a Kurt Gödel, ponga, in maniera stimolante, la macchina universale di Turing alla base dei fenomeni di indecidibilità. Dopo la scoperta di Turing, il sogno di Leibniz, l'invenzione di un calcolo simbolico, una sorta di algebra del pensiero, si materializza non più in calcolatori in carne e ossa, ma in valvole e fili e poi in rame e silicio.
Il computer : storia illustrata / Mark Frauenfelder
Milano : Mondadori informatica, 2005
Abstract: Il computer non è altro che il frutto di molte menti umane che un po' per caso e un po' per necessità hanno messo a punto, casella per casella, lo splendido mosaico che è il computer. Correndo indietro negli anni e rivivendo le tappe fondamentali della storia del computer, questo libro illustrato descrive il boom informatico e i personaggi che hanno permesso a queste macchine di entrare negli uffici e nelle case di tutto il mondo, pronte ad essere utilizzate in complessi calcoli e nella vita quotidiana. E pensare che, poco più di cent'anni fa, un calcolatore programmabile era azionato da una macchina a vapore!