 > 1305 mathématiques > mathématique > logique mathématique
Synonyme(s)logique formelleVoir aussi |
10 Documents disponibles dans cette catégorie
Article de périodique
Des indécidables à portée de main
- Dans le périodique : Pour la science, n°468 (10/2016) p.78-83
- Auteur : Jean-Paul Delahaye
Le point sur la notion d'indécidabilité en mathématiques : définition, l'utilisation de la logique mathématique pour démontrer que certains énoncés sont indécidables c.-à-d. ni vrai ni faux ; les théorèmes d'incomplétudes de Gödel ; les machines[...]Livre
J'apprends à coder et créer des jeux vidéo !
- Auteur : CODER KIDS
- Illustrateur : Valentina Figus
- Editeur : Piccolia Collection : J'apprends à coder 2018 127 p.
Apprendre à faire des jeux vidéo simples et amusants ! Dans ce livre se trouvent toutes les explications pour se familiariser avec le code. Le logiciel Scratch 2.0, permet de découvrir qu’à partir d’une page blanche, il est possible de créer des[...]Site web
Jouer efficacement au sudoku
- Auteur : Marc Laforest
- Editeur : Accromath 2013
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 Morga[...]Exclu du prêtLogique
- Auteur : Xavier Hubaut
- Editeur : Mathématique du secondaire 2018
La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme).Exclu du prêtLes mathématiciens face au défi des machines
- Dans le périodique : Pour la science, n°535 (05/2022) p.26-34
- Auteur : Michael Harris
Réflexion sur la place de l'humain face aux performances grandissantes des machines dans le domaine des mathématiques : la confirmation pour la première fois en 2020 d'un théorème par un logiciel sans vérification humaine, l'usage ancien des mac[...]Petits calculs contre grandes manipulations
- Dans le périodique : L'Eléphant (Paris), n°033 (01/2021) p.54-55
- Auteur : Gaël Guillaumé
Présentation des problèmes aux problèmes de Fermi : principes, le cas pratique de l'épidémie de Covid-19.Pouvons-nous échapper à l'incomplétude ?
- Dans le périodique : Pour la science, n°540 (10/2022) p.80-85
- Jean-Paul Delahaye
Le point sur la remise en cause, formulée par le philosophe et logicien Daniel Isaacson, de l'incomplétude du système d'axiomes de Peano : le principe du raisonnement par récurrence, le système d'axiomes de Peano, les théorèmes d'incomplétude én[...]Des stratégies miraculeuses
- Dans le périodique : Pour la science, n°465 (07/2016) p.78-83
- Auteur : Jean-Paul Delahaye
Présentation des stratégies à adopter pour résoudre le problème des 50 prisonniers : la stratégie du hasard, la stratégie "Suivre", l'utilisation des mathématiques pour démontrer que la stratégie "Suivre" est la meilleure, présentation de varian[...]Le tout est-il plus que la somme des parties ?
- Dans le périodique : Pour la science, n°477 (07/2017) p.80-85
- Auteur : Jean-Paul Delahaye
Le point sur les valeurs mathématiques qui permettent de démontrer la maxime "le tout est plus que la somme des parties ", énoncée par Aristote : impossibilité de vérifier la maxime en prenant pour objets mathématiques les ensembles, les problèm[...]Trivial, mais puissant : le principe des tiroirs
- Dans le périodique : Pour la science, n°483 (01/2018) p.74-79
- Auteur : Jean-Paul Delahaye
Présentation, en mathématiques, du principe des tiroirs, de ses variantes et de ses différentes applications.
