Chimica
Notazione che utilizza simboli e indici per dare informazioni relative alla composizione atomica e alla struttura di una molecola. Infatti a seconda del grado di dettaglio utilizzato è possibile [...] (per es.: f. di addizione, di bisezione ecc., in trigonometria) o dal matematico che per primo le stabilì (per es.: formule di Cardano, di Taylor ecc.).
In logicamatematica, f. ben formata (spesso abbreviata in f.b.f. o fbf), espressione di ...
Leggi Tutto
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, [...] , applicandola ai gruppi di rango di Morley finito, e rivela l'esistenza di profonde connessioni tra la logicamatematica e la geometria algebrica.
Costruzione di sottovarietà simplettiche. S.K. Donaldson sviluppa una procedura generale per produrre ...
Leggi Tutto
analisi
anàlisi [Der. del gr. análysis "scomporre in elementi"] [LSF] Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a scopo di studio; si oppone a sintesi, [...] su varietà): v. analisi non lineare. ◆ [ANM] A. non standard: disciplina nata negli anni '60 nell'ambito della logicamatematica per rendere rigoroso il metodo degli infinitesimi e degli infiniti: v. analisi non standard. ◆ [ANM] A. numerica: v ...
Leggi Tutto
V
V 〈vu, meno comunem. vi〉 [Forma maiusc. della lettera v] [ALG] [FAF] Nella logicamatematica, simb. del valore vero, in contrapp. a F, falso. ◆ [CHF] Simb. dell'elemento chimico vanadio. ◆ [MTR] [EMG] [...] Simb. di volt. ◆ [ALG] Vcn: simb. di uno spazio vettoriale di dimensione n sul campo c. ◆ [FSD] Vk è il simb. di un centro di colore: v. centri di colore: I 554 e. ◆ [STF] [FSP] V2: sigla del ted. Vergeltungswaffe-2 ...
Leggi Tutto
molecolare
molecolare [agg. Der. di molecola] [MCC] Qualifica delle grandezze descriventi lo stato dinamico di un sistema dal punto di vista lagrangiano (detto anche punto di vista m.), in quanto da [...] per integrare le equazioni del moto di particelle interagenti: v. dinamica molecolare. ◆ [ALG] [FAF] Enunciato m.: nella logicamatematica (per analogia con il signif. fisico), un enunciato formato da più enunciati semplici, detti invece enunciati ...
Leggi Tutto
atomico
atòmico [agg. Der. di atomo] [EMG] Batteria a.: batteria di celle fotovoltaiche eccitate dalla radiazione di un isotopo radioattivo beta, di solito 90Sr: v. fotovoltaico, effetto: II 752 f. ◆ [...] [ALG] [FAF] Enunciato a.: nella logicamatematica, enunciato non riducibile a enunciati più semplici, come, per es., "il triangolo è una figura geometrica". ◆ [STF] [CHF] Ipotesi a.: v. molecola: IV 87 d. ◆ [FAT] Massa a.: la massa di un atomo, ...
Leggi Tutto
F
F 〈èffe〉 [Forma maiusc. della lettera f] [ALG] [FAF] Nella logicamatematica, simb. di falso, usato partic. nelle tavole di verità. ◆ [ASF] Simb. di un tipo spettrale di stelle, diviso in 10 sottoclassi, [...] da F0 a F9: v. stella: V 622 a. ◆ [CHF] Simb. dell'elemento chimico fluoro. ◆ [FSD] Tipo di centro di colore: v. centri di colore: I 555 b. ◆ [GFS] Simb. della più alta delle regioni ionosferiche normali, ...
Leggi Tutto
A
A [Forma maiusc. della lettera a] [ALG] [FAF] Nella logicamatematica, simb. dell'operazione di disgiunzione. ◆ [ASF] Simb. di un tipo spettrale di stelle: v. stella: V 622 a. ◆ [CHF] Simb., oltre [...] ad Ar, dell'elemento chimico argon. ◆ [ELT] Simb. di una classe di amplificatori elettrici: v. amplificazione di segnali elettrici: I 119 b. ◆ [GFS] Simb. (A e Ap o Ap) di indici dell'attività geomagnetica, ...
Leggi Tutto
incompleto
incomplèto [agg. Comp. di in- neg. e completo] [CHF] Reazione i.: reazione che s'arresta prima della completa trasformazione delle sostanze reagenti. ◆ [ALG] [FAF] Teoria i.: nella logica [...] matematica, una teoria formalizzata si dice sintatticamente i. quando esiste una formula del suo linguaggio di cui non si può dimostrare né la verità né la falsità, e si dice semanticamente i. se esistono conseguenze dell'insieme dei suoi assiomi che ...
Leggi Tutto
Matematica
Operazione aritmetica mediante la quale si trova la somma di due o più numeri (detti addendi o termini). Nell’accezione più comune il termine a. si riferisce al caso dei numeri interi positivi. [...] che contiene tanto gli elementi della prima quanto quelli della seconda collezione ed essi soltanto (operazione logica di unione o somma logica). Tale collezione si chiama collezione somma: il suo numero cardinale (che dipende solo dai numeri ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
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...