« Recherche:Théorie des matrices logiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Lydie Noria a déplacé la page Recherche:Théorie des matrices logiques vers Recherche:Théorie des matrices logiques/Présentation de la recherche : Normalisation de la présentation |
rédaction sommaire |
||
Ligne 1 :
{{Recherche
| idfaculté = mathématiques
| département = fondements logiques et ensemblistes des mathématiques
| niveau = 18
| 1 = {{C|Concept de matrice logique|4|18}}
| 2 = {{C|Isotropie|4|18}}
| 3 = {{C|Multiplication|4|18}}
| 4 = {{C|Table d'une matrice logique|4|18}}
| 5 = {{C|Sous-structures d'une matrice logique|4|18}}
| 6 = {{C|Choix d'un invariant|4|18}}
| 7 = {{C|Fusion et fission|4|18}}
| 8 = {{C|Elimination de sous-structures|4|18}}
| 9 = {{C|Application: simplification d'un circuit logique|4|18}}
| 10 = {{C|Application: simulation de logiques multivalentes|4|18}}
| 11 = {{C|Forme canonique|4|18}}
| 12 = {{C|Rupture momentanée de la forme canonique|4|18}}
| 13 = {{C|Application: coloriage d'un graphe simple|4|18}}
| 14 = {{C|Application: calcul de la clique maximum d'un graphe|4|18}}
}}
| |||