Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (30)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Présentation du principe d'analogie dans les raisonnements mathématiques.Article : texte imprimé
Dossier consacré à la notion d'autoréférence. L'autoréférence comme source de jeux et de paradoxes logiques utiles, dans le domaine des lettres, des mathématiques (systèmes de numération, suite fractale, ensembles de Mandelbrot, ensembles autopa[...]Article : texte imprimé
Présentation de quelques paradoxes mathématiques ou logiques illustrés par des dessins de Philippe Geluck.Article : texte imprimé
Présentation du théorème sur la cardinalité de l'ensemble des parties d'un ensemble de Georg Cantor dont la démonstration (diagonale de Cantor) est basée sur l'autoréférence (circularité ou raisonnement circulaire) : le paradoxe de Russell ; les[...]
texte imprimé
Jacques Dubucs, Préfacier, etc. ; Gabriel Sandu, Préfacier, etc. | Pour la science | Dossiers pour la science | 2005Sommes-nous logiques ? Qui a inventé la logique ? Comment mener une conversation ? Qu'est-ce que l'existence ? Qu'est-ce que la vérité ? Comment gagner à un jeu ?Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 006197 160 CHE livre documentaire CDI documentaire Disponible Article : texte imprimé
Présentation du jeu de la logique inventé par Lewis Carroll : la représentation des prémisses ; le carré triadique d'opposition. Encadré : le vocabulaire de la Reine des merveilles. Schémas.Article : texte imprimé
Dossier sur l'objet et l'idée d'objet, des rationnels aux réels, comprendre le continu et ses caractéristiques. Encadrés sur Georg Cantor, Kurt Goedel et l'hypothèse du continu. La diagonale de Cantor. Encadré sur les axiomes de Peano. Graphiques.Article : texte imprimé
Dossier : le poids des nombres rationnels, la constante de Planck, le théorème de Brouwer, les intuitionistes. Rappel historique de la conception platonicienne, de la conception formaliste, de la conception intuitionniste et de la conception con[...]Article : texte imprimé
Présentation, en 2009, de jeux mathématiques pour exercer sa logique. Solution des problèmes.Article : texte imprimé
Point sur l'évolution du statut de l'angle avec les mathématiques : l'utilisation de la trigonométrie par les astronomes de l'Antiquité et du Moyen Age ; l'apport des mathématiciens Antoine Arnauld (17e siècle) et Alexis Clairaut (18e siècle) da[...]Article : texte imprimé
Dossier : représentations géométriques de l'infini, projection, inversion, la méthode de Monte-Carlo, les ensembles compacts, les ordres de grandeurs, l'axiome du choix, applications en probabilités, le théorème de Cantor-Schröder-Bernstein, le [...]Article : texte imprimé
Le point sur l'élaboration progressive de la logique mathématique à partir du 19e siècle (construction des fondements des mathématiques sur un édifice théorique) : les apports des mathématiciens Carl Gustav Jacobi, George Boole et Augustus de Mo[...]texte imprimé
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 009296 16 BOC livre documentaire CDI documentaire Disponible 
texte imprimé
L'idée de départ de ce nouvel ouvrage, proposée par Gilles Bonnefoy, formateur à l'I.R.E.M. de Lyon, est d'introduire l'histoire des mathématiques en prenant comme thèmes les "grands problèmes" apparus au cours du développement des mathématiques[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 014804 510.9 COM livre documentaire CDI documentaire Disponible Article : texte imprimé
Présentation du nombre Omega lié à l'algorithmique et à la programmation : ses propriétés, et l'impossibilité de certaines démonstrations.
