Includi: nessuno dei seguenti filtri
× Soggetto Programmi SQL Server
Includi: tutti i seguenti filtri
× Soggetto Elaboratori

Trovati 48 documenti.

La cattedrale di Turing
Libri Moderni

Dyson, George

La cattedrale di Turing : le origini dell'universo digitale / George Dyson ; traduzione di Stefania De Franco e Gaia Seller

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
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!

Il mio primo libro di coding
Libri Moderni

Prottsman, Kiki

Il mio primo libro di coding : scopri il mondo della programmazione senza dover usare il computer / [scritto da Kiki Prottsman]

Apogeo, 2018

Abstract: Il mio primo libro di Coding insegna a capire semplici algoritmi e a scoprire e risolvere i primi bug. Le illustrazioni accompagnano nella lettura mentre il bambino può interagire con il libro scoprendo le finestre e scorrendo le linguette presenti in ogni pagina, pensate con lo scopo di accrescere le abilità nel risolvere problemi. Una soluzione facile e divertente per insegnanti, genitori e nonni che vogliono accompagnare i più piccoli nei primi passi nel mondo dell'informatica.

Papà è connesso
Libri Moderni

De Kemmeter, Philippe <1964->

Papà è connesso / Philippe De Kemmeter

Emme, 2018

Abstract: Se per caso incontrate un pinguino con un computer, niente paura: è il mio papà. Diciamo che ho un papà virtuale.

Maniac
Libri Moderni

Labatut, Benjamín <1980->

Maniac / Benjamín Labatut ; traduzione di Norman Gobetti

Adelphi, 2023

Abstract: Quando alla fine della seconda guerra mondia­le John von Neumann concepisce il MANIAC – un calcolatore universale che doveva, nel­le intenzioni del suo creatore, «afferrare la scienza alla gola scatenando un potere di cal­colo illimitato» –, sono in pochi a rendersi conto che il mondo sta per cambiare per sem­pre. Perché quel congegno rivoluzionario – parto di una mente ordinatrice a un tempo cinica e visionaria, infantile e «inesorabil­mente logica» – non solo schiude dinanzi al genere umano le sterminate praterie dell’in­formatica e dell’intelligenza artificiale, ma lo conduce sull’orlo dell’estinzione, liberan­do i fantasmi della guerra termonucleare. Che «nell’anima della fisica» si fosse annidato un demone lo aveva del resto già intuito Paul Eh­renfest, sin dalla scoperta della realtà quan­tistica e delle nuove leggi che governavano l’a­tomo, prima di darsi tragicamente la morte. Sono sogni grandiosi e insieme incubi tre­mendi, quelli scaturiti dal genio di von Neu­mann, dentro i quali Labatut ci sprofonda, lasciando la parola a un coro di voci: delle grandi menti matematiche del tempo, ma anche di familiari e amici che furono testi­moni della sua inarrestabile ascesa. Ci ritro­veremo a Los Alamos, nel quartier generale di Oppenheimer, fra i «marziani unghere­si» che costruirono la prima bomba atomi­ca; e ancora a Princeton, nelle stanze dove vennero gettate le basi delle tecnologie digi­tali che oggi plasmano la nostra vita. Infine, assisteremo ipnotizzati alla sconfitta del cam­pione mondiale di go, Lee Sedol, che soc­combe di fronte allo strapotere della nuova divinità di Google, AlphaGo. Una divinità ancora ibrida e capricciosa, che sbaglia, de­lira, agisce per pura ispirazione – a cui altre seguiranno, sempre più potenti, sempre più terrificanti. Con questo nuovo libro, che prosegue ideal­mente Quando abbiamo smesso di capire il mon­do, Labatut si conferma uno straordinario tessitore di storie, capace di trascinare il letto­re nei labirinti della scienza moderna, la­sciandogli intravedere l’oscurità che la nutre.

Impara il coding
Libri Moderni

McCue, Camille

Impara il coding / Camille McCue

Hoepli, 2017

Abstract: Sei pronto a liberare la creatività programmando? Tutto ciò di cui hai bisogno è un computer connesso a Internet, la versione gratuita del software MicroWorlds EX fornita con questo libro e i progetti divertenti che troverai all'interno! Segui i semplici passi proposti per creare giochi e programmi fatti da te. Space Race: realizza un gioco per guidare un astronauta attraverso i rottami spaziali; Ha Ha Headlines: crea un divertente generatore di titoli di news; Hungry BoBo: crea un animaletto digitale e prenditene cura.

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.