Simulazioni numeriche
Alfio Quarteroni
La modellistica matematica mira a descrivere in termini matematici i molteplici aspetti del mondo reale e la loro dinamica evolutiva. Essa costituisce la terza [...] a riconsiderare il loro approccio ponendo al centro della scena il problema in quanto tale e cercando modelli e algoritmi per trovarne soluzioni. Questo cambio di paradigma ha determinato l’avvento del calcolo scientifico, il cui scopo consiste nella ...
Leggi Tutto
numerico
numèrico [agg. (pl.m. -ci) Der. di numero] [ELT] [INF] Calcolatore n.: quello che opera su numeri, in contrapp. a calcolatore analogico, che opera su funzioni. ◆ [ANM] Calcolo n.: parte dell'analisi [...] matematica che s'occupa della ricerca di algoritmi per la risoluzione numerica di problemi quali l'approssimazione di funzioni e l'integrazione di equazioni differenziali ordinarie o alle derivate parziali, quando questi problemi non siano risolubili ...
Leggi Tutto
Matematico statunitense (n. Milwaukee 1938). Laureatosi presso il Case institute of technology (oggi Case western reserve university) di Cleveland, ha conseguito il PhD nel 1963 al California institute [...] alla Stanford University (dal 1968; emerito dal 1993), ha dato notevoli contributi all'informatica teorica, sviluppando numerosi algoritmi e tecniche di compilazione. A lui soprattutto si deve lo sviluppo del sistema informatico di scrittura TEX per ...
Leggi Tutto
tassonomia
tassonomìa [Comp. del gr. táxis "ordine" e -nomia] [FAF] Branca della scienza che studia i metodi con cui si ordinano in sistemi i dati, le conoscenze e le teorie via via acquisite. ◆ [PRB] [...] T. numerica: nell'elaborazione di dati numerici, il complesso delle metodologie di classificazione di essi, sviluppate come algoritmi particolari e come tecniche statistiche. ...
Leggi Tutto
La scienza in Cina: i Ming. Matematica e astronomia
Guo Shirong
Li Zhaohua
Alexei Volkov
Peter Engelfriet
Chu Pingyi
Matematica e astronomia
La perdita delle conoscenze matematiche e astronomiche
di [...] sottrazione, la moltiplicazione, la divisione, le frazioni, le proporzioni, l'uso dell'abaco), le rime per la formulazione degli algoritmi e i passi da percorrere nello studio della matematica. Sono inclusi in questo gruppo l'Esame dei 'Nove capitoli ...
Leggi Tutto
Scienza indiana: periodo classico. Matematica
Takao Hayashi
Matematica
'Gaṇita' ('matematica')
Prima dell'introduzione e diffusione dell'astrologia oroscopica e dell'astronomia matematica nella società [...] 'per zero' e 'di zero' diventano necessarie quando a=c e b=d rispettivamente; nella risoluzione di ax2+bx=c, secondo l'algoritmo fornito da Brahmagupta e altri, si rende necessaria una regola per la radice quadrata di 0 quando b2+4ac=0.
Brahmagupta ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] la (b, ac), che consta di due parole irriducibili derivate dalla stessa parola, si definisce 'coppia critica'.
Esiste un algoritmo che permette di completare un sistema di riscrittura e trasformarlo in un uno confluente senza alterare la relazione di ...
Leggi Tutto
intrattabile
intrattàbile [agg. Comp. di in- neg. e trattabile "che non può essere trattato"] [ALG] [ANM] Problema i.: quello del quale non è noto alcun procedimento di risoluzione con un tempo di calcolo [...] che cresca al più come una potenza del numero n dei casi trattati dall'algoritmo e che quindi va risolto per approssimazione; per es., v. algoritmi, teoria degli: I 102 f. ...
Leggi Tutto
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
calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] , scoperto da Alan Turing nel 1936, può essere formulato in termini intuitivi affermando che non esiste algoritmo che, presi come dati d’ingresso un altro algoritmo A arbitrario e dati arbitrari D per esso, stabilisca in tempo finito se il calcolo di ...
Leggi Tutto
algoritmista
s. m. [der. di algoritmo] (pl. -i). – Nome con cui sono indicati i seguaci, nell’Europa occidentale dei secoli 12°-13°, delle nuove regole di calcolo contenute nel trattato di al-Khuwārizmī: si distinguevano per l’abbandono dell’abaco...