Accès plus rapide que le navigateur!
14 relations: Calcul des prédicats, Cambridge University Press, Congruence, Informatique théorique, Langage de programmation, Logique modale, Logique monadique du second ordre, Mu-calcul, Préordre de simulation, Relation binaire, Relation d'équivalence, Sémantique opérationnelle, Structure de Kripke, Système de transition d'états.
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!!: Bisimulation et Calcul des prédicats · 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!!: Bisimulation et Cambridge University Press · Voir plus »
Congruence
Pas de description.
Nouveau!!: Bisimulation et Congruence · Voir plus »
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Nouveau!!: Bisimulation et Informatique théorique · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Bisimulation et Langage de programmation · Voir plus »
Logique modale
En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités.
Nouveau!!: Bisimulation et Logique modale · 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!!: Bisimulation et Logique monadique du second ordre · Voir plus »
Mu-calcul
En logique mathématique et en informatique théorique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des opérateurs de points fixes.
Nouveau!!: Bisimulation et Mu-calcul · Voir plus »
Préordre de simulation
En informatique théorique un préordre de simulation est une relation entre systèmes de transition d'états associant des systèmes qui se comportent de la même façon au sens qu'un système simule l'autre.
Nouveau!!: Bisimulation et Préordre de simulation · Voir plus »
Relation binaire
En mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation.
Nouveau!!: Bisimulation et Relation binaire · Voir plus »
Relation d'équivalence
En mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété.
Nouveau!!: Bisimulation et Relation d'équivalence · Voir plus »
Sémantique opérationnelle
En informatique, la sémantique opérationnelle est l'une des approches qui servent à donner une signification aux programmes informatiques d'une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages de programmation).
Nouveau!!: Bisimulation et Sémantique opérationnelle · Voir plus »
Structure de Kripke
Une structure de Kripke est un modèle de calcul, proche d'un automate fini non déterministe, inventé par Saul Kripke.
Nouveau!!: Bisimulation et Structure de Kripke · Voir plus »
Système de transition d'états
En informatique théorique, un système de transition d'états est une forme de machine abstraite utilisée pour modéliser un ou des calcul(s).
Nouveau!!: Bisimulation et Système de transition d'états · Voir plus »
