Stiamo lavorando per ripristinare l'app di Unionpedia nel Google Play Store
UscenteArrivo
🌟Abbiamo semplificato il nostro design per una migliore navigazione!
Instagram Facebook X LinkedIn

Q6

Indice Q6

Nessuna descrizione.

Indice

  1. 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).

Vedere Q6 e Aritmetica di Robinson

Codice vettore IATA

Il Codice vettore IATA è un codice di due lettere che la International Air Transport Association (IATA) assegna alle aerolinee mondiali. Questo codice forma le prime due lettere del codice di un volo.

Vedere Q6 e Codice vettore IATA