Mémoire de traductionUne mémoire de traduction est une base de données contenant des segments de texte ainsi que l'équivalent de ces segments dans une autre langue. Elle permet de stocker des segments de phrase et de les réutiliser. On parle dans ce cas de traduction assistée par ordinateur (ou TAO) plutôt que de traduction automatique, expression généralement utilisée pour définir les logiciels qui ne nécessitent pas l'intervention de traducteurs pour traduire le texte, mais qui sont toutefois beaucoup plus approximatifs.
Fonction OU exclusifLa fonction OU exclusif, souvent appelée XOR (eXclusive OR) ou disjonction exclusive, ou somme binaire en cryptographie où il est noté +, ou encore ⊻ en algèbre relationnelle, est un opérateur logique de l'algèbre de Boole. À deux opérandes, qui peuvent avoir chacun la valeur VRAI ou FAUX, il associe un résultat qui a lui-même la valeur VRAI seulement si les deux opérandes ont des valeurs distinctes. Cet opérateur est très utilisé en électronique, en informatique, et aussi en cryptographie du fait de ses propriétés intéressantes.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
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.
Négation logiqueEn logique et en mathématiques, la négation est un opérateur logique unaire. Il sert à nier une proposition. On note la négation d'une proposition P de diverses manières dont : ¬P (utilisée dans cet article); Non P ; Ces formulations se lisent « négation de P » ou plus simplement « non P ». Dans l'interprétation par des tables de vérité, la proposition ¬P est vraie quand P est fausse et elle est fausse quand P est vraie. La table de vérité s'écrit simplement : ou On remarque alors que où dénote une contradiction.
Free variables and bound variablesIn mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a variable may be said to be either free or bound. The terms are opposites. A free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively.
Auguste De MorganAuguste (ou Augustus) De Morgan ( à Madurai (Tamil Nadu) - ) est un mathématicien et logicien britannique, né en Inde. Il est le fondateur avec Boole de la logique moderne ; il a notamment formulé les lois de De Morgan. Né d'un père colonel dans l'armée au service de la compagnie des Indes orientales, sa mère est une descendante de James Dodson, qui établit une table d'antilogarithmes. À cause des révoltes, le colonel envoie sa famille en Angleterre alors que Auguste a sept mois.
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.
État du résultat globalL'état du résultat global dans la terminologie IFRS, également nommé état des résultats ou compte du résultat (abrégé CR), est un état financier synthétisant l'ensemble des charges et des produits d'une entreprise ou autre organisme ayant une activité marchande, pour une période donnée, appelée exercice comptable. Le compte de résultat est donc un document de synthèse, faisant partie des états financiers, et ayant pour fonction d'indiquer la performance de l'entreprise.
Comptes annuelsActuellement, en France, les comptes annuels rassemblent le bilan, le compte de résultat et l'annexe des comptes d'une entreprise, qui sont établis à la clôture de l'exercice, selon l'article 130-1 du plan comptable général. Les comptes annuels doivent être présentés selon des normes standardisées, afin d'assurer une comparabilité des comptes entre les personnes. Différentes méthodes de comptabilité sont possibles ; cependant le choix d'une méthode comptable doit être permanent, afin d'assurer la comparabilité des comptes d'une même entreprise dans le temps.
Langage dédiéUn langage dédié (en anglais, domain-specific language ou DSL) est un langage de programmation dont les spécifications sont conçues pour répondre aux contraintes d’un domaine d'application précis. Il s'oppose conceptuellement aux langages de programmation classiques (ou généralistes) comme Java ou C, qui tendent à traiter un ensemble de domaines. Néanmoins, aucun consensus ne définit précisément ce qu'est un langage dédié. Ce manque de définition précise sur la nature d'un langage dédié rend délicate la tâche d'établir un historique clair sur l'origine du concept.
Statement of changes in equityA statement of changes in equity and similarly the statement of changes in owner's equity for a sole trader, statement of changes in partners' equity for a partnership, statement of changes in shareholders' equity for a company or statement of changes in taxpayers' equity for government financial statements is one of the four basic financial statements. The statement explains the changes in a company's share capital, accumulated reserves and retained earnings over the reporting period.
