GRAMEGNA, Maria
Livia Giacardi
Nacque, ultima di cinque figli, a Tortona, presso Alessandria, l'11 maggio 1887 da Innocenzo, che gestiva una piccola fabbrica di pasta, e da Maria Cristina Agosta. Compì [...] .1906, New Haven 1910, pp. 1-150) avesse trattato le equazioni integro-differenziali con i metodi e i simboli della logicamatematica, i risultati della G. sono nuovi, al pari dei metodi.
Il 15 luglio 1910 la giovane conseguì pure il diploma della ...
Leggi Tutto
teoria dei grafi
Gilberto Bini
Lo studio delle proprietà combinatorie, topologiche, probabilistiche ecc. dei grafi, sviluppatosi come teoria matematica autonoma negli anni Trenta del Novecento a opera [...] Paul Erdös sui grafi casuali (random graphs), che introducono metodi probabilistici nello studio dei grafi e hanno trovato interessanti applicazioni anche nella teoria dei modelli.
→ Informatica teorica; Logicamatematica; Matematica: problemi aperti ...
Leggi Tutto
logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] x; per le rispettive tavole di verità e per i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG] [FAF] Teorema l.: nella logicamatematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante ...
Leggi Tutto
schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] continua di materia secondo una determinata geometria; si contrapp. a s. particellare. ◆ [ALG] [FAF] S. di assiomi: nella logicamatematica, un insieme finito di assiomi che viene rappresentato con un'unica formula, in cui compaiono uno o più simboli ...
Leggi Tutto
universo
univèrso [Der. del lat. universum, neutro sostantivato dell'agg. universus; nell'uso astronomico è nome proprio e quindi ha l'iniziale maiusc.] [ASF] L'insieme dei corpi celesti e dello spazio [...] considerati. ◆ [ASF] Età dell'U.: v. Universo: VI 419 f. ◆ [ALG] [FAF] Insieme u.: nella teoria degli insiemi e nella logicamatematica, l'insieme agli elementi del quale si applica l'operazione o la teoria considerata, in partic. un'operazione o una ...
Leggi Tutto
proposizione
proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logicamatematica, enunciazione [...] come legge delle p. inverse). ◆ [ALG] [FAF] Algebra, o calcolo, delle p., o calcolo degli enunciati: il calcolo algebrico logico nel quale, senza indagare sulla struttura delle singole p. semplici, si esamina come queste vengono collegate tra loro ...
Leggi Tutto
risolubile
risolùbile [agg. Der. del lat. resolubilis "che si può risolvere", dal part. pass. resolutus del lat. resolvere "sciogliere di nuovo"] [ALG] Equazione algebrica r. per radicali, o r. algebricamente: [...] e due dimensioni (v. modelli risolubili in meccanica statistica). ◆ [ALG] [FAF] Problema non r., o indecidibile: nella logicamatematica, problema logico che in linea di principio non ammette una soluzione generale: è tale, per es., il problema di ...
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
termine
tèrmine [Der. del lat. terminus "limite, confine"] [ALG] Ciascuno degli elementi sui quali opera una legge di composizione algebrica, come, per es., nell'aritmetica i t. di un'addizione sono [...] addendi, di una moltiplicazione i suoi fattori, di una frazione il numeratore e il denominatore. ◆ [ALG] [FAF] Nella logicamatematica, in una teoria formalizzata del primo ordine o di ordine superiore, ogni costante individuale (se ve ne sono), ogni ...
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...