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, 12/2013 Format : Web Langues : Français (fre) Descripteurs : 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 En ligne : http://accromath.uqam.ca/2014/02/jouer-efficacement-au-sudoku/ Jouer efficacement au sudoku [document électronique] / Marc Laforest . - Accromath, 12/2013 . - ; Web.
Langues : Français (fre)
Descripteurs : 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 En ligne : http://accromath.uqam.ca/2014/02/jouer-efficacement-au-sudoku/ Laforest Marc. Jouer efficacement au sudoku. Accromath, 12/2013. Disponible sur : <http://accromath.uqam.ca/2014/02/jouer-efficacement-au-sudoku/>, consulté le :
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 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 En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm Hubaut Xavier. Logique. Mathématique du secondaire, 2018. Disponible sur : <http://xavier.hubaut.info/coursmath/var/logique.htm>, consulté le :Ma vie sous algorithmes / Florence Pinaud / Nathan (2018)
Titre : Ma vie sous algorithmes : débats et portraits Type de document : texte imprimé Auteurs : Florence Pinaud, Auteur Editeur : Nathan, 2018 Collection : décodage Description : 143 p. ISBN/ISSN : 978-2-09-257725-7 Langues : Français (fre) Descripteurs : algorithme
logique mathématique
mathématiqueIndex. décimale : 510 Mathématiques Résumé : Les algorithmes nous informent, nous inspirent, nous orientent... Ils nous assistent au quotidien et redessinent le monde. Seraient-ils en train de prendre la main sur nos vies sans en avoir l'air ? Qui sont-ils vraiment ? Faut-il en avoir peur ? Des débats... sur les rôles des IA, la protection des données et le business qui les entoure ... des portraits ; des pionniers, des géants du Net, de robots intelligents et des interviews des grands experts d'aujourd'hui. Nature du document : documentaire Genre : Documentaire Ma vie sous algorithmes : débats et portraits [texte imprimé] / Florence Pinaud, Auteur . - Nathan, 2018 . - 143 p.. - (décodage) .
ISBN : 978-2-09-257725-7
Langues : Français (fre)
Descripteurs : algorithme
logique mathématique
mathématiqueIndex. décimale : 510 Mathématiques Résumé : Les algorithmes nous informent, nous inspirent, nous orientent... Ils nous assistent au quotidien et redessinent le monde. Seraient-ils en train de prendre la main sur nos vies sans en avoir l'air ? Qui sont-ils vraiment ? Faut-il en avoir peur ? Des débats... sur les rôles des IA, la protection des données et le business qui les entoure ... des portraits ; des pionniers, des géants du Net, de robots intelligents et des interviews des grands experts d'aujourd'hui. Nature du document : documentaire Genre : Documentaire Pinaud Florence. Ma vie sous algorithmes : débats et portraits. Nathan, 2018, 143 p. (décodage).Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 005693 510 PIN livre documentaire CDI documentaire Disponible
Titre : Pourquoi 1+1 = 2 Type de document : document électronique Editeur : Remi Explique, 2018 Description : 1 vidéo : 4 min 09 s Format : Web Langues : Français (fre) Descripteurs : logique mathématique
nombre
opération arithmétiqueRésumé : Présentation vidéo sur la différence entre les nombres et les chiffres ainsi que sur le fonctionnement d'une addition par des axiomes de Peano (tout entier naturel a un unique successeur). Nature du document : documentaire Genre : Vidéo En ligne : https://www.youtube.com/watch?v=opQdz6zLJWU Pourquoi 1+1 = 2 [document électronique] . - Remi Explique, 2018 . - 1 vidéo : 4 min 09 s ; Web.
Langues : Français (fre)
Descripteurs : logique mathématique
nombre
opération arithmétiqueRésumé : Présentation vidéo sur la différence entre les nombres et les chiffres ainsi que sur le fonctionnement d'une addition par des axiomes de Peano (tout entier naturel a un unique successeur). Nature du document : documentaire Genre : Vidéo En ligne : https://www.youtube.com/watch?v=opQdz6zLJWU Pourquoi 1+1 = 2. Remi Explique, 2018, 1 vidéo : 4 min 09 s. Disponible sur : <https://www.youtube.com/watch?v=opQdz6zLJWU>, consulté le :