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 [...] della struttura dei link tra pagine del Web. Una rassegna delle sfide poste dai moderni motori diricerca all'innovazione nel campo degli algoritmi è stata fornita da Monika R. Henzinger nel 2004.
Analisi della struttura del Web. - La struttura ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] sino a configurarsi come un vero e proprio programma diricerca. In primo piano, ora, sono soprattutto le algoritmo che ci dà q in funzione di A. Conseguenza immediata è che non esisterà un enunciato E0 che definisca la proprietà di essere di ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Diffusione e primi sviluppi del calcolo infinitesimale
Clara Silvia Roero
Diffusione e primi sviluppi del calcolo infinitesimale
Il decollo enigmatico [...] e algoritmicodi reciprocità dei due calcoli, senza rinunciare, in fondo, alla sicurezza che gli derivava dagli sviluppi in serie e dai metodi appresi precedentemente. Grandi non offrirà contributi originali alla ricerca o alla soluzione di problemi ...
Leggi Tutto
Biomatematica
Vincenzo Capasso
Nel Saggiatore (1623), Galileo Galilei sosteneva che «l’Universo […] è scritto in lingua matematica, e i caratteri sono triangoli, cerchi e altre figure geometriche […]; [...] e l’immagazzinamento di risorse alimentari. L’algoritmo che formalizza il loro comportamento prende il nome di ACO (Ant Colony Optimization), ed è stato introdotto nel 1992 da un gruppo diricercatori del Politecnico di Milano. È interessante ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] algoritmi, sviluppata da Alonzo Church (1903-1995) e Alan M. Turing (1912-1954) negli anni Trenta, permise ai matematici di studiare la logica di tali procedimenti ricorsivi e di dare quindi una formulazione precisa del problema. Grazie alle ricerche ...
Leggi Tutto
L'Eta dei Lumi: matematica. Gli sviluppi del calcolo in Gran Bretagna
Niccolò Guicciardini
Gli sviluppi del calcolo in Gran Bretagna
Un declino della matematica britannica?
Il metodo delle flussioni [...] le procedure algoritmiche sono fondate sulle procedure geometriche del Libro I. Secondo Maclaurin, l'algoritmodi Newton non è matematica francese godeva di uno stato di grazia; inoltre le grandi istituzioni diricerca e di insegnamento francesi (si ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] lineare, si possono definire algoritmidi complessità asintotica minore della classica eliminazione gaussiana. Dal 1970, a cominciare da un importante contributo di Shmuel Winograd (1970), si svilupparono ricerche sistematiche sui limiti inferiori ...
Leggi Tutto
FAGNANO (Fagnani, Toschi di Fagnano), Giulio Carlo
Ugo Baldini
Nacque a Senigallia (prov. di Ancona) il 26 sett. 1682 da Francesco e da Camilla Caterina Bartoli.
La sua biografia fino al 1752 e la storia [...] lavori, tutti di limitata estensione e mai manualistici o espositivi, ma diricerca (un elenco completo di Fagnano" sulla rettificazione delle differenze di infinite coppie di archi scelte su un'ellisse e un'iperbole); elaborazione di un algoritmo ...
Leggi Tutto
PINCHERLE, Salvatore
Enrico Rogora
PINCHERLE, Salvatore. – Nacque a Trieste l’11 marzo 1853 da Mosè ed Evelina Dörfles.
Di famiglia ebraica frequentò le scuole medie e il liceo Imperiale a Marsiglia, [...] cinque filoni principali diricerca: sistemi di funzioni e sviluppi di Legendre.
Pincherle estese queste proprietà a funzioni Xn che sono soluzioni di equazioni lineari alle differenze di ordine qualsiasi, e fu in grado di generalizzare l’algoritmo ...
Leggi Tutto
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] per i n. interi vale l’algoritmo, dovuto a Euclide, delle divisioni successive per la ricerca del MCD); inoltre è un anello principale (nel senso che ogni ideale di Z è principale ossia è costituito dai multipli di un elemento di Z); Z è poi anche un ...
Leggi Tutto
pregiudizio algoritmico loc. s.le m. (spec. al pl.) Contenuto etico o ideologico distorto o discriminatorio (per es. verso le fasce più fragili della popolazione) processato dall’algoritmo nella fase di raccolta massiva dei dati e poi generato...
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...