La scienza in Cina: l'epoca Song-Yuan. La matematica
Karine Chemla
Annick Horiuchi
Andrea Eberhard-Bréard
La matematica
La rinascita della matematica e la tarda tradizione settentrionale
di Karine [...] che i numeri e le equazioni lineari avevano avuto almeno fin dalla formazione del Canone Han. Si può supporre che il nuovo algoritmo abbia avuto l'effetto di rimodellare l'oggetto matematico che ne era alla base: le equazioni di secondo e terzo grado ...
Leggi Tutto
funzione computabile
funzione computabile altra denominazione di una → funzione calcolabile, una funzione cioè il cui valore possa essere effettivamente calcolato con un algoritmo. ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] da L. Löwenheim nel 1915 e D. Hilbert nel 1918), cioè il problema se, per una data teoria formale T, esista un algoritmo per determinare se una formula A sia o non sia un teorema di T. Per studiare tale problema occorreva trovare un corrispettivo ...
Leggi Tutto
frazione generatrice
frazione generatrice frazione che esprime un numero periodico come rapporto di due interi. Dato un numero periodico x, un algoritmo che permette di determinare la sua frazione generatrice [...] è il seguente:
a) si scrive il numero intero ottenuto omettendo la virgola e scrivendo le cifre del periodo solamente una volta;
b) si sottrae all’intero determinato in a) l’intero formato dalle cifre ...
Leggi Tutto
Cooley James William
Cooley 〈kùuli〉 James William [STF] (n. New York 1926) Matematico nel Centro di ricerche della Società IBM (1962). ◆ [ANM] Algoritmo di C.-Tukey: v. analisi armonica: I 131 c. ...
Leggi Tutto
rappresentazione
rappresentazione termine che indica genericamente la presentazione sotto una determinata forma di un oggetto, una procedura o una struttura matematica (→ algoritmo, rappresentazione [...] di un; → funzione, grafico di una; rappresentazione polare di un → numero complesso). I numeri, poi, hanno particolari rappresentazioni in un sistema di numerazione (→ sistema di numerazione posizionale) ...
Leggi Tutto
DivX
<divìks>. – Tecnologia per la compressione video nel formato digitale, creata da DivX, Inc. (precedentemente DivXNetworks, Inc.). Fa uso di un apposito algoritmo, basato e alternativo allo [...] standard MPEG-4 (Moving picture experts group-4), che permette di comprimere lunghi filmati in file di dimensioni molto ridotte mantenendo un’elevata qualità. Mediante appositi software, con tale tecnologia ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] È opportuno quindi notare che nel sistema MYCIN (e nei sistemi esperti in generale) è la macchina che costruisce l'algoritmo risolvente il problema, mentre è l'uomo che è invitato a eseguirlo. I sistemi esperti rappresentano un paradigma storicamente ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] in bit m, M=2m) sia dell’ordine del doppio di quella di N, ossia N2<M<2N2. La costruzione dell’algoritmo richiede uno spazio degli stati con la struttura di prodotto (tensore) di due spazi fattore, ciascuno dei quali in grado di contenere stati ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o di sistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] il massimo comun divisore di due numeri, e anche di due polinomi, attraverso un numero finito di operazioni di divisione: → algoritmo. ◆ [ALG] Connessione e.: v. connessione: I 725 f. ◆ [ALG] Geometria e.: quella basata sui postulati e gli assiomi di ...
Leggi Tutto
algoritmo
(ant. algorismo) s. m. [dal lat. mediev. algorithmus o algorismus, dal nome d’origine, al-Khuwārizmī, del matematico arabo Muḥammad ibn Mūsa del 9° sec. (così chiamato perché nativo di Khwarizm, regione dell’Asia Centrale)]. – 1....