Accès plus rapide que le navigateur!
26 relations: Algèbre universelle, Analyse syntaxique, Arbre (mathématiques), Arbre (théorie des graphes), Arité, Énoncé, Calcul des prédicats, Calcul formel, Cambridge University Press, Ensemble dénombrable, Expression (informatique), Formule (mathématiques), Groupe (mathématiques), Induction structurelle, Jan Łukasiewicz, Lambda-calcul, Mot (mathématiques), Notations infixée, préfixée, polonaise et postfixée, Partage (programmation informatique), Prédicat (logique mathématique), Réécriture (informatique), Récursivité, Signature (logique), Théorie des catégories, Unification, Variable (mathématiques).
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!!: Terme (logique) et Algèbre universelle · Voir plus »
Analyse syntaxique
L' consiste à mettre en évidence la structure d'un texte, généralement une phrase écrite dans une langue naturelle, mais on utilise également cette terminologie pour l'analyse d'un programme informatique.
Nouveau!!: Terme (logique) et Analyse syntaxique · Voir plus »
Arbre (mathématiques)
En mathématiques, un arbre est la donnée d'un ensemble E et d'une relation symétrique R sur E telle que deux points distincts quelconques x et y de E soient reliés par un seul chemin injectif fini, ie n+1 points z0,...,zn de E distincts vérifiant x.
Nouveau!!: Terme (logique) et Arbre (mathématiques) · Voir plus »
Arbre (théorie des graphes)
En théorie des graphes, un arbre est un graphe acyclique et connexe.
Nouveau!!: Terme (logique) et Arbre (théorie des graphes) · Voir plus »
Arité
En mathématiques, l'arité d'une fonction, ou opération, est le nombre d'arguments ou d'opérandes qu'elle requiert.
Nouveau!!: Terme (logique) et Arité · Voir plus »
Énoncé
Un énoncé est l'unité linguistique fondamentale de la plupart des analyses modernes en linguistique et en philosophie du langage.
Nouveau!!: Terme (logique) et Énoncé · 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!!: Terme (logique) et Calcul des prédicats · Voir plus »
Calcul formel
Le calcul formel, ou parfois calcul symbolique, est le domaine des mathématiques et de l’informatique qui s’intéresse aux algorithmes opérant sur des objets de nature mathématique par le biais de représentations finies et exactes.
Nouveau!!: Terme (logique) et Calcul formel · Voir plus »
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Nouveau!!: Terme (logique) et Cambridge University Press · Voir plus »
Ensemble dénombrable
En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers.
Nouveau!!: Terme (logique) et Ensemble dénombrable · Voir plus »
Expression (informatique)
Dans les langages de programmation, une expression est un élément de syntaxe qui combine un ensemble de lexèmes retournant une valeur.
Nouveau!!: Terme (logique) et Expression (informatique) · 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!!: Terme (logique) et Formule (mathématiques) · Voir plus »
Groupe (mathématiques)
Les manipulations possibles du ''Rubik's Cube'' forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale.
Nouveau!!: Terme (logique) et Groupe (mathématiques) · 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!!: Terme (logique) et Induction structurelle · Voir plus »
Jan Łukasiewicz
Jan Łukasiewicz, né le à Léopol et mort le à Dublin, est un philosophe et logicien polonais, connu pour sa critique du principe de contradiction d'Aristote.
Nouveau!!: Terme (logique) et Jan Łukasiewicz · Voir plus »
Lambda-calcul
Le 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.
Nouveau!!: Terme (logique) et Lambda-calcul · Voir plus »
Mot (mathématiques)
En mathématiques ou en informatique théorique, un mot est une suite finie w d'éléments pris dans un ensemble A. L'ensemble A est appelé lalphabet, ses éléments sont appelés symboles ou lettres.
Nouveau!!: Terme (logique) et Mot (mathématiques) · 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!!: Terme (logique) et Notations infixée, préfixée, polonaise et postfixée · Voir plus »
Partage (programmation informatique)
En programmation, le partage de structures ou simplement le partage (en anglais sharing) est un mécanisme qui évite de copier des objets dupliqués.
Nouveau!!: Terme (logique) et Partage (programmation informatique) · 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!!: Terme (logique) et Prédicat (logique mathématique) · Voir plus »
Réécriture (informatique)
En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises.
Nouveau!!: Terme (logique) et Réécriture (informatique) · Voir plus »
Récursivité
La récursivité est une démarche qui fait référence à l'objet même de la démarche à un moment du processus.
Nouveau!!: Terme (logique) et Récursivité · 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!!: Terme (logique) et Signature (logique) · Voir plus »
Théorie des catégories
La théorie des catégories est l'étude des structures mathématiques et de leurs relations.
Nouveau!!: Terme (logique) et Théorie des catégories · Voir plus »
Unification
Unifier deux termes, c'est les rendre identiques en remplaçant les variables. En informatique et en logique, l'unification est un processus algorithmique qui, étant donnés deux termes, trouve une substitution qui appliquée aux deux termes les rend identiques.
Nouveau!!: Terme (logique) et Unification · Voir plus »
Variable (mathématiques)
Dans les mathématiques supérieures et en logique, une variable est un symbole représentant, a priori, un objet indéterminé.
Nouveau!!: Terme (logique) et Variable (mathématiques) · Voir plus »
