Includi: nessuno dei seguenti filtri
× Soggetto Linguaggio JavaScript
Includi: tutti i seguenti filtri
× Soggetto Elaboratori

Trovati 47 documenti.

Il calcolatore universale
Libri Moderni

Davis, Martin <1928-2023>

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
Libri Moderni

Frauenfelder, Mark

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!

L'estensione dell'intelligenza
Libri Moderni

Floridi, Luciano <1964->

L'estensione dell'intelligenza : guida all'informatica per filosofi / Luciano Floridi

Roma : Armando, copyr. 1996

Informatica per

L'informatica per la comunicazione
Libri Moderni

Verdicchio, Mario <1975->

L'informatica per la comunicazione / Mario Verdicchio

Angeli, 2015

Abstract: L'espressione "informatica per la comunicazione" sembra fare intendere che l'informatica aiuti i processi comunicativi. In realtà, la relazione tra la computazione di un computer e la comunicazione tra persone è molto più ricca e complessa di un semplice supporto. Questo libro ha l'obiettivo di illustrare i principi fondamentali che determinano il funzionamento di un computer non solo dal punto di vista della tecnologia in esso contenuta, ma anche delle diverse forme di comunicazione che esso permette, nonostante le restrizioni imposte dalla sua natura di artefatto per il calcolo.

Segreti, spie, codici cifrati
Libri Moderni

Giustozzi, Corrado - Monti, Andrea <1967-> - Zimuel, Enrico

Segreti, spie, codici cifrati : crittografia : la storia, le tecniche, gli aspetti giuridici / Corrado Giustozzi, Andrea Monti, Enrico Zimuel

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.

Informatica e diritto
Seriali

Informatica e diritto : studi e ricerche / [a cura dell'Istituto di documentazione giuridica del Consiglio nazionale delle ricerche]

Firenze : Le Monnier, 1975-1991 poi: Edizioni scientifiche italiane, 1992-

La Macchina e le dimostrazioni
Libri Moderni

Lolli, Gabriele <1942->

La Macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli

Bologna : Il mulino, copyr. 1987