La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] cellulare porta a fenomeni come la mancata disgiunzione meiotica nelle femmine di mammiferi; ciò implica una segregazione aberrante San Francisco, per la scoperta dei prioni, nuovo principio biologico di infezione.
1998
Nobel per la fisica
Robert B ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] gli atomi e le negazioni ¬A di atomi A. Una clausola è una disgiunzione A1 ⋁...⋁ An di letterali A1,...,An. L'interesse es. il procedimento di normalizzazione introdotto da Prawitz (1965) assolve in linea diprincipio − sebbene non efficientemente ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] completo di funzioni dello spazio su cui l'operatore H è definito. ◆ [ANM] Principio della c.: è il principio fondamentale schema di enunciato costruito nel linguaggio simbolico usando solo, quali connettivi, la negazione e la disgiunzione oppure ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...