Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Installa
l'accesso più veloce di browser!
E-un annuncio gratuito

Notazione Z

La notazione Z è un linguaggio di specifica formale utilizzato per la descrizione e progettazione di sistemi informatici.

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ù »

Riorienta qui:

Z (linguaggio).

UscenteArrivo
Ehi! Siamo su Facebook ora! »