Accès plus rapide que le navigateur!
49 relations: Algèbre de Boole à deux éléments, Algèbre universelle, Anticommutativité, Appartenance (mathématiques), Argument, Argument (informatique), Automate d'arbres, Étoile de Kleene, Binaire, Calcul des prédicats, Chiffrement homomorphe, Connecteur logique, Cup-produit, Datalog, Degré d'un polynôme, Encodage sémantique, Ensemble pointé, Fonction exponentielle double, Fonction variadique, Forme normale négative décomposable, Formule (mathématiques), Formule logique, Géographie généralisée, Induction structurelle, Interprétation (logique), Logique, Logique monadique du second ordre, Loi de composition, Négation logique, NC (complexité), Notations infixée, préfixée, polonaise et postfixée, Objet libre, Opérande, Opération, Opération ternaire, Prédicat (logique mathématique), Prolog, Règle d'élimination (logique), Relation (mathématiques), Relation ternaire, Relations en lojban, Signature (homonymie), Signature (logique), Structure (logique mathématique), Système de Thue, Terme (logique), Terminaison d'un système de réécriture, Théorie des modèles, Valence (linguistique).
Algèbre de Boole à deux éléments
En mathématiques et en algèbre abstraite, l'algèbre de Boole à deux éléments est l'algèbre booléenne dont l'univers B est le domaine booléen.
Nouveau!!: Arité et Algèbre de Boole à deux éléments · Voir plus »
Algèbre universelle
L'algèbre universelle est la branche de l'algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques: groupes, monoïdes, anneaux, espaces vectoriels, etc.
Nouveau!!: Arité et Algèbre universelle · Voir plus »
Anticommutativité
En mathématiques, l'anticommutativité est la propriété caractérisant les opérations pour lesquelles intervertir deux arguments transforme le résultat en son opposé.
Nouveau!!: Arité et Anticommutativité · Voir plus »
Appartenance (mathématiques)
Le symbole de l'appartenance. En mathématique ensembliste, l’ est une relation entre un élément et un ensemble, et également par abus de notations une relation entre un objet et une classe.
Nouveau!!: Arité et Appartenance (mathématiques) · Voir plus »
Argument
Cette page contient les pages d'homonymie de Argument et Arguments.
Nouveau!!: Arité et Argument · Voir plus »
Argument (informatique)
En informatique, les arguments sont les données traitées par une fonction.
Nouveau!!: Arité et Argument (informatique) · Voir plus »
Automate d'arbres
En informatique théorique, plus précisément en théorie des langages, un automate d'arbre est une machine à états qui prend en entrée un arbre, plutôt qu'une chaîne de caractères pour les automates plus conventionnels, comme les automates finis.
Nouveau!!: Arité et Automate d'arbres · Voir plus »
Étoile de Kleene
L'étoile de Kleene, parfois appelée fermeture de Kleene ou encore fermeture itérative, est, en théorie des langages, un opérateur unaire utilisé pour décrire les langages formels.
Nouveau!!: Arité et Étoile de Kleene · Voir plus »
Binaire
Pas de description.
Nouveau!!: Arité et Binaire · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, 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.
Nouveau!!: Arité et Calcul des prédicats · Voir plus »
Chiffrement homomorphe
En cryptographie, un algorithme de chiffrement homomorphe est un système possédant des caractéristiques algébriques qui lui permettent de commuter avec certaines opérations mathématiques, c'est-à-dire qu'il permet d'effectuer lesdites opérations sur des données chiffrées sans avoir à les déchiffrer d'abord.
Nouveau!!: Arité et Chiffrement homomorphe · Voir plus »
Connecteur logique
En logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions.
Nouveau!!: Arité et Connecteur logique · Voir plus »
Cup-produit
En topologie algébrique (une branche des mathématiques), le cup-produit est une opération binaire définie sur les groupes de cohomologie qui permet d'assembler des cocycles.
Nouveau!!: Arité et Cup-produit · Voir plus »
Datalog
Datalog est un langage de requête et de règles pour les bases de données déductives.
Nouveau!!: Arité et Datalog · Voir plus »
Degré d'un polynôme
En algèbre commutative, le degré d'un polynôme (en une ou plusieurs indéterminées) est le degré le plus élevé de ses termes lorsque le polynôme est exprimé sous sa forme canonique constituée d'une somme de monômes.
Nouveau!!: Arité et Degré d'un polynôme · Voir plus »
Encodage sémantique
Un encodage sémantique est une traduction entre deux langages formels.
Nouveau!!: Arité et Encodage sémantique · Voir plus »
Ensemble pointé
En mathématiques, un ensemble pointé est un ensemble X avec un élément distingué x_0\in X, qui est appelé le point de base.
Nouveau!!: Arité et Ensemble pointé · Voir plus »
Fonction exponentielle double
Une fonction exponentielle double est une fonction exponentielle dont l’exposant est lui-même une fonction exponentielle.
Nouveau!!: Arité et Fonction exponentielle double · Voir plus »
Fonction variadique
En programmation informatique, une fonction variadique est une fonction d'arité indéfinie, c'est-à-dire qui accepte un nombre variable de paramètres.
Nouveau!!: Arité et Fonction variadique · Voir plus »
Forme normale négative décomposable
En logique propositionnelle, dans le cadre de la compilation de connaissance, une fonction booléenne est passée d'un langage de représentation standard (par exemple une représentation CNF) vers un langage cible plus adapté pour répondre aux futures requêtes sur la fonction.
Nouveau!!: Arité et Forme normale négative décomposable · Voir plus »
Formule (mathématiques)
En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines.
Nouveau!!: Arité et Formule (mathématiques) · Voir plus »
Formule logique
En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage.
Nouveau!!: Arité et Formule logique · Voir plus »
Géographie généralisée
En théorie de la complexité, géographie généralisé est un problème PSPACE-complet classique.
Nouveau!!: Arité et Géographie généralisée · Voir plus »
Induction structurelle
En mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets.
Nouveau!!: Arité et Induction structurelle · Voir plus »
Interprétation (logique)
En logique, une interprétation est une attribution de sens aux symboles d'un langage formel.
Nouveau!!: Arité et Interprétation (logique) · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Arité et Logique · Voir plus »
Logique monadique du second ordre
En logique monadique du second ordre, il y a des variables du premier ordre (x, y, etc.) qui représentent des éléments du domaine et des variables du second ordre (A, Z, etc.) qui représentent des sous-ensembles d'éléments. En logique mathématique et en informatique théorique, la logique monadique du second ordre (abrégé en MSO pour monadic second order) est l'extension de la logique du premier ordre avec des variables dénotant des ensembles.
Nouveau!!: Arité et Logique monadique du second ordre · Voir plus »
Loi de composition
En mathématiques, et plus précisément en algèbre générale, étant donné deux ensembles E et F, une loi de composition (ou loi tout court) sur E est soit une application de F × E dans E, soit une application de E × F dans E. Autrement dit, c'est une opération binaire pour laquelle l'ensemble E est stable.
Nouveau!!: Arité et Loi de composition · Voir plus »
Négation logique
En logique et en mathématiques, la négation est un opérateur logique unaire.
Nouveau!!: Arité et Négation logique · Voir plus »
NC (complexité)
En théorie de la complexité, un domaine de l'informatique théorique, NC (pour) est une classe de complexité faisant intervenir le parallélisme.
Nouveau!!: Arité et NC (complexité) · Voir plus »
Notations infixée, préfixée, polonaise et postfixée
Les notations infixée (ou infixe), préfixée (ou préfixe) et postfixée (ou postfixe) sont des formes d'écritures d'expressions algébriques qui se distinguent par la position relative qu'y prennent les opérateurs et leurs opérandes.
Nouveau!!: Arité et Notations infixée, préfixée, polonaise et postfixée · Voir plus »
Objet libre
En mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale.
Nouveau!!: Arité et Objet libre · Voir plus »
Opérande
En mathématiques, dans une expression décrivant une opération, chacun des éléments sur lesquels s'applique l’opération est appelé un opérande.
Nouveau!!: Arité et Opérande · Voir plus »
Opération
Une opération peut désigner plusieurs choses différentes dans plusieurs domaines.
Nouveau!!: Arité et Opération · Voir plus »
Opération ternaire
En mathématiques, une opération ternaire est une opération ''n''-aire avec n.
Nouveau!!: Arité et Opération ternaire · Voir plus »
Prédicat (logique mathématique)
En logique mathématique, un prédicat d'un langage est une propriété des objets du domaine considéré (l'univers du discours) exprimée dans le langage en question.
Nouveau!!: Arité et Prédicat (logique mathématique) · Voir plus »
Prolog
Prolog est un langage de programmation logique.
Nouveau!!: Arité et Prolog · Voir plus »
Règle d'élimination (logique)
Les règles d'élimination des connecteurs (à savoir, la disjonction, la conjonction, l'implication, la négation, etc.) sont des règles d'inférence que l'on trouve en déduction naturelle.
Nouveau!!: Arité et Règle d'élimination (logique) · Voir plus »
Relation (mathématiques)
Une relation entre objets mathématiques d'un certain domaine est une propriété qu'ont, ou non, entre eux certains de ces objets; ainsi la relation d'ordre strict, notée « Voir par exemple, p. 36.
Nouveau!!: Arité et Relation (mathématiques) · Voir plus »
Relation ternaire
En mathématiques, une relation ternaire est une relation d'arité 3, de même que les relations binaires, plus courantes, sont d'arité 2.
Nouveau!!: Arité et Relation ternaire · Voir plus »
Relations en lojban
La relation en lojban, ou brivla, est la catégorie grammaticale unique par laquelle sont traduits les mots « pleins », c'est-à-dire les catégories grammaticales porteuses de sémantique: noms, verbes, adjectifs ou adverbes.
Nouveau!!: Arité et Relations en lojban · Voir plus »
Signature (homonymie)
La signature est une marque autographe permettant d'identifier son auteur et témoigner du caractère authentique (lettre) ou valider le contenu (contrat, traité de paix) ou l'œuvre (tableau) auquel elle se rapporte.
Nouveau!!: Arité et Signature (homonymie) · Voir plus »
Signature (logique)
En calcul des prédicats et en algèbre universelle, une signature est une liste de symboles de constante, de fonction ou de relation, chacun ayant une arité.
Nouveau!!: Arité et Signature (logique) · Voir plus »
Structure (logique mathématique)
En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble.
Nouveau!!: Arité et Structure (logique mathématique) · Voir plus »
Système de Thue
En informatique théorique et en logique mathématique, un système de semi-Thue ou sa version symétrique, un système de Thue, est un système de réécriture de chaînes de caractères ou mots, appelé ainsi d'après son inventeur, le mathématicien norvégien Axel Thue.
Nouveau!!: Arité et Système de Thue · Voir plus »
Terme (logique)
Un terme est une expression de base du calcul des prédicats, de l'algèbre, notamment de l'algèbre universelle, et du calcul formel, des systèmes de réécriture et de l'unification.
Nouveau!!: Arité et Terme (logique) · Voir plus »
Terminaison d'un système de réécriture
La terminaison d'un système de réécriture \rightarrow_R porte sur un système de réécriture abstrait et affirme que toute chaîne de réduction de termes de la forme t_0 \rightarrow_R t_1 \rightarrow_R t_2 \rightarrow_R \ldots est finie.
Nouveau!!: Arité et Terminaison d'un système de réécriture · Voir plus »
Théorie des modèles
La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures.
Nouveau!!: Arité et Théorie des modèles · Voir plus »
Valence (linguistique)
La valence est un trait syntaxique des verbes et de quelques noms et adjectifs.
Nouveau!!: Arité et Valence (linguistique) · Voir plus »
Redirections ici:
Operation d'arite n, Opération d'arité n.
