4 relazioni: Aritmetica di Robinson, Codice vettore IATA, Quake III Arena, Videogioco.
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!!: Q3 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!!: Q3 e Codice vettore IATA · Mostra di più »
Quake III Arena
Quake III Arena è uno sparatutto in prima persona sviluppato da Id Software e pubblicato da Activision il 2 Dicembre 1999.
Nuovo!!: Q3 e Quake III Arena · Mostra di più »
Videogioco
Il videogioco è un gioco gestito da un dispositivo elettronico che consente di interagire con le immagini di uno schermo.
Nuovo!!: Q3 e Videogioco · Mostra di più »