 > 1305 mathématiques > mathématique > logique mathématique
Synonyme(s)logique formelleVoir aussi |
4 Documents disponibles dans cette catégorie
Site web
Jouer efficacement au sudoku
- Auteur : Marc Laforest
- Editeur : Accromath 12/2013
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 Morga[...]Logique
- Auteur : Xavier Hubaut
- Editeur : Mathématique du secondaire 2018
La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme).Livre
Ma vie sous algorithmes : débats et portraits
- Auteur : Florence Pinaud
- Editeur : Nathan Collection : décodage 2018 143 p.
Les algorithmes nous informent, nous inspirent, nous orientent... Ils nous assistent au quotidien et redessinent le monde. Seraient-ils en train de prendre la main sur nos vies sans en avoir l'air ? Qui sont-ils vraiment ? Faut-il en avoir peur [...]Pourquoi 1+1 = 2
- Editeur : Remi Explique 2018 1 vidéo : 4 min 09 s
Présentation vidéo sur la différence entre les nombres et les chiffres ainsi que sur le fonctionnement d'une addition par des axiomes de Peano (tout entier naturel a un unique successeur).
