Concordancier multilingueUn concordancier multilingue est un outil informatique permettant de gérer des corpus parallèles. Par métonymie, le concordancier multilingue désigne aussi ces corpus. Un corpus parallèle est un ensemble de groupes de textes qui, deux à deux, dans chaque groupe, sont des traductions mutuelles. L'Acquis communautaire européen est un exemple où chaque groupe comporte un texte pour chacune des langues officielles de l'Union européenne. L'ensemble des groupes désignent les lois régissant la communauté européenne.
AllemandLallemand (autonyme : Deutsch, ) est l'une des langues indo-européennes appartenant à la branche famille des langues germaniques. Du fait de ses nombreux dialectes, l'allemand constitue dans une certaine mesure une langue-toit (Dachsprache). Son histoire, en tant que langue distincte des autres langues germaniques occidentales, débute au haut Moyen Âge, lors de la seconde mutation consonantique.
Interprétation (logique)En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement ; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.
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.
Formule atomiqueEn logique mathématique, une formule atomique ou atome est une formule qui ne contient pas de sous-formules propres. La structure d'une formule atomique dépend de la logique considérée, p. ex. en logique des propositions, les formules atomiques sont les variables propositionnelles. Les atomes sont les formules les plus simples dans un système logique et servent à construire les formules les plus générales.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Système métriqueLe système métrique est un système de mesure décimal adopté internationalement. Il est largement utilisé et, lorsqu'il est utilisé, c'est le seul ou le plus commun des systèmes de poids et de mesures. Il est maintenant connu sous le nom de système international d'unités (SI). Il est utilisé pour mesurer les choses quotidiennes telles que la masse d'un sac de farine, la taille d'une personne, la vitesse d'une voiture, et le volume de carburant dans son réservoir. Il est également utilisé dans la science, l'industrie et le commerce.
Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Arabe tunisienLarabe tunisien ou tunisien (تونسي, soit ) est un ensemble de dialectes arabes mutuellement intelligibles et rattachés à l'arabe maghrébin. Ils sont parlés principalement par les Tunisiens en tant que langue maternelle et vernaculaire, les quelque onze millions de personnes vivant en Tunisie, ainsi que par les Tunisiens établis à l'étranger. Il est généralement connu de ses locuteurs sous les noms de tounsi, ce qui signifie « tunisien », ou encore de derja (« langue familière, parlée ») afin de le distinguer de l'arabe standard, la langue officielle du pays.
Paire minimaleEn phonologie, le terme paire minimale désigne deux éléments en opposition du point de vue phonologique. Selon l’une des définitions, les éléments en opposition sont des mots dont le sens est différencié par un seul phone ou par des éléments prosodiques portés par un phone. Dans une autre vision, les deux éléments en opposition sont des phones différenciés par un seul de leurs traits, par exemple sourde ↔ voisée, et ces éléments produisent des paires minimales de mots.
