computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] , le grandezze che possono essere calcolate con un elaboratore adeguatamente programmato; la teoria della computabilità, o della ricorsività, studia i limiti teorici di un tale procedimento di calcolo. ◆ [INF] Funzione c.: funzione numerica di n ...
Leggi Tutto
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] Filtro non r.: v. immagini, elaborazione di: III 167 e. ◆ [ALG] [INF] Funzioni r. primitive: nella teoria della ricorsività, quelle che si possono ottenere dalle funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione ...
Leggi Tutto
Cibernetica
Ernest H. Hutten
di Ernest H. Hutten
Cibernetica
sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] ampio di funzione ricorsiva generale, in cui non appare più l'elemento iterativo (Herbrand-Gödel-Kleene). Il concetto di ricorsività generale precisa l'idea intuitiva secondo cui si può determinare senza ambiguità tutta la serie dei valori di una ...
Leggi Tutto
Informatica umanistica
Giovanni Adamo
Tullio Gregory
Parte introduttiva
di Giovanni Adamo
L'espressione informatica umanistica è stata coniata all'inizio degli anni Novanta sul modello di locuzioni [...] Study dell'università di Princeton: il nuovo calcolatore fu inaugurato nel giugno 1952. Anche a seguito delle ricerche sulla ricorsività e sulla macchina ideale condotte da A.M. Turing, von Neumann aveva maturato la convinzione che quel computer ...
Leggi Tutto
Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’i. si occupa della rappresentazione, dell’organizzazione e del trattamento automatico della informazione. [...] di un sistema di calcolo ad alta velocità: il nuovo elaboratore fu inaugurato nel 1952. A seguito delle ricerche sulla ricorsività e sulla macchina ideale condotte da Turing, von Neumann aveva maturato la convinzione che quel computer dovesse essere ...
Leggi Tutto
Reti di informazione e società
Tomás Maldonado
Nonostante il loro clamoroso impatto su molti aspetti della nostra società, le nuove tecnologie si trovano ancora in una fase incipiente. Anzi, gli storici [...] provenienti da canali diversi – visivi, auditivi e tattili – quanto piuttosto nella natura intermittente dell’esperienza, nella sua ricorsività, nel suo ripetersi frequentemente, così come nel suo incessante passaggio da un compito a un altro.
Appare ...
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. [...] , opportunamente codificata da una parola, e x è una parola tale che M si ferma se ha x come input.
Ricorsività
Le funzioni ricorsive si possono definire come funzioni sulle parole, ma è più semplice definirle sugli interi come funzioni numeriche f ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] , opportunamente codificata da una parola, e x è una parola tale che M si ferma se ha x come ingresso.
Ricorsività
Le funzioni ricorsive si possono definire come funzioni sulle parole, ma è più semplice definirle sugli interi come funzioni numeriche ...
Leggi Tutto
ricorsivita
ricorsività s. f. [der. di ricorsivo]. – In matematica e in logica matematica, la proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., teoria matematica che si propone lo studio, nell’ambito dei numeri naturali, di...
binormalita
binormalità s. f. [der. di binormale]. – Nella logica matematica, la condizione di ciò che è binormale, ed è una delle formulazioni equivalenti del concetto generale di ricorsività.