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, [...] congettura è essenzialmente un risultato di finitezza sull'intersezione di una sottovarietà di una varietà semiabeliana con un sottogruppo di rango finito. La dimostrazione usa la teoria dei modelli, applicandola ai gruppi di rango di Morley finito ...
Leggi Tutto
sottogruppo
s. m. [comp. di sotto- e gruppo]. – Ciascuno dei gruppi minori in cui un gruppo è o può essere suddiviso: gruppi e s. sociali, economici, chimici. In matematica, sottoinsieme G di un gruppo G′, che, con la stessa operazione di...
sotto-
– È la prep. (e avv.) sotto, usata come prefisso per la formazione di molti composti nominali e verbali, in alcuni dei quali conserva il sign. e anche la funzione di preposizione (come negli avv. sottaceto, sottochiave, sottocosto,...