Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (5)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Un petit ouvrage qui explique le sens les termes mathématiques : du problème, des principes au raisonnement et à la rigueur mathématiques jusqu'à la ou les méthodes.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité 165 CLE essai CDI 10107 Disponible 
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é
Présentation du travail de la chercheuse post-doctorante Amina Doumane qui a réussi à prouver un théorème de l'informatique théorique grâce à une preuve circulaire (ou infinitaire) : le lien entre théorie de la démonstration et logiques infinita[...]
Article : texte imprimé
Présentation de la théorie de Ramsey, du nom du mathématicien britannique Franck Ramsey, en référence au théorème démontré en 1930. Encadré : le principe des tiroirs, outil inépuisable.
Article : texte imprimé
Présentation de métiers qui nécessitent des aptitudes en logique et en mathématiques : archiviste, épidémiologiste, bio-informaticien, data scientist, comptable, cryptologue, microtechnologue, ingénieur algorithme et IA, sociologue, référenceur [...]
