Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (15)
Ajouter le résultat dans votre panier Affiner la recherche Interroger des sources externes
Article : texte imprimé
En 2008, dossier sur les paradoxes et les contradictions dans le domaine scientifique, complété par une bande dessinée et des jeux.
Article : texte imprimé
Le point en mathématiques sur les paradoxes de la définissabilité : l'exemple du paradoxe de Berry, les notions de théorie et de métathéorie, l'utilité des paradoxes dans la découverte de procédés de démonstration, le paradoxe de Skolem.
Article : texte imprimé
Le point sur les avancées de la recherche concernant le concept d'infini en mathématiques : la théorie des ensembles de Georg Cantor ; la question de l'hypothèse du continu ; les différentes recherches pour résoudre la question de l'existence ou[...]
Article : texte imprimé
Jean Lopez, Auteur | Excelsior publications |En 2008, explication sur la notion d'infini en mathématiques : l'exemple de l'hôtel d'Hilbert, le nombre aleph, les nombres entiers naturels, la cardinalité, les découvertes de Georg Cantor, aleph pour comprendre l'infini.
Article : texte imprimé
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[...]
document électronique
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[...]
document électronique
La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme).
Article : texte imprimé
Robin Jamet, Auteur | Excelsior publications |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 [...]
Article : texte imprimé
Le point sur les idées neuves en mathématiques : retour sur l’histoire de l’avènement des "maths modernes" jusqu’au développement de la notion de type par Bertrand Russel ; explications concernant l’évolution des théories, des systèmes et de la [...]
Article : texte imprimé
Présentation des problèmes aux problèmes de Fermi : principes, le cas pratique de l'épidémie de Covid-19.
document électronique
Remi Explique 2018Pré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).
Article : texte imprimé
Robin Jamet, Auteur | Excelsior publications |Interview fictive, en 2011, de George Boole, mathématicien anglais du 19e siècle. Encadrés : brève biographie ; rappel du calcul en base 2 ou binaire ; présentation de quelques connecteurs logiques de Boole et leur addition.
Article : texte imprimé
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[...]
Article : texte imprimé
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[...]
Article : texte imprimé
Présentation, en mathématiques, du principe des tiroirs, de ses variantes et de ses différentes applications.
