Contributions de 88.160.203.245
De 88.160.203.245 discuter journal des blocages journaux journal des abus
7 novembre 2012
- 11:487 novembre 2012 à 11:48 diff hist +79 Recherche:Théorie des matrices logiques/Concept de matrice logique Annulation des modifications 344773 de 88.160.203.245 (discussion)
- 11:167 novembre 2012 à 11:16 diff hist +43 Recherche:Théorie des matrices logiques/Application: calcul de la clique maximum d'un graphe →Application: calcul de la clique maximum d'un graphe
- 10:587 novembre 2012 à 10:58 diff hist +3 Recherche:Théorie des matrices logiques/Application: calcul de la clique maximum d'un graphe →Application: calcul de la clique maximum d'un graphe
- 10:577 novembre 2012 à 10:57 diff hist +47 Recherche:Théorie des matrices logiques/Application: calcul de la clique maximum d'un graphe →Application: calcul de la clique maximum d'un graphe
- 10:457 novembre 2012 à 10:45 diff hist +1 540 N Recherche:Théorie des matrices logiques/Application: calcul de la clique maximum d'un graphe Page créée avec « == Application: calcul de la clique maximum d'un graphe == Le problème de la clique maximum est l'un des piliers de la théorie de la... »
6 novembre 2012
- 18:566 novembre 2012 à 18:56 diff hist +40 Recherche:Théorie des matrices logiques/Application: coloriage d'un graphe simple →Application: coloriage d'un graphe simple
- 18:496 novembre 2012 à 18:49 diff hist −69 Recherche:Théorie des matrices logiques/Application: coloriage d'un graphe simple →Application: coloriage d'un graphe simple
- 18:416 novembre 2012 à 18:41 diff hist +148 Recherche:Théorie des matrices logiques/Application: coloriage d'un graphe simple →Application: coloriage d'un graphe simple
- 18:246 novembre 2012 à 18:24 diff hist +65 Recherche:Théorie des matrices logiques/Application: coloriage d'un graphe simple →Application: coloriage d'un graphe simple
- 18:166 novembre 2012 à 18:16 diff hist +1 717 Recherche:Théorie des matrices logiques/Application: coloriage d'un graphe simple →Application: coloriage d'un graphe simple
- 18:116 novembre 2012 à 18:11 diff hist +47 N Recherche:Théorie des matrices logiques/Application: coloriage d'un graphe simple Page créée avec « == Application: coloriage d'un graphe simple == »
- 18:096 novembre 2012 à 18:09 diff hist +1 639 N Recherche:Théorie des matrices logiques/Rupture momentanée de la forme canonique Page créée avec « == Rupture momentanée de la forme canonique == Le cas de la multiplication, qui intervient dans la construction de la table, est très direct. Il suffit de multiplier le... »
- 14:576 novembre 2012 à 14:57 diff hist −79 Recherche:Théorie des matrices logiques/Concept de matrice logique →Concept de matrice logique
31 octobre 2012
- 18:1031 octobre 2012 à 18:10 diff hist +3 Recherche:Théorie des matrices logiques/Présentation de la recherche Aucun résumé des modifications
- 18:0631 octobre 2012 à 18:06 diff hist +42 Recherche:Théorie des matrices logiques/Forme canonique →Forme canonique
- 17:5231 octobre 2012 à 17:52 diff hist +43 Recherche:Théorie des matrices logiques/Forme canonique →Forme canonique
- 17:4631 octobre 2012 à 17:46 diff hist +2 049 N Recherche:Théorie des matrices logiques/Forme canonique Page créée avec « == Forme canonique == Matrice logique canonique de l'ensemble E: none La matrice logique ordinaire de l'ensemble E est reproduite dans ... »
30 octobre 2012
- 17:1930 octobre 2012 à 17:19 diff hist −6 Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes →Application: simulation de logiques multivalentes
- 17:0330 octobre 2012 à 17:03 diff hist −18 Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes →Application: simulation de logiques multivalentes
- 16:3830 octobre 2012 à 16:38 diff hist +516 Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes →Application: simulation de logiques multivalentes
- 15:2830 octobre 2012 à 15:28 diff hist +1 Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes →Application: simulation de logiques multivalentes
- 15:2330 octobre 2012 à 15:23 diff hist +2 Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes →Application: simulation de logiques multivalentes
- 14:2130 octobre 2012 à 14:21 diff hist 0 Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes →Application: simulation de logiques multivalentes
- 14:1930 octobre 2012 à 14:19 diff hist +1 460 Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes →Application: simulation de logiques multivalentes
29 octobre 2012
- 20:3729 octobre 2012 à 20:37 diff hist 0 Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes →Application: simulation de logiques multivalentes
- 20:2929 octobre 2012 à 20:29 diff hist +107 Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes →Application: simulation de logiques multivalentes
- 16:3129 octobre 2012 à 16:31 diff hist +1 Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes →Application: simulation de logiques multivalentes
- 16:3029 octobre 2012 à 16:30 diff hist +937 N Recherche:Théorie des matrices logiques/Application: simulation de logiques multivalentes Page créée avec « == Application: simulation de logiques multivalentes == La formule de logique propositionnelle none ... »
- 16:0129 octobre 2012 à 16:01 diff hist +1 Recherche:Théorie des matrices logiques/Présentation de la recherche →Résumé
- 15:4929 octobre 2012 à 15:49 diff hist −2 Recherche:Théorie des matrices logiques/Elimination de sous-structures →Elimination de sous-structures
- 15:4829 octobre 2012 à 15:48 diff hist −4 Recherche:Théorie des matrices logiques/Multiplication →Multiplication
- 15:4729 octobre 2012 à 15:47 diff hist −2 Recherche:Théorie des matrices logiques/Isotropie →Isotropie
- 15:4629 octobre 2012 à 15:46 diff hist −676 Recherche:Théorie des matrices logiques/Concept de matrice logique →Concept de matrice logique
- 15:4529 octobre 2012 à 15:45 diff hist −2 Recherche:Théorie des matrices logiques/Sous-structures d'une matrice logique →Sous-structure d'une matrice logique
- 15:3529 octobre 2012 à 15:35 diff hist −2 Recherche:Théorie des matrices logiques/Table d'une matrice logique →Table d'une matrice logique
- 15:2429 octobre 2012 à 15:24 diff hist +649 N Recherche:Théorie des matrices logiques/Application: simplification d'un circuit logique Page créée avec « == Application: simplification d'un circuit logique == none Dans ce circuit, l... »
- 14:4029 octobre 2012 à 14:40 diff hist +1 Recherche:Théorie des matrices logiques/Elimination de sous-structures →Elimination de sous-structures
- 14:3929 octobre 2012 à 14:39 diff hist +750 N Recherche:Théorie des matrices logiques/Elimination de sous-structures Page créée avec « == Elimination de sous-structures == Lorsque des fusions successives - ou toute autre opération - réduisent une bande à un seul vecteur, et que les éléments de ce ve... »
- 14:3129 octobre 2012 à 14:31 diff hist +517 N Recherche:Théorie des matrices logiques/Fusion et fission Page créée avec « == Fusion et fission == L'opération de fusion prend pour invariant l'une des projections primaires de la table. Les deux premiers vecteurs de la bande File:FusionetFi... »
- 14:1929 octobre 2012 à 14:19 diff hist 0 Recherche:Théorie des matrices logiques/Choix d'un invariant →Choix d'un invariant
- 14:1829 octobre 2012 à 14:18 diff hist 0 Recherche:Théorie des matrices logiques/Choix d'un invariant →Choix d'un invariant
- 14:1529 octobre 2012 à 14:15 diff hist −6 Recherche:Théorie des matrices logiques/Choix d'un invariant →Choix d'un invariant
- 14:1429 octobre 2012 à 14:14 diff hist −51 Recherche:Théorie des matrices logiques/Choix d'un invariant →Choix d'un invariant
- 14:1429 octobre 2012 à 14:14 diff hist +53 Recherche:Théorie des matrices logiques/Choix d'un invariant →Choix d'un invariant
- 14:1229 octobre 2012 à 14:12 diff hist +1 790 N Recherche:Théorie des matrices logiques/Choix d'un invariant Page créée avec « == Choix d'un invariant == {| class="wikitable centre" | bgcolor="#1abdfe" | La validité des opérations de la TML se fonde sur le choix d'un invariant. <br> Il peut s'a... »
- 13:5029 octobre 2012 à 13:50 diff hist +512 N Recherche:Théorie des matrices logiques/Sous-structures d'une matrice logique Page créée avec « == Sous-structure d'une matrice logique == {| class="wikitable centre" | bgcolor="#1abdfe" | Les sous-structures d'une matrice logique sont elles-mêmes des matrices logi... »
28 octobre 2012
- 18:1528 octobre 2012 à 18:15 diff hist −1 Recherche:Théorie des matrices logiques/Table d'une matrice logique →Table d'une matrice logique
- 18:1528 octobre 2012 à 18:15 diff hist +1 270 N Recherche:Théorie des matrices logiques/Table d'une matrice logique Page créée avec « == Table d'une matrice logique == center La table est une matrice logique (ici bidimensionnelle) unicellulaire. La conjonction a d... »
- 17:4828 octobre 2012 à 17:48 diff hist +44 Discussion Recherche:Théorie des matrices logiques/Isotropie Aucun résumé des modifications actuelle
- 17:4028 octobre 2012 à 17:40 diff hist +765 Recherche:Théorie des matrices logiques/Présentation de la recherche →Résumé