Mac OS 9Mac OS 9 est la dernière révision majeure du premier système d'exploitation des ordinateurs Macintosh d'Apple. Elle est sortie le . Mac OS 9 est très semblable à son prédécesseur Mac OS 8 et il peut être considéré comme une espèce de transition avant le passage à Mac OS X, dont toutefois l'architecture est très différente. C'est néanmoins la version la plus aboutie et la plus stable du Mac OS original : contrairement aux précédentes versions, est écrit entièrement en code compatible PowerPC, ce qui améliore son fonctionnement sur les Macintosh à base de processeur PowerPC, mais qui en contrepartie écarte les premiers Macintosh à base de Motorola 68000.
Mac ProLe Mac Pro est une station de travail 64 bits d'Apple. Il est présenté pour la première fois lors de la WWDC d’. Il remplace le Power Mac G5 dont il reprend le design, et signe la disparition de la dénomination Power Mac parmi les produits Apple. Le , Apple a mis à jour ses Mac Pro. Ces derniers pouvant accueillir deux processeurs Intel Xeon Nehalem cadencé jusqu'à . Le , Apple renouvelle sa gamme en intégrant de nouveaux processeurs Intel Xeon Westmere et la possibilité d'avoir jusqu'à douze cœurs à disposition.
Théorème fondamental de l'analyseEn mathématiques, le théorème fondamental de l'analyse (ou théorème fondamental du calcul différentiel et intégral) établit que les deux opérations de base de l'analyse, la dérivation et l'intégration, sont, dans une certaine mesure, réciproques l'une de l'autre. Il est constitué de deux familles d'énoncés (plus ou moins généraux selon les versions, et dépendant de la théorie de l'intégration choisie) : premier théorème : certaines fonctions sont « la dérivée de leur intégrale » ; second théorème : certaines fonctions sont « l'intégrale de leur dérivée ».
AppleApple Inc. ( « pomme » en anglais) (anciennement Apple Computer, Inc.) est une entreprise multinationale américaine qui crée et commercialise des produits électroniques grand public, des ordinateurs personnels et des logiciels. Parmi les produits les plus connus de l'entreprise se trouvent les ordinateurs Macintosh, l'iPod, l'iPhone et l'iPad, la montre Apple Watch, le lecteur multimédia iTunes ou des logiciels à destination des professionnels tels que Final Cut Pro et Logic Pro.
MacOSmacOS (auparavant Mac OS X – , puis OS X) est un système d’exploitation partiellement propriétaire développé et commercialisé par Apple depuis , dont la version la plus récente est macOS Ventura () pour la version actuelle lancée le 24 octobre 2022 et macOS Monterey (12) lancée le 25 octobre 2021 pour le grand public. Avec iOS, iPadOS, watchOS et tvOS, il fait partie des systèmes d'exploitation d'Apple. macOS est le successeur de Mac OS Classic, la principale série des systèmes d'exploitation d'Apple depuis .
Calcul différentielalt=|vignette| Le graphe d'une fonction arbitraire (bleu). Graphiquement, la dérivée de en est la pente de la droite orange (tangente à la courbe en ). En mathématiques, le calcul différentiel est un sous-domaine de l'analyse qui étudie les variations locales des fonctions. C'est l'un des deux domaines traditionnels de l'analyse, l'autre étant le calcul intégral, utilisé notamment pour calculer l'aire sous une courbe.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Traductionvignette|La Pierre de Rosette, qui a permis le déchiffrement des hiéroglyphes au . La traduction (dans son acception principale de traduction interlinguale) est le fait de faire passer un texte rédigé dans une langue (« langue source », ou « langue de départ ») dans une autre langue (« langue cible », ou « langue d'arrivée »). Elle met en relation au moins deux langues et deux cultures, et parfois deux époques.
Google TraductionGoogle Traduction (Google Translate) est un service de traduction automatique gratuit fourni par Google. Contrairement à d'autres services de traduction comme Babel Fish (supprimé en 2012), AOL et Yahoo! qui utilisent SYSTRAN, Google utilise son propre logiciel de traduction. Le service permet également la traduction de pages Web, même longues. Depuis , une limitation de caractères traduits est posée, mais elle n'affecte pas la traduction d'une page web via son URL.
Programme informatiqueUn programme informatique est un ensemble d'instructions et d’opérations destinées à être exécutées par un ordinateur. Un programme source est un code écrit par un informaticien dans un langage de programmation. Il peut être compilé vers une forme binaire ou directement interprété. Un programme binaire décrit les instructions à exécuter par un microprocesseur sous forme numérique. Ces instructions définissent un langage machine.
Traduction automatiqueLa traduction automatique désigne la traduction brute d'un texte entièrement réalisée par un ou plusieurs programmes informatiques. Dans le cas de la traduction d'une conversation audio, en direct ou en différé, on parle de transcription automatique. Un traducteur humain n’intervient pas pour corriger les erreurs du texte durant la traduction, mais seulement avant et/ou après. On la distingue de la traduction assistée par ordinateur où la traduction est en partie manuelle, éventuellement de façon interactive avec la machine.
TraductologieLa traductologie, en tant que science, étudie le processus cognitif et les processus linguistiques inhérents à toute reproduction (traduction) orale, écrite ou gestuelle, vers un langage, de l'expression d'une idée provenant d'un autre langage (signes vocaux (parole), graphiques (écriture) ou gestuels). Quand ce travail ne porte pas sur des textes, on parle aussi de « transposition intersémiotique » ou « transmutation » (Jakobson).
