 > 1305 mathématiques > mathématique > logique mathématique
Synonyme(s)logique formelleVoir aussi |
6 Documents disponibles dans cette catégorie
Article de périodique
Giuseppe Peano et le formalisme
- Dans le périodique : Tangente, n°223 (mai 2025) p.34-36
- Paola Cantu
Le point sur les contributions du mathématicien Giuseppe Peano au formalisme logique, au formalisme mathématique et celles de son groupe de travail au formalisme philosophique. Encadrés : la sensibilité de Giuseppe Peano aux revendications socia[...]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).La notion de paradoxe
- Dans le périodique : Tangente, n°218 (août 2024) p.12-13
- Antoine Houlou-Garcia
Définition, résolution, illustration et utilité de la notion de paradoxe (paradoxe véridique, paradoxe falsidique, paradoxe de Russell imagé sous la forme du paradoxe du barbier). Bibliographie.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).Tu as plutôt une intelligence logico-mathématique
- Dans le périodique : Phosphore. Hors-série, n°2210 (décembre 2022) p.62-70
Présentation de métiers qui nécessitent des aptitudes en logique et en mathématiques : archiviste, épidémiologiste, bio-informaticien, data scientist, comptable, cryptologue, microtechnologue, ingénieur algorithme et IA, sociologue, référenceur [...]
