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
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 [document électronique] / Marc Laforest . - Accromath, 2013 . - ; 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/
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 : Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm Logique [document électronique] / Xavier Hubaut . - Mathématique du secondaire, 2018 . - ; 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 : Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm Des paradoxes sans fin / Robin Jamet / Excelsior publications (2016) in Science & vie junior. Dossier hors série, 119 (09/2016)
[article]
Titre : Des paradoxes sans fin Type de document : texte imprimé Auteurs : Robin Jamet, Auteur Editeur : Excelsior publications, 2016 Article : p.78-89 Langues : Français (fre)
in Science & vie junior. Dossier hors série > 119 (09/2016)Descripteurs : infini / logique mathématique Mots-clés : raisonnement scientifique Résumé : Le point sur les paradoxes scientifiques résolus par les mathématiques : explications et preuves apportées aux problèmes en apparence illogiques (caillou qui n'atteint pas son but, casse-tête de Zénon, l'escargot et le géant, les cubes mangeurs d'espace, le pot de peinture impossible à peindre, le gredin des gradins, la boîte de plus en plus pleine mais vide, la corde et le triangle). Infographie. Nature du document : documentaire Genre : Article de périodique [article] Des paradoxes sans fin [texte imprimé] / Robin Jamet, Auteur . - Excelsior publications, 2016 . - p.78-89.
Langues : Français (fre)
in Science & vie junior. Dossier hors série > 119 (09/2016)
Descripteurs : infini / logique mathématique Mots-clés : raisonnement scientifique Résumé : Le point sur les paradoxes scientifiques résolus par les mathématiques : explications et preuves apportées aux problèmes en apparence illogiques (caillou qui n'atteint pas son but, casse-tête de Zénon, l'escargot et le géant, les cubes mangeurs d'espace, le pot de peinture impossible à peindre, le gredin des gradins, la boîte de plus en plus pleine mais vide, la corde et le triangle). Infographie. Nature du document : documentaire Genre : Article de périodique Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire Archives 006893 Disponible Penser types plutôt qu'ensembles / Philippe Pajot / Excelsior publications (2013) in La Science et la vie (Paris), 1153 (10/2013)
[article]
Titre : Penser types plutôt qu'ensembles Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Excelsior publications, 2013 Article : p.111-120 Note générale : Webographie. Langues : Français (fre)
in La Science et la vie (Paris) > 1153 (10/2013)Descripteurs : algèbre / analyse : logique / logique mathématique Mots-clés : science mathématique Résumé : Le point sur les idées neuves en mathématiques : retour sur lhistoire de lavènement des "maths modernes" jusquau développement de la notion de type par Bertrand Russel ; explications concernant lévolution des théories, des systèmes et de la logique ; précisions sur le nouveau langage et son intérêt pour les chercheurs (applications informatiques, influence dans lenseignement). Nature du document : documentaire Genre : Article de périodique [article] Penser types plutôt qu'ensembles [texte imprimé] / Philippe Pajot, Auteur . - Excelsior publications, 2013 . - p.111-120.
Webographie.
Langues : Français (fre)
in La Science et la vie (Paris) > 1153 (10/2013)
Descripteurs : algèbre / analyse : logique / logique mathématique Mots-clés : science mathématique Résumé : Le point sur les idées neuves en mathématiques : retour sur lhistoire de lavènement des "maths modernes" jusquau développement de la notion de type par Bertrand Russel ; explications concernant lévolution des théories, des systèmes et de la logique ; précisions sur le nouveau langage et son intérêt pour les chercheurs (applications informatiques, influence dans lenseignement). Nature du document : documentaire Genre : Article de périodique Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives documentaire Archives 005181 Disponible