Descripteurs
Motbis > 1305 mathématiques > mathématique > logique mathématique
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 : Motbis
jeu éducatif / logique mathématiqueRé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 : Motbis
jeu éducatif / logique mathématiqueRé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 : Motbis
logique mathématiqueRé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 [document électronique] / Xavier Hubaut . - Mathématique du secondaire, 2018 . - ; Web.
Langues : Français (fre)
Descripteurs : Motbis
logique mathématiqueRé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 Petits calculs contre grandes manipulations / Gaël Guillaumé / L'Eléphant (2021) in L'Eléphant (Paris), 033 (01/2021)
[article]
Titre : Petits calculs contre grandes manipulations Type de document : texte imprimé Auteurs : Gaël Guillaumé, Auteur Editeur : L'Eléphant, 2021 Article : p.54-55 Langues : Français (fre)
in L'Eléphant (Paris) > 033 (01/2021)Descripteurs : Motbis
logique mathématiqueRésumé : Présentation des problèmes aux problèmes de Fermi : principes, le cas pratique de l'épidémie de Covid-19. Nature du document : documentaire Genre : Article de périodique [article] Petits calculs contre grandes manipulations [texte imprimé] / Gaël Guillaumé, Auteur . - L'Eléphant, 2021 . - p.54-55.
Langues : Français (fre)
in L'Eléphant (Paris) > 033 (01/2021)
Descripteurs : Motbis
logique mathématiqueRésumé : Présentation des problèmes aux problèmes de Fermi : principes, le cas pratique de l'épidémie de Covid-19. Nature du document : documentaire Genre : Article de périodique Tests psychotechniques : logique numérique, mémorisation, organisation / M-F Baranes / Masson (1996)
Titre : Tests psychotechniques : logique numérique, mémorisation, organisation Type de document : texte imprimé Auteurs : M-F Baranes, Auteur Editeur : Masson, 1996 Description : 76p : 18cm ISBN/ISSN : 2-225-58102-6 Descripteurs : Motbis
logique mathématique / mémorisation / organisation administrativeNiveau : LYCTERM Tests psychotechniques : logique numérique, mémorisation, organisation [texte imprimé] / M-F Baranes, Auteur . - Masson, 1996 . - 76p : 18cm.
ISSN : 2-225-58102-6
Descripteurs : Motbis
logique mathématique / mémorisation / organisation administrativeNiveau : LYCTERM Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité CON MED 95 Annales CDI 001447 Disponible