Accès plus rapide que le navigateur!
48 relations: Algèbre de Boole (structure), Algorithme de Dijkstra, Associativité, Axiome, Équivalence logique, Étoile de Kleene, Chaîne vide, Complétude, Concaténation, Demi-anneau, Dexter Kozen, Distributivité, Droite réelle achevée, Endomorphisme, Ensemble, Ensemble fini, Ensemble vide, Entier naturel, Expression régulière, Grammaire non contextuelle, Idempotence, Inclusion (mathématiques), Involution (mathématiques), Itération, John Horton Conway, Langage rationnel, Langage récursif, Logique, Logique ternaire, Loi commutative, Loi de composition interne, Lois de De Morgan, Majorant ou minorant, Mathématiques, Matrice (mathématiques), Monoïde, Nombre réel, Objet libre, Préordre, Relation binaire, Relation d'ordre, Stephen Cole Kleene, Structure algébrique, Structure de contrôle, Théorie des catégories, Théorie des graphes, Treillis (ensemble ordonné), Union (mathématiques).
Algèbre de Boole (structure)
'''Exemple d'algèbre de Boole''': l'ensemble des parties de l'ensemble x, y, z illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique.
Nouveau!!: Algèbre de Kleene et Algèbre de Boole (structure) · Voir plus »
Algorithme de Dijkstra
En théorie des graphes, l'algorithme de Dijkstra (prononcé) sert à résoudre le problème du plus court chemin.
Nouveau!!: Algèbre de Kleene et Algorithme de Dijkstra · Voir plus »
Associativité
En mathématiques, et plus précisément en algèbre générale, une loi de composition interne ou loi interne \star sur un ensemble est dite associative si pour tous, et dans: En notant m:E\times E\to E,\;(x,y)\mapsto x\star y, l'associativité se traduit par le diagramme commutatif suivant: Parmi les lois associatives, on peut citer les lois d'addition et de multiplication des nombres réels, des nombres complexes et des matrices carrées, l'addition des vecteurs, et l'intersection, la réunion d'ensembles.
Nouveau!!: Algèbre de Kleene et Associativité · Voir plus »
Axiome
Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.
Nouveau!!: Algèbre de Kleene et Axiome · Voir plus »
Équivalence logique
En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q. En calcul des propositions, cela revient à dire que P et Q ont même valeur de vérité: P et Q sont soit toutes les deux vraies, soit toutes les deux fausses.
Nouveau!!: Algèbre de Kleene et Équivalence logique · 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!!: Algèbre de Kleene et Étoile de Kleene · Voir plus »
Chaîne vide
Dans la théorie des langages formels, la chaîne vide, noté ε, ne comporte aucune lettre.
Nouveau!!: Algèbre de Kleene et Chaîne vide · Voir plus »
Complétude
La notion de complétude est utilisée dans plusieurs domaines scientifiques.
Nouveau!!: Algèbre de Kleene et Complétude · Voir plus »
Concaténation
Le terme concaténation (substantif féminin), du latin, « avec », et, « chaîne, liaison », désigne l'action de mettre bout à bout au moins deux chaînes de caractères ou de péricopes.
Nouveau!!: Algèbre de Kleene et Concaténation · Voir plus »
Demi-anneau
En mathématiques, un demi-anneau, ou semi-anneau, est une structure algébrique (E, +, \times, 0, 1) qui a les propriétés suivantes.
Nouveau!!: Algèbre de Kleene et Demi-anneau · Voir plus »
Dexter Kozen
Dexter Campbell Kozen (né le) est un informaticien théoricien américain.
Nouveau!!: Algèbre de Kleene et Dexter Kozen · Voir plus »
Distributivité
En mathématiques, plus précisément en arithmétique et en algèbre générale, la distributivité d'une opération par rapport à une autre est une généralisation de la propriété élémentaire: « le produit d'une somme est égal à la somme des produits ».
Nouveau!!: Algèbre de Kleene et Distributivité · Voir plus »
Droite réelle achevée
En mathématiques, la droite réelle achevée est l'ensemble ordonné constitué des nombres réels auxquels sont adjoints deux éléments supplémentaires: un plus grand élément, noté et un plus petit élément, noté, chap.
Nouveau!!: Algèbre de Kleene et Droite réelle achevée · Voir plus »
Endomorphisme
Projection orthogonale sur une droite. Ceci est un exemple d'endomorphisme qui n'est pas un automorphisme. En mathématiques, un endomorphisme est un morphisme (ou homomorphisme) d'un objet mathématique dans lui-même.
Nouveau!!: Algèbre de Kleene et Endomorphisme · Voir plus »
Ensemble
Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.
Nouveau!!: Algèbre de Kleene et Ensemble · Voir plus »
Ensemble fini
En mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier.
Nouveau!!: Algèbre de Kleene et Ensemble fini · Voir plus »
Ensemble vide
En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément.
Nouveau!!: Algèbre de Kleene et Ensemble vide · Voir plus »
Entier naturel
En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).
Nouveau!!: Algèbre de Kleene et Entier naturel · Voir plus »
Expression régulière
Stephen Cole Kleene, dont les travaux ont fondé le concept d'expression régulière. En informatique, une expression régulière ou expression rationnelle ou expression normaleD'après la de la norme ISO/IEC 9075:1989 par le Conseil du Trésor du Canada et qui est par le Bureau de la traduction du gouvernement du Canada.
Nouveau!!: Algèbre de Kleene et Expression régulière · Voir plus »
Grammaire non contextuelle
En linguistique et en informatique théorique, une grammaire algébrique, ou grammaire non contextuelle, aussi appelée grammaire hors-contexte ou grammaire « context-free » est une grammaire formelle dans laquelle chaque règle de production est de la forme où X est un symbole non terminal et \alpha est une chaîne composée de terminaux et/ou de non-terminaux.
Nouveau!!: Algèbre de Kleene et Grammaire non contextuelle · Voir plus »
Idempotence
En mathématiques et en informatique, l'idempotence signifie qu'une opération a le même effet qu'on l'applique une ou plusieurs fois.
Nouveau!!: Algèbre de Kleene et Idempotence · Voir plus »
Inclusion (mathématiques)
En mathématiques, l’inclusion est une relation d'ordre entre ensembles.
Nouveau!!: Algèbre de Kleene et Inclusion (mathématiques) · Voir plus »
Involution (mathématiques)
En mathématiques, une involution est une application bijective qui est sa propre réciproque, c'est-à-dire par laquelle chaque élément est l'image de son image.
Nouveau!!: Algèbre de Kleene et Involution (mathématiques) · Voir plus »
Itération
En mathématiques, une itération désigne l'action de répéter un processus.
Nouveau!!: Algèbre de Kleene et Itération · Voir plus »
John Horton Conway
John Horton Conway, né le à Liverpool et mort le à New Brunswick (New Jersey), est un mathématicien britannique.
Nouveau!!: Algèbre de Kleene et John Horton Conway · Voir plus »
Langage rationnel
En théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes.
Nouveau!!: Algèbre de Kleene et Langage rationnel · Voir plus »
Langage récursif
En mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable.
Nouveau!!: Algèbre de Kleene et Langage récursif · 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!!: Algèbre de Kleene et Logique · Voir plus »
Logique ternaire
La logique ternaire, ou logique 3 états, est une branche du calcul des propositions qui étend l'algèbre de Boole, en considérant, en plus des états VRAI et FAUX, l'état INCONNU.
Nouveau!!: Algèbre de Kleene et Logique ternaire · Voir plus »
Loi commutative
En mathématiques, et plus précisément en algèbre générale, une opération binaire est commutative si l'ordre des opérandes ne changent pas le résultat.
Nouveau!!: Algèbre de Kleene et Loi commutative · Voir plus »
Loi de composition interne
En mathématiques, et plus précisément en algèbre générale, une loi de composition interne est une application qui, à deux éléments d'un ensemble E, associe un élément de E. Autrement dit, c'est une opération binaire par laquelle E est stable.
Nouveau!!: Algèbre de Kleene et Loi de composition interne · Voir plus »
Lois de De Morgan
Les lois de De Morgan sont des identités entre propositions logiques.
Nouveau!!: Algèbre de Kleene et Lois de De Morgan · Voir plus »
Majorant ou minorant
En mathématiques, soient (E, ≤) un ensemble ordonné et F une partie de E; un élément x de E est.
Nouveau!!: Algèbre de Kleene et Majorant ou minorant · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Algèbre de Kleene et Mathématiques · Voir plus »
Matrice (mathématiques)
upright.
Nouveau!!: Algèbre de Kleene et Matrice (mathématiques) · Voir plus »
Monoïde
En mathématiques, un monoïde est une structure algébrique utilisée en algèbre générale, définie comme un ensemble muni d'une loi de composition interne associative et d'un élément neutre.
Nouveau!!: Algèbre de Kleene et Monoïde · Voir plus »
Nombre réel
En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entièreCette partie entière par troncature, désignant les chiffres « à gauche de la virgule » ne correspond pas forcément à la partie entière par défaut: dans le cas d’un nombre réel négatif comme, la partie entière par défaut vaut.
Nouveau!!: Algèbre de Kleene et Nombre réel · 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!!: Algèbre de Kleene et Objet libre · Voir plus »
Préordre
En mathématiques, un préordre est une relation binaire réflexive et transitive.
Nouveau!!: Algèbre de Kleene et Préordre · 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!!: Algèbre de Kleene et Relation binaire · Voir plus »
Relation d'ordre
Une relation d'ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments de manière cohérente.
Nouveau!!: Algèbre de Kleene et Relation d'ordre · Voir plus »
Stephen Cole Kleene
Stephen Cole Kleene, né le à Hartford (Connecticut) et mort le à Madison (Wisconsin), est un mathématicien et logicien américain.
Nouveau!!: Algèbre de Kleene et Stephen Cole Kleene · Voir plus »
Structure algébrique
En mathématiques, une structure algébrique est définie axiomatiquement par une ou plusieurs opérations sur un ensemble (dites internes), éventuellement muni d’autres opérations (externes) dépendant d’autres ensembles, toutes ces opérations satisfaisant certaines relations telles que l’associativité, la commutativité ou la distributivité.
Nouveau!!: Algèbre de Kleene et Structure algébrique · Voir plus »
Structure de contrôle
En programmation informatique, une structure de contrôle est une instruction particulière d'un langage de programmation impératif pouvant dévier le flot de contrôle du programme la contenant lorsqu'elle est exécutée.
Nouveau!!: Algèbre de Kleene et Structure de contrôle · 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!!: Algèbre de Kleene et Théorie des catégories · Voir plus »
Théorie des graphes
tracé de graphe. La théorie des graphes est la discipline mathématique et informatique qui étudie les graphes, lesquels sont des modèles abstraits de dessins de réseaux reliant des objets.
Nouveau!!: Algèbre de Kleene et Théorie des graphes · Voir plus »
Treillis (ensemble ordonné)
En mathématiques, un treillis est une des structures algébriques utilisées en algèbre générale.
Nouveau!!: Algèbre de Kleene et Treillis (ensemble ordonné) · Voir plus »
Union (mathématiques)
Dans la théorie des ensembles, l'union ou réunion est une opération ensembliste de base.
Nouveau!!: Algèbre de Kleene et Union (mathématiques) · Voir plus »
Redirections ici:
Algebre de Kleene, Algèbre De Kleene, Algèbre de kleene.
