Descripteurs
![]()
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (4)



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 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 En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm
Titre : Problèmes de philosophie Type de document : texte imprimé Auteurs : Bertrand Russell, Auteur Editeur : Payot, 1989 Collection : Petite bibliothèque Description : 189 p. ; 23 cm ISBN/ISSN : 978-2-228-88172-2 Descripteurs : connaissance / logique mathématique / philosophie Résumé : 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.
Nature du document : documentaire Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité 192 RUS documentaire CDI 5188 Disponible De la régularité dans le désordre / Antoine Chambert-Loir / Sophia Publications (2020) in La recherche, 563 (novembre 2020)
[article]
Titre : De la régularité dans le désordre Type de document : texte imprimé Auteurs : Antoine Chambert-Loir, Auteur Editeur : Sophia Publications, 2020 Article : p.106-112 Langues : Français (fre)
in La recherche > 563 (novembre 2020)Descripteurs : logique mathématique Résumé : 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. Nature du document : documentaire Genre : Article de périodique [article]Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité n°563 documentaire CDI 9425 Disponible