Divertissement en volLe divertissement en vol (en anglais, in-flight entertainment ou IFE) est l'ensemble des équipements, des logiciels et des contenus assurant la distraction des passagers à bord d'un aéronef. En 1936, le dirigeable LZ 129 Hindenburg offrait aux passagers un piano, un salon, une salle à manger, un fumoir et un bar pendant le vol de deux jours et demi entre l'Europe et l'Amérique. Après la Seconde Guerre mondiale, le divertissement en vol se limitait à des services de restauration et de boissons, ainsi que d'une projection de film occasionnel lors de longs vols.
Compagnie aériennethumb|Boeing 757 de Delta Air Lines, la plus grande compagnie aérienne commerciale au monde en 2009 thumb|MD-11 de FedEx Express, la plus grande compagnie aérienne de fret au monde en 2009 thumb|Boeing 737 de Southwest Airlines, la compagnie aérienne ayant le plus transporté de passagers au monde avec 101,9 millions en 2008 thumb|Boeing 777 d'American Airlines, la compagnie aérienne ayant le plus transporté de passagers sur kilomètres (Passager kilomètre transporté ou PKT) au monde avec 211,9 millions en 200
Turkish AirlinesTurkish Airlines (en turc Türk Hava Yolları Anonim Ortaklığı, Code AITA : TK ; code OACI : THY) est la compagnie aérienne nationale turque, ainsi que la principale dans le pays. La compagnie fait partie de Star Alliance. Elle a pour activité principale le transport de passagers, de fret ainsi que la maintenance et l'entretien des avions. Turkish Airlines est élue meilleure compagnie aérienne européenne depuis 2011, meilleure compagnie mondiale pour la restauration à bord en 2013 (par le site Foodbeast) et possède l'une des plus récentes flottes du monde avec un âge moyen des appareils de 6 ans.
Personnel navigant commercialLe personnel navigant commercial (abrégé PNC) est le personnel d'une compagnie aérienne ayant pour fonction d'assurer la sécurité des passagers à bord d'un aéronef, mais aussi l'accueil, le confort et la fidélisation de la clientèle. Dans les textes de la direction générale de l'Aviation civile (DGAC), on parle de membre d'équipage de cabine, terme résultant sûrement du calque anglais cabin crew. Pour le grand public et les médias, ce sont les termes dhôtesse de l'air (pour les femmes) et de steward (pour les hommes) qui sont couramment utilisés pour désigner la fonction de PNC.
Malaysia Airlinesthumb|Le siège social de MAS: Complex A Malaysia Airlines (MAS) (code AITA : MH ; code OACI : MAS) est la compagnie aérienne nationale de la Malaisie. Elle assure des vols intérieurs et internationaux sur cinq continents depuis ses plates-formes de correspondance à l'aéroport international de Kuala Lumpur et l'aéroport international de Kota Kinabalu. Elle est classée 5 étoiles par Skytrax. Elle a transporté plus de 13 millions de passagers en 2011, et intégré l'alliance Oneworld en 2013.
Modèle mathématiquevignette|Un automate fini est un exemple de modèle mathématique. Un modèle mathématique est une traduction d'une observation dans le but de lui appliquer les outils, les techniques et les théories mathématiques, puis généralement, en sens inverse, la traduction des résultats mathématiques obtenus en prédictions ou opérations dans le monde réel. Un modèle se rapporte toujours à ce qu’on espère en déduire.
Flight lengthIn aviation, the flight length or flight distance refers to the distance of a flight. Aircraft do not necessarily follow the great-circle distance, but may opt for a longer route due to weather, traffic, to utilise a jet stream, or to refuel. Commercial flights are often categorized into long-, medium- or short-haul by commercial airlines based on flight length, although there is no international standard definition.
Vol internationalvignette| Variété d'avions de ligne à l'aéroport de Tokyo Narita. Tous les avions représentés sont arrivés au Japon à la suite de vols internationaux. vignette| Des avions plus gros tels que l'Airbus A380 sont souvent utilisés pour les vols internationaux. Un vol international est une forme de vol commercial au sein de l'aviation civile où le départ et l'arrivée ont lieu dans différents pays.
AeroflotAeroflot — Compagnie aérienne russe () (en russe Аэрофлот — Российские Авиалинии) est la compagnie aérienne porte-drapeau de la Russie et la plus importante du pays. Elle opère depuis l'aéroport de Moscou-Cheremetievo. Créée le , c'est l'une des plus anciennes compagnies aériennes au monde. Durant la période soviétique, Aeroflot était la plus grande compagnie aérienne du monde. Aujourd'hui, l'État russe possède 51 % de la compagnie qui était membre à part entière de l'alliance Skyteam depuis .
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
