SEGNALE
Mario Salerno
Elaborazione del segnale. - La nozione di s. è di grande rilevanza non soltanto nei vari settori della tecnologia dell'informazione, e in particolare nelle telecomunicazioni, nell'elettronica, [...] tipicamente s0=0), e poi ripetere il calcolo dell'espressione ricorsiva [1] per successivi valori di k, ottenendo un campione d'ingresso ek. L'espressione [1] rappresenta un algoritmo elementare relativo a un circuito numerico, che può essere ...
Leggi Tutto
Dispositivi neurali elettronici con funzioni specifiche
Joshua Alspector
(University of Colorado, Colorado Springs, Colorado, USA)
In questo saggio illustreremo le motivazioni che spingono a progettare [...] di output. Tale segnale viene quindi propagato all'indietro in modo ricorsivo, e determina i cambiamenti dei pesi.
Alcune scelte progettuali
Nel decidere quale algoritmo di apprendimento neurale utilizzare, in vista di una realizzazione analogica ...
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à [...] 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 del metodo ciclico.
Il cakravāla è un metodo ricorsivo che, con l'ausilio del polverizzatore, fornisce una ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] ' che allora si stabilì spinse in secondo piano lo stile numerico-algoritmico del tipo (b), uno stile che aveva caratterizzato la matematica europea e che in molti casi fortunati porta a una formula ricorsiva per le an. In questo modo si ottenevano in ...
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 [...] caso il problema P è decidibile, e una MT che lo risolve è detta algoritmo per P. Se L non è ricorsivo il problema è indecidibile e non ammette algoritmo di risoluzione: tra questi problemi dobbiamo però distinguere quelli corrispondenti a linguaggi ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] - in cui non sia riconoscibile alcun algoritmo generatore: è la 'incomprimibilità algoritmica' secondo Kolmogorov e Chaitin; nota una sistema viene scomposto, variabile per variabile, in modo ricorsivo. Di metodi di simulazione nel senso premesso si ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] solo in domini finiti e utilizzando come base il metodo ricorsivo di pensare.
Un ulteriore merito di Skolem sta nell un’arbitraria formula F della logica del primo ordine, esiste un algoritmo che permette di decidere se F è derivabile? È il cosiddetto ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] se, l’insieme delle relazioni del gruppo è ricorsivamente enumerabile, rendendo così esplicita l’analogia con i Yuri Matijasevic (1968), il quale prova che non esiste un algoritmo in grado di stabilire quando un polinomio a coefficienti interi ha ...
Leggi Tutto
regola ricorsiva
regola ricorsiva regola che, nella propria formulazione, “richiama sé stessa”. Tale richiamo non è tuttavia una sorta di circolo vizioso perché una regola ricorsiva definisce un oggetto [...] cui l’ultimo dato immesso è il primo a essere accessibile. Il vantaggio di utilizzare uno schema ricorsivo nella progettazione di un algoritmo consiste, quindi, nel limitato uso dei contatori, al contrario di quanto avviene per le procedure iterative ...
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 [...] la semplice relazione di ricorrenza C(n)=2C(n/2)+n, direttamente ricavabile dalla struttura ricorsiva dell'algoritmo. Ricordiamo, per maggiore chiarezza, che il costo di un algoritmo è O(f(n)) se esistono due costanti c ed n′ tali che per ogni ...
Leggi Tutto
ricorsivo
agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono ottenere dalle funzioni iniziali mediante...