lambda-calcolo
lambda-calcolo o λ-calcolo o L-calcolo, modello di calcolo introdotto negli anni Trenta del secolo scorso da A. Church allo scopo di rappresentare formalmente il procedimento di computazione [...] .
La funzione φ si dice rappresentabile nel λ-calcolo. Per esempio, la funzione successore, che associa a ogni numeronaturale n il numeronaturale n + 1, può essere rappresentata dal termine λn λƒ λx((n)ƒ )(ƒ )x, come si osserva applicandolo ...
Leggi Tutto
vettore
vettore nozione suggerita originariamente dallo studio di grandezze fisiche, quali velocità, accelerazione, forza ecc. (dette grandezze vettoriali) la cui descrizione non può esaurirsi in un [...] campo K degli scalari può tuttavia essere un campo qualsiasi e la dimensione dello spazio può essere un qualunque numeronaturale n oppure infinita. Il concetto di vettore, nato nell’ambito delle scienze fisiche, si presta quindi a generalizzazioni ...
Leggi Tutto
infinito
Walter Maraschini
Un tutto grande come le sue parti
Ci sono cose, come le stelle, che sono enormi o lontanissime se confrontate con gli oggetti della vita quotidiana; altre che sono invece [...] e infinitamente piccolo
Il primo esempio di infinito a cui solitamente si pensa proviene dalla matematica ed è quello dei numerinaturali: 1, 2, 3, 4, 5, … I puntini di sospensione significano che si può continuare all'infinito, aggiungendo sempre un ...
Leggi Tutto
campo
campo struttura algebrica costituita da un insieme K* dotato di due operazioni binarie interne + e · : K × K* → K*, dette rispettivamente addizione e moltiplicazione, tali che: K* è un gruppo abeliano [...] campo K e indicato con il simbolo Char(K), definito come il minimo numeronaturale n tale che, per ogni elemento a di K, vale
Se tale numero esiste, allora esso è un numero primo; se non esiste, allora la caratteristica del campo è per definizione ...
Leggi Tutto
funzione (in un linguaggio di programmazione)
funzione (in un linguaggio di programmazione) parola riservata di un linguaggio di programmazione indicante una particolare procedura operativa, disponibile [...] delle variabili in ingresso.
Per esempio, se si vuole costruire una funzione che calcoli il fattoriale di un numeronaturale, la sequenza delle istruzioni in un linguaggio di progetto può essere la seguente:
La funzione variabile fatt conterrà ...
Leggi Tutto
record
record (ingl., letteralmente: «registrazione») in informatica, insieme di dati considerati come un’unica entità. Un record è una struttura ordinata di dati, individuata da un nome o da una chiave, [...] al più venti caratteri (il tipo di dato è, quindi, string) mentre il terzo può essere considerato un generico numeronaturale (integer). Nella dichiarazione si specificano i nomi delle variabili associate a ognuno dei campi e il tipo di dato cui ...
Leggi Tutto
cardinalita
cardinalità nozione introdotta da G. Cantor che generalizza il concetto intuitivo di “numero di elementi di un insieme” astraendo dalla natura e dall’ordine degli elementi stessi. La nozione, [...] di calcolo, in modo da estendere le operazioni di addizione, moltiplicazione e potenza definite nell’insieme dei numerinaturali (→ numero cardinale). Se A è un insieme finito di cardinalità n, allora il suo insieme delle parti ha cardinalità ...
Leggi Tutto
funzione calcolabile
funzione calcolabile funzione per la quale esiste una procedura di calcolo (→ algoritmo) che permette di determinarne, in un numero finito di passi, il valore in corrispondenza di [...] in uscita. Un esempio elementare di funzione calcolabile è la funzione successore che associa a ogni numeronaturale n il numero n + 1, suo successivo nell’ordinamento naturale. La funzione successore è indicata con il simbolo s e si ha, quindi: s(n ...
Leggi Tutto
Zermelo-Fraenkel, teoria di
Zermelo-Fraenkel, teoria di sistema di assiomi per la teoria degli → insiemi, noto anche come teoria ZF, logicamente equivalente a un’altra sistemazione assiomatica indicata [...] successore ponendo x′ al posto di x ( {x}. Ponendo poi 1 = 0′ e così via si costruisce l’insieme dei numerinaturali come il più piccolo insieme che contiene 0 ed è chiuso rispetto all’operatore successore;
• ZF 7 (assioma di fondazione):
dove x ...
Leggi Tutto
sistema di numerazione posizionale
sistema di numerazione posizionale sistema di numerazione in cui i numeri sono espressi mediante un numero finito di simboli, detti cifre, che assumono un valore diverso [...] scopi sono utilizzate basi diverse da 10 e nulla impedisce di usare come base un qualunque numeronaturale b ≥ 2, ottenendo così un sistema di numerazione b-esimale.
Sistema di numerazione b-esimale
Si fonda su un sistema di b simboli da 0 a b − 1 ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
naturale
agg. [dal lat. naturalis]. – 1. Della natura, che riguarda la natura o si riferisce alla natura, nel suo sign. più ampio e comprensivo: filosofia n., locuz. con la quale si indicò in passato e si indica tuttora in alcuni paesi l’indagine...