computer
Dizionario delle Scienze Fisiche (1996)
computer
computer 〈këmpiùtë〉 [s.ingl. Der. di to compute "calcolare", usato in it. come s.m.] [LSF] Denomin. ingl., peraltro di uso internazionale, dei calcolatori elettronici. ◆ [ANM] [INF] C. algebra: [...] lo stesso che manipolazione algebrica ...
Leggi Tutto
Newell, Allen
Enciclopedia on line
Matematico e informatico statunitense (San Francisco 1927 - Pittsburgh 1992). Prof. di computer science alla Carnegie-Mellon University (1967), ha dato importanti contributi in intelligenza artificiale, [...] simulando con H. A. Simon e J. C. Shaw il pensiero umano con processi informatici e dimostrando così, mediante l'elaborazione di diversi teoremi del calcolo, predicati del primo ordine della logica matematica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsività
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] possibilità è utile quando, per un qualunque motivo, non si voglia o non si sappia affidare ogni parte di un calcolo al computer.
Due problemi si dicono dello stesso grado se ciascuno si può risolvere usando l'altro come oracolo (ed essi hanno quindi ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Computazionali, metodi
Enciclopedia della Scienza e della Tecnica (2007)
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] matematica e raramente risolubili per via analitica. In generale, la loro soluzione non ammette una rappresentazione in forma esplicita: basti pensare a equazioni o sistemi non lineari (algebrici, differenziali ...
Leggi Tutto
CATEGORIA:
MATEMATICA APPLICATA
MATHEMATICA
Dizionario delle Scienze Fisiche (1996)
MATHEMATICA
MATHEMATICA [ANM] [INF] Nome di un sistema per la manipolazione algebrica e il calcolo al computer: v. manipolazione algebrica: III 619 a. ...
Leggi Tutto
CAM
Dizionario delle Scienze Fisiche (1996)
CAM
CAM 〈si-éi-èm o kèm, o, all'it., kam〉 [FTC] [ELT] [INF] Sigla dell'ingl. Computer Aided Manufacturing "produzione manifatturiera assistita dal calcolatore elettronico", denomin. di metodi nei quali [...] la produzione manifatturiera (prodotti meccanici, elettronici, ecc.) è programmata, guidata e controllata da calcolatori elettronici digitali, partic. diffusi ed efficaci in ambienti produttivi a elevato ...
Leggi Tutto
algoritmi
Enciclopedia dei ragazzi (2005)
algoritmi
Roberto Levi
Istruzioni per far funzionare da sole le macchine
Molte attività umane non si possono svolgere senza seguire precise indicazioni. Come le 'istruzioni per l'uso' spiegano il funzionamento [...] solo dopo che l'algoritmo sia stato tradotto in un programma, cioè in una serie di istruzioni scritte in un linguaggio comprensibile al computer. Il programma e i dati su cui deve operare sono registrati in un dispositivo di memoria, ma è l'unità di ...
Leggi Tutto
Wilkes, Maurice Vincent
Enciclopedia on line
Matematico britannico (Dudley 1913 - Cambridge 2010). Ricercatore presso i Cavendish Laboratories e pioniere nello sviluppo degli elaboratori elettronici, ha diretto il progetto e la costruzione dell'EDSAC, [...] (1951); Automatic digital computers (1956); Time-sharing computer systems (1968); The Cambridge CAP computer and its operating system (1968); Memoirs of a computer pioneer (1985); Computing perspectives (1995). Tra i premi ricevuti, si ricorda ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
L'Universo matematico
Frontiere della Vita (1998)
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] complessità delle proposizioni "R è casuale" e "R non è casuale" è troppo grande per essere tradotta dal sistema operativo del computer. Esse non possono essere né provate né confutate. Il teorema di Gödel è così dimostrato.
Fino a poco tempo fa la ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] altri due anelli.
Realizzata la prima memoria elettronica RAM di grande capacità. Si tratta di una memoria per personal computer, cosiddetta 'random access memory' (RAM, memoria ad accesso casuale), con una capacità d'informazione di 1 Mbit, ossia di ...
Leggi Tutto