Les bibliothèques de la ville de Paris
Les bibliothèques universitaires
La BnF
L'encyclopédie Wikipédia
L'Encyclopædia Universalis
La bibliothèque du film
La médiathèque de la Philharmonie de Paris
par Tarski, Alfred (1901-1983)
A. Colin
1972 - 1945
-
Disponible - 168.512 TAR
Niveau 2 - Philosophie
-
Disponible - 168.512 TAR
Niveau 2 - Philosophie
Choix d'un sujet lié
Recherche simple :
- Indice / Cote : 510
Choix du tri des documents
Sélectionner le nombre de résultat par colonne
Documents en rayon : 425
par Badiou, Alain (1937-....)
Maspéro
1972
-
Disponible - 1"4" BADI 1
Niveau 2 - Philosophie
Payot
1992
-
Disponible - 510.1 LOG
Niveau 2 - Sciences
par Ladrière, Jean (1921-2007)
J. Gabay
1992
-
Disponible - 510.1 LAD
Niveau 2 - Sciences
par Turing, Alan Mathison (1912-1954) ; Girard, Jean-Yves (1947-....)
Seuil
1995 -
-
Disponible - 510.1 TUR
Niveau 2 - Sciences
Résumé : Ce livre comprend, traduits de l'anglais, deux articles d'Alan Turing : "On computable numbers" and "Computing machinery and intelligence", précédés chacun d'une introduction inédite de Jean-Yves Girard.La machine de Turing comme modèle de la calculabilité a sa source dans le premier article, qui date de 1936. Alan Turing (1912-1954) y démontre, entre autres, qu'il existe des nombres définissables qui ne sont pas calculables. Le second article est une réflexion sur les développements possibles de l'intelligence artificielle à partir de la question : "les machines peuvent-elles penser ?"
par Matiiassevitch, Youri
Masson
1995
-
Disponible - 510.1 MAT
Niveau 2 - Sciences
par Wittgenstein, Ludwig (1889-1951)
Éd. TER
1995
-
Disponible - 510.1 WIT
Niveau 2 - Sciences
par Hofstadter, Douglas Richard (1945-....)
InterEditions
1996
-
Disponible - 510.1 HOF
Niveau 2 - Sciences
par Costa, Newton C. A. da (1929-....)
Masson
1997
-
Disponible - 510.1 COS
Niveau 2 - Sciences
par Caveing, Maurice (1923-2019)
Presses universitaires du Septentrion
1998
-
Disponible - 510.1 CAV
Niveau 2 - Sciences
par Delahaye, Jean-Paul (1952-....)
Hermès science publ.
1999
-
Disponible - 510.1 DEL
Niveau 2 - Sciences
par Delmas-Rigoutsos, Yannis ; Lalement, René
le Pommier
2000 -
-
Disponible - 510.1 DEL
Niveau 2 - Sciences
Résumé : Présente la logique comme une discipline à part entière. Longtemps du ressort des philosophes, elle a aujourd'hui pris sa place au sein des mathématiques. Ce livre explique comment lire des énoncés logiques, comment leur donner un sens et enfin comment les utiliser dans le cadre de preuves ou de démonstrations.
par Smullyan, Raymond M. (1919-2017)
Dunod
2000 -
-
Disponible - 510.1 SMU
Niveau 2 - Sciences
Résumé : Les théorèmes d'incomplétude de Gödel démontrent qu'un système d'axiomes cohérent est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes dont résultent ces énoncés. Présente les résultats d'une recherche de cinquante années et leurs conséquences sur les développements de la logique modale.
par Dumoncel, Jean-Claude
Ellipses
2002 -
-
Disponible - 510.1 DUM
Niveau 2 - Sciences
Résumé : Introduction à la philosophie des mathématiques.
par Romet, Jean-Luc (1958-....)
Ellipses
2003 -
-
Disponible - 51(03) ROM
Niveau 2 - Sciences
Résumé : cet ouvrage comprend 715 entrées, des définitions, des figures et des exemples.
par Cori, René ; Lascar, Daniel (1942-....)
Dunod
2003
-
Disponible - 510.1 COR
Niveau 2 - Sciences
par Cassou-Noguès, Pierre (1971-....)
Belles lettres
2004 -
-
Disponible - 510.1 CAS
Niveau 2 - Sciences
Résumé : Présente l'oeuvre du mathématicien Kurt Gödel (1906-1978), sa participation dans les années 20 au groupe devenu le Cercle de Vienne, sa réfutation de la théorie mathématique d'Hilbert, son départ définitif aux Etats-Unis pendant la Seconde Guerre mondiale, ses travaux sur l'hypothèse du continu et l'axiome du choix, sa collaboration avec Einstein, etc.
par David, René (1906-1990) ; Raffalli, Christophe ; Nour, Karim
Dunod
2004 -
-
Disponible - 510.1 DAV
Niveau 2 - Sciences
Résumé : Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet. Une annexe présente un assistant de démonstration, le logiciel PhoX.
par Thayse, André (1940-....)
Hermès science publications
2004 -
-
Disponible - 510.1 THA
Niveau 2 - Sciences
Résumé : Développe un calcul différentiel et intégral et montre les applications de ce calcul en théorie des systèmes logiques et en informatique : notions fondamentales du calcul différentiel booléen, applications les plus représentatives de ce calcul, calcul différentiel pour la logique multivaluée, calcul intégral booléen, éléments d'analyse différentielle pour la logique des prédicats.
par Gauthier, Yvon (1941-....)
l'Harmattan
2004 -
-
Disponible - 510.1 GAU
Niveau 2 - Sciences
Résumé : Tente d'expliquer la notion de logique interne en mathématiques. Dégage le contenu de cette logique dans une perspective contemporaine. Traite également du contenu mathématique des notions d'indéfini et d'indéterminé de Fermat et Kronecker, avant d'aborder le problème de la consistance de l'arithmétique dans son contexte historique.
Résumé : Traite des aspects historiques et ludiques de la logique élémentaire, du projet Hilbert, des théorèmes de Gödel, de la logique et de l'informatique, de la logique floue, des jeux et des paradoxes.
par Schechter, Eric (1950-....)
Princeton University Press
2005
-
Disponible - 510.1 SCH
Niveau 2 - Sciences
Explorer les sujets liés :
510 - Traités, manuels et cours de mathématiques
-
Type d'autorité
- Indice de classement
Mathématiques
-
Type d'autorité
- Concept
-
Autre(s) nom(s)
- Et les mathématiques ;
- Mathématiques appliquées
Manuels d'enseignement supérieur
-
Type d'autorité
- Concept
Problèmes et exercices
-
Type d'autorité
- Concept
Rondy, Sylvain
-
Type d'autorité
- Personne
-
- 19..
-
Pays
- France
-
Langue(s)
- français
-
Activité(s) principale(s)
- Professeur en classes préparatoires HEC (en 1995). - En poste au lycée Saint-Jean de Douai, Nord (en 2021)