Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
 

Q6

Indice Q6

Nessuna descrizione.

2 relazioni: Aritmetica di Robinson, Codice vettore IATA.

Aritmetica di Robinson

L'aritmetica di Robinson, denotata solitamente con Q in logica matematica, è una teoria del primo ordine, definita per la prima volta da Raphael M. Robinson nel 1950 che ha come assiomi propri una versione ridotta degli assiomi di Peano in cui è assente il principio di induzione e c'è l'aggiunta di un assioma che afferma che ogni numero naturale diverso da zero è successore di qualche altro numero (cosa che nell'aritmetica di Peano è dimostrabile per induzione).

Nuovo!!: Q6 e Aritmetica di Robinson · Mostra di più »

Codice vettore IATA

Il Codice vettore IATA è un codice di due lettere che la International Air Transport Association (IATA) assegna alle aerolinee mondiali.

Nuovo!!: Q6 e Codice vettore IATA · Mostra di più »

UscenteArrivo
Ehi! Siamo su Facebook ora! »