 > 1305 mathématiques > mathématique > logique mathématique
Synonyme(s)logique formelleVoir aussi |
5 Documents disponibles dans cette catégorie
Article de périodique
Gödel et l'indécidabilité : des mythes à la réalité
- Dans le périodique : Sciences et avenir, n°945 (novembre 2025) p.86-88
- Antoine Houlou-Garcia
Retour sur les théorèmes d'incomplétude de Kurt Gödel, un mathématicien autrichien du 20e siècle : son apport pour les mathématiques ; le contexte de leur formulation. Encadré : un exemple d'incomplétude basé sur le combat entre Hercule et l'hydre.Site web
Jouer efficacement au sudoku
- Auteur : Marc Laforest
- Editeur : Accromath 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
Problèmes de philosophie
- Auteur : Bertrand Russell
- Editeur : Payot Collection : Petite bibliothèque 1989 189 p. ; 23 cm
Les Problèmes de philosophie constituent la première recherche systématique entreprise par Russell dans le domaine de la théorie de la connaissance. Cet ouvrage constitue une bonne introduction à la méthode logico-analytique en philosophie.De la régularité dans le désordre
- Dans le périodique : La recherche, n°563 (novembre 2020) p.106-112
- Auteur : Antoine Chambert-Loir
Présentation de la théorie de Ramsey, du nom du mathématicien britannique Franck Ramsey, en référence au théorème démontré en 1930. Encadré : le principe des tiroirs, outil inépuisable.
