Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] alla dialettica. Ma l’acquisizione e l’utilizzazione di questi testi fu lenta e graduale. Quando tra 9° e cui si deve l’elaborazionedi un simbolismo logico vicino a quello comune e la fondazione di una ‘scuola italiana’ di l. molto attiva tra ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] di Fritz Ullmann si afferma come il principale testodi riferimento della chimica industriale.
Introdotto il concetto di orbitale di , grazie anche all'utilizzazione pionieristica dielaboratori elettronici per analizzare i dati diffrattometrici ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] .
Pubblicazione delle Mineralogische Tabellen. Prima edizione del testodi Hugo Strunz nel quale i minerali sono classificati provvedono a una serie di misurazioni dirette. I dati ottenuti consentono dielaborare il primo modello, sufficientemente ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] per decidere se un dato numero è un numero primo (testdi primalità), un problema per il quale allora non era noto i ruoli (astratti) di: elemento dielaborazione primitivo, canali di ingresso, canale di uscita, interconnessioni. Secondo questa ...
Leggi Tutto
PIGNEDOLI, Antonio
Isabella Barbieri
PIGNEDOLI, Antonio. – Nacque a Correggio (Reggio nell’Emilia) il 23 luglio 1918 da Nino e da Maria Ballabeni.
Si laureò in fisica all’Università di Bologna il 20 [...] di calcolo dell’istituto matematico dotandolo di uno strumento allora avveniristico, l’elaboratore Olivetti ELEA 6001. Sempre nell’Università di diventare testidi riferimento per corsi universitari, ai trattati sulla diffusione dei neutroni e di ...
Leggi Tutto
elaborazione del linguaggio naturale (sigla NLP, Npl) loc. s.le f. Ramo dell'informatica e, in particolare, dell'intelligenza artificiale, che studia come programmare i computer perché analizzino e comprendano i dati del linguaggio naturale...
modello linguistico di grandi dimensioni (LLM, Llm) loc. s.le m. Algoritmo di intelligenza artificiale che, processando massivamente una grande quantità di dati, utilizza tecniche di deep learning in vari àmbiti dell’elaborazione del linguaggio...