Descripteurs
> 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (4)
Ajouter le résultat dans votre panier Affiner la recherche
Détours autour des carrés, magiques ou pas / Dominique Souder in Cosinus, 156 (janvier 2014)
[article]
Titre : Détours autour des carrés, magiques ou pas Type de document : texte imprimé Auteurs : Dominique Souder, Auteur Année : 2014 Article : p. 4-9
in Cosinus > 156 (janvier 2014)Descripteurs : jeu mathématique / logique mathématique Résumé : Comment distinguer les carrés latins, des gréco-latins, des carrés magiques ou des sudokus ? Nature du document : documentaire [article]
Détours autour des carrés, magiques ou pas
de Dominique Souder
In Cosinus, 156 (janvier 2014), p. 4-9
Comment distinguer les carrés latins, des gréco-latins, des carrés magiques ou des sudokus ?Souder Dominique. « Détours autour des carrés, magiques ou pas » in Cosinus, 156 (janvier 2014), p. 4-9.
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
de Marc Laforest
Accromath, 2013
En ligne : https://accromath.uqam.ca/2014/02/jouer-efficacement-au-sudoku/
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.Laforest Marc. Jouer efficacement au sudoku. Accromath, 2013. Disponible sur : <https://accromath.uqam.ca/2014/02/jouer-efficacement-au-sudoku/>, consulté le :La Logique / Gilles Dowek / Flammarion (1995)
Titre : La Logique Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Flammarion, 1995 Description : 126 p. ISBN/ISSN : 2-08-035414-0 Descripteurs : conscience : philosophie / logique / logique mathématique / raison / raisonnement Résumé : Très valorisé dans notre monde "raisonnable", le raisonnement n'est pas le seul moyen d'accéder à la vérité. Il s'oppose au calcul et à l'observation. Mais comprendre la nature du raisonnement aide-t-il à raisonner ? La réponse est à trouver dans les propriétés même du raisonnement.
Nature du document : essai Niveau : lycée
La Logique
de Gilles Dowek
Flammarion, 1995, 126 p.
Très valorisé dans notre monde "raisonnable", le raisonnement n'est pas le seul moyen d'accéder à la vérité. Il s'oppose au calcul et à l'observation. Mais comprendre la nature du raisonnement aide-t-il à raisonner ? La réponse est à trouver dans les propriétés même du raisonnement.
Dowek Gilles. La Logique. Flammarion, 1995, 126 p.Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité 160 DOW documentaire Salle de lecture 06411 Disponible
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 : Classe de 1ère/Classe de Terminale/lycée/Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm
Logique
de Xavier Hubaut
Mathématique du secondaire, 2018
En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm
La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme).Hubaut Xavier. Logique. Mathématique du secondaire, 2018. Disponible sur : <http://xavier.hubaut.info/coursmath/var/logique.htm>, consulté le :