Scienza indiana: periodo vedico. La matematica e l'astronomia nei testi vedici
Takao Hayashi
David Pingree
La matematica e l'astronomia nei testi vedici
Espressioni numeriche nei testi vedici
di Takao [...] figure geometriche, e inoltre reperire elementi sulla pratica della matematica. Il termine gaṇaka ('colui che calcola', 'calcolatore') compare nella Vājasaneyisaṃhitā (Raccolta propria dei Vājasaneyin; 30.20) e nel Taittirīyabrāhmaṇa (Brāhmaṇa della ...
Leggi Tutto
flessibile
flessìbile [agg. e s.m. Der. del lat. flexibilis "che si piega facilmente", dal part. pass. flexus di flectere "piegare"] [FTC] (a) Come s.m., nome generico di dispositivi tubolari, di vario [...] adattabili a usi diversi o a condizioni diverse d'impiego o a molteplici programmi operativi, spesso controllati da un calcolatore elettronico e allora caratterizzati, oltre che da un alto grado di automazione, anche dalla possibilità di variare in ...
Leggi Tutto
Sigla di discrete fourier transform, trasformata di Fourier discreta, ossia la restrizione all’insieme di numeri complessi xm, m=0, …, N−1, della trasformata di Fourier di una funzione f(x) (➔ trasformazione). [...] è quella di utilizzare le proprietà dell’esponenziale complesso, che compare nella trasformata di Fourier discreta, per calcolare quest’ultima attraverso p trasformate di Fourier discrete definite su N/p termini. Ciascuna di queste trasformate può ...
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 [...] un errore ≤1/2. Date A,B,C l'algoritmo crea un vettore x con valori 1 o −1 attribuiti a caso. Poi calcola i prodotti: A(Bx) e Cx. Se risulta A(Bx)=Cx allora dà risposta positiva (accetta), altrimenti dà risposta negativa (rifiuta). Chiaramente, se ...
Leggi Tutto
cancellazione
cancellazióne [Der. del lat. cancellare "chiudere con un cancello" e quindi "annullamento, estinzione"] [ELT] L'operazione mediante la quale s'annulla un segnale indesiderato: per es., [...] o, generic., cancellatori. ◆ [ELT] [INF] L'annullamento del contenuto di una memoria di un registratore o di un calcolatore. ◆ [FSD] Particolare fenomeno riguardante il potenziale di elettroni di conduzione: v. metallo: III 786 f. ◆ [ALG] Teoremi di ...
Leggi Tutto
simulatore
simulatóre [Der. del lat. simulator -oris "che simula", da simulare "rendere simile" (→ simulazione)] [FTC] [INF] (a) S. analogico: modello analogico di un dispositivo, una macchina, un impianto [...] oppure da un'opportuna rete elettrica o elettronica. (b) S. numerico: modello matematico per conseguire con un calcolatore elettronico gran parte degli scopi conseguibili relativ. alla simulazione di un determinato sistema (a esclusione di alcuni di ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] P ▷β N, allora esiste un Q tale che M ▷β Q ed N ▷β Q.
Si è già detto che il λ−calcolo costituisce una modellizzazione dei procedimenti di computo a un più alto livello della macchina a registri illimitati. In effetti esso ha ispirato la formulazione ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] Σ l'alfabeto con cui vengono rappresentati i dati d'ingresso, l'insieme di tutti i dati possibili è Σ* così che A calcola una funzione f da Σ* su {0,1}. Fissata un'arbitraria numerazione delle stringhe di Σ*, si può affermare che f è una funzione ...
Leggi Tutto
sorgente
sorgènte [s.f. dall'agg. sorgente, part. pres. di sorgere, der. del lat. surgere, sincope di subrigere "innalzare", comp. di sub- "sotto" e regere "reggere"] [LSF] La causa, l'oggetto e il luogo [...] e direttiva, ecc.) oppure nel tempo (s. continua o permanente, periodica, a impulsi, ecc.), ecc. ◆ [ELT] [INF] Nella tecnica dei calcolatori elettronici, codice scritto in un linguaggio ad alto livello che il compilatore traduce nel linguaggio del ...
Leggi Tutto
passo
passo [Der. del lat. passus -us "apertura delle gambe di chi cammina", dal part. pass. passus di pandere "aprire"] [LSF] La distanza corrispondente a un'apertura di gambe nel camminare e quindi [...] due punti omologhi successivi del filetto. ◆ [ELT][INF] P. di programma: la singola istruzione di un programma di un calcolatore elettronico. ◆ [ANM] Metodo a un p. e a vari p.: metodi di risoluzione delle equazioni differenziali ordinarie per via ...
Leggi Tutto
calcolatore
calcolatóre s. m. e agg. (f. -trice) [dal lat. calculator -oris «computista, maestro di calcolo»; nel sign. 3, è un calco dell’ingl. computer (v.)]. – 1. a. In senso generico, chi, o che, fa i calcoli: di un c., che sopra qualunque...