Descripteurs
> 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (2)
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Jouer efficacement au sudoku Type de document : document électronique Auteurs : Marc Laforest Editeur : Accromath, 2013 Format : Web Langues : Français (fre) Descripteurs : jeu éducatif / logique mathématique Résumé : Le point sur des techniques d'exclusion permettant de résoudre des grilles de Sudoku et sur leur formulation mathématiques : les règles du Sudoku et la contrainte fondamentale ; la technique d'exclusion naïve, l'utilisation de la loi de De Morgan, les notions de simplet nu et de simplet caché, l'exclusion de Jedi ; le théorème de Tuleja sur la structure de la solution d'un Sudoku. Encadré : notions de la théorie des ensembles. Nature du document : documentaire Genre : documentaire Niveau : Classe de 1ère/Classe de Terminale/lycée/Secondaire En ligne : https://accromath.uqam.ca/2014/02/jouer-efficacement-au-sudoku/ Jouer efficacement au sudoku [document électronique] / Marc Laforest . - Accromath, 2013 . - ; Web.
Langues : Français (fre)
Descripteurs : jeu éducatif / logique mathématique Résumé : Le point sur des techniques d'exclusion permettant de résoudre des grilles de Sudoku et sur leur formulation mathématiques : les règles du Sudoku et la contrainte fondamentale ; la technique d'exclusion naïve, l'utilisation de la loi de De Morgan, les notions de simplet nu et de simplet caché, l'exclusion de Jedi ; le théorème de Tuleja sur la structure de la solution d'un Sudoku. Encadré : notions de la théorie des ensembles. Nature du document : documentaire Genre : documentaire Niveau : Classe de 1ère/Classe de Terminale/lycée/Secondaire En ligne : https://accromath.uqam.ca/2014/02/jouer-efficacement-au-sudoku/
Titre : Logique Type de document : document électronique Auteurs : Xavier Hubaut Editeur : Mathématique du secondaire, 2018 Format : Web Langues : Français (fre) Descripteurs : logique mathématique Résumé : La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme). Nature du document : documentaire Genre : documentaire Niveau : Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm Logique [document électronique] / Xavier Hubaut . - Mathématique du secondaire, 2018 . - ; Web.
Langues : Français (fre)
Descripteurs : logique mathématique Résumé : La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme). Nature du document : documentaire Genre : documentaire Niveau : Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm