10 relazioni: Lambda calcolo, Linguaggio di specifica, Linguaggio formale, Organizzazione internazionale per la normazione, Sistema dei tipi, Teoria assiomatica degli insiemi, Teoria degli insiemi di Zermelo-Fraenkel, Teoria del primo ordine, 1974, 2002.
Lambda calcolo
Il lambda calcolo o λ-calcolo è un sistema formale definito dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo.
Nuovo!!: Notazione Z e Lambda calcolo · Mostra di più »
Linguaggio di specifica
In informatica, un linguaggio di specifica è un linguaggio formale (o parzialmente tale) usato per descrivere un sistema software a un livello di astrazione superiore a quello dei linguaggi di programmazione.
Nuovo!!: Notazione Z e Linguaggio di specifica · Mostra di più »
Linguaggio formale
Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, cioè sopra un insieme finito di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.
Nuovo!!: Notazione Z e Linguaggio formale · Mostra di più »
Organizzazione internazionale per la normazione
L'Organizzazione internazionale per la normazione (in inglese International Organization for Standardization), abbreviazione ISO, è la più importante organizzazione a livello mondiale per la definizione di norme tecniche.
Nuovo!!: Notazione Z e Organizzazione internazionale per la normazione · Mostra di più »
Sistema dei tipi
In informatica, un sistema dei tipi è un framework sintattico per la classificazione di espressioni secondo i tipi che esse calcolano.
Nuovo!!: Notazione Z e Sistema dei tipi · Mostra di più »
Teoria assiomatica degli insiemi
La teoria degli insiemi è una branca della matematica sviluppata principalmente dal matematico tedesco Georg Cantor alla fine del XIX secolo.
Nuovo!!: Notazione Z e Teoria assiomatica degli insiemi · Mostra di più »
Teoria degli insiemi di Zermelo-Fraenkel
In matematica, e in particolare in logica matematica, la teoria degli insiemi di Zermelo-Fraenkel comprende gli assiomi standard della teoria assiomatica degli insiemi su cui, insieme con l'assioma di scelta, si basa tutta la matematica ordinaria secondo formulazioni moderne.
Nuovo!!: Notazione Z e Teoria degli insiemi di Zermelo-Fraenkel · Mostra di più »
Teoria del primo ordine
Nella logica matematica una teoria del primo ordine è un particolare sistema formale, cioè una teoria formale in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.
Nuovo!!: Notazione Z e Teoria del primo ordine · Mostra di più »
1974
Nessuna descrizione.
Nuovo!!: Notazione Z e 1974 · Mostra di più »
2002
È stato proclamato l'Anno internazionale delle montagne.
Nuovo!!: Notazione Z e 2002 · Mostra di più »