Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] studiato il concetto di classe di complessità per le macchine diTuring. A tali studi hanno fatto seguito quelli di Manuel Blum e Albert per decidere se un dato numero è un numero primo (testdi primalità), un problema per il quale allora non era ...
Leggi Tutto
INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] consultazioni a distanza e l'esame congiunto dei risultati ditest diagnostici.
6. Le prospettive future
Gli sviluppi della arduo di tutta l'informatica, ben sintetizzato nella famosa formulazione del problema proposta dal matematico Alan Turing, uno ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1945-1960). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
Negli anni 1945-1946 fu resa pubblica la definizione di 'calcolatore [...] da un gruppo di lavoro di cui faceva parte Alan M. Turing (1912-1954), il quale ne redasse il manuale di programmazione; tra la progettazione e l'effettuazione ditest sulle armi nucleari; i microsecondi iniziali di una detonazione nucleare infatti ...
Leggi Tutto
modello linguistico di grandi dimensioni (LLM, Llm) loc. s.le m. Algoritmo di intelligenza artificiale che, processando massivamente una grande quantità di dati, utilizza tecniche di deep learning in vari àmbiti dell’elaborazione del linguaggio...
CAPTCHA
Sigla dell'ingl. Completely Automated Public Turing (test to tell) Computers (and humans) Apart ('test di Turing pubblico e automatico per distinguere i computer dagli esseri umani'), indicante in informatica un codice di sicurezza...