Résultat de la recherche
5 résultat(s) recherche sur le tag 'Logique mathématique' 




Titre : Le rêve de la raison : la logique mathématique et ses paradoxes Type de document : texte imprimé Auteurs : Javier Fresán (1987-....), Auteur Editeur : Barcelone : RBA Coleccionables S. A. Année de publication : DL 2012 Collection : Le monde est mathématique Importance : 1 vol. (141 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-8152-0461-3 Note générale : PPN 181482142 Langues : Français (fre) Langues originales : Espagnol (spa) Tags : Russell, Bertrand (1872-1970) Gödel, Kurt (1906-1978) Mathématiques -- Philosophie Logique mathématique Turing, Machines de Paradoxe Logique floue Mathematics -- Philosophy Logic, Symbolic and mathematical Turing machines Paradox Fuzzy logic Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : La quatrième de couverture indique : "Au cours des trente premières années du siècle dernier, deux éminents logiciens ont sérieusement ébranlé les piliers de l'édifice mathématique érigé depuis Euclide. Certains ont vu dans les travaux de Bertrand Russell et de Kurt Gödel la défaite de la raison. D'autres, au contraire, les ont utilisés pour avancer dans des domaines nouveaux et fascinants, tels que l'informatique et la logique floue." Note de contenu : Bibliogr. p. 137. Index p. 139-141 Le rêve de la raison : la logique mathématique et ses paradoxes [texte imprimé] / Javier Fresán (1987-....), Auteur . - Barcelone : RBA Coleccionables S. A., DL 2012 . - 1 vol. (141 p.) : ill., couv. ill. en coul. ; 24 cm. - (Le monde est mathématique) .
ISBN : 978-2-8152-0461-3
PPN 181482142
Langues : Français (fre) Langues originales : Espagnol (spa)
Tags : Russell, Bertrand (1872-1970) Gödel, Kurt (1906-1978) Mathématiques -- Philosophie Logique mathématique Turing, Machines de Paradoxe Logique floue Mathematics -- Philosophy Logic, Symbolic and mathematical Turing machines Paradox Fuzzy logic Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : La quatrième de couverture indique : "Au cours des trente premières années du siècle dernier, deux éminents logiciens ont sérieusement ébranlé les piliers de l'édifice mathématique érigé depuis Euclide. Certains ont vu dans les travaux de Bertrand Russell et de Kurt Gödel la défaite de la raison. D'autres, au contraire, les ont utilisés pour avancer dans des domaines nouveaux et fascinants, tels que l'informatique et la logique floue." Note de contenu : Bibliogr. p. 137. Index p. 139-141 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-010802 010802 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Sous sol-1-Ouvrages Disponible Nicholas Radulesco Mathématiques express, 4. Trigonométrie et logique symbolique [2e éd.] / Roger Crespin (DL 1974, cop. 1974)
Titre de série : Mathématiques express, 4 Titre : Trigonométrie et logique symbolique [2e éd.] Type de document : texte imprimé Auteurs : Roger Crespin , Auteur
Mention d'édition : 2e édition Editeur : Paris : Editions techniques et scientifiques françaises (ETSF) Année de publication : DL 1974, cop. 1974 Importance : 1 vol. (87 p.) Présentation : 96 fig., 1 table, 5 tableaux, couv. ill. en coul. Format : 21 cm Note générale : La couv. porte en plus : "6 ans de maths en 6 mois". - PPN 25517277X Langues : Français (fre) Tags : Trigonométrie Logique mathématique Trigonometry Logic, Symbolic and mathematical Index. décimale : 516.24 Trigonométrie Mathématiques express, 4. Trigonométrie et logique symbolique [2e éd.] [texte imprimé] / Roger Crespin, Auteur . - 2e édition . - Paris : Editions techniques et scientifiques françaises (ETSF), DL 1974, cop. 1974 . - 1 vol. (87 p.) : 96 fig., 1 table, 5 tableaux, couv. ill. en coul. ; 21 cm.
La couv. porte en plus : "6 ans de maths en 6 mois". - PPN 25517277X
Langues : Français (fre)
Tags : Trigonométrie Logique mathématique Trigonometry Logic, Symbolic and mathematical Index. décimale : 516.24 Trigonométrie Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-010148 010148 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Salle de lecture-Ouvrages Disponible
Titre : La syllogistique d'Aristote : dans la perspective de la logique formelle moderne Type de document : texte imprimé Auteurs : Jan Lukasiewicz (1878-1956), Auteur ; Françoise Caujolle-Zaslawsky (1938-....), Traducteur Editeur : Paris : Armand Colin Année de publication : 1972 Collection : Philosophies pour l'âge de la science Importance : 1 vol. (228 p.) Format : 24 cm ISBN/ISSN/EAN : PPN 002174316 Note générale : Translation of Aristotle's syllogistic from the standpoint of modern formal logic Langues : Français (fre) Tags : Aristote (0384-0322 av. J.-C.). Organon Aristote (0384-0322 av. J.-C.) -- Logique Syllogisme Logique Logique mathématique Modalité (logique) Syllogism Logic Logic, Symbolic and mathematical Modality (Logic) Index. décimale : 166 Syllogismes Note de contenu : Bibliographical footnotes La syllogistique d'Aristote : dans la perspective de la logique formelle moderne [texte imprimé] / Jan Lukasiewicz (1878-1956), Auteur ; Françoise Caujolle-Zaslawsky (1938-....), Traducteur . - Paris : Armand Colin, 1972 . - 1 vol. (228 p.) ; 24 cm. - (Philosophies pour l'âge de la science) .
ISSN : PPN 002174316
Translation of Aristotle's syllogistic from the standpoint of modern formal logic
Langues : Français (fre)
Tags : Aristote (0384-0322 av. J.-C.). Organon Aristote (0384-0322 av. J.-C.) -- Logique Syllogisme Logique Logique mathématique Modalité (logique) Syllogism Logic Logic, Symbolic and mathematical Modality (Logic) Index. décimale : 166 Syllogismes Note de contenu : Bibliographical footnotes Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-009886 009886 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Salle de lecture-Ouvrages Disponible SERVICE CULTURE ET PATRIMOINE PIERRE SOUFFRIN
Titre : La créativité en mathématiques : fonctionnement d'un esprit d'exception Type de document : texte imprimé Auteurs : Miquel Alberti, Auteur Editeur : Barcelone : RBA Coleccionables S. A. Année de publication : DL 2012 Collection : Le monde est mathématique Importance : 1 vol. (157 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-8152-0459-0 Note générale : PPN 200125907 Langues : Français (fre) Langues originales : Espagnol (spa) Tags : Mathématiques -- Philosophie Mathématiques -- Fondements Logique mathématique Créativité en mathématiques Géométrie -- Fondements Probabilités Design Mathematics -- Philosophy Creative ability in science Geometry -- Foundations Probabilities Index. décimale : 510.1 Mathématiques - Philosophie et théorie Résumé : La quatrième de couverture indique : "Ce livre est né de la conviction que les mathématiques sont une activité démocratique, en d'autres termes, que tout le monde peut créer des mathématiques. À travers des exemples historiques et actuels, et même de précieuses leçons transmises par des sociétés non occidentales, vous allez découvrir que les mathématiques sont multiples et que le secret de la création est de "vivre mathématiquement", un peu chaque jour" Note de contenu : chap. 1 Les piliers de la création mathématique (p.13) - chap. 2 De grandes idées pour de grands problèmes (p.41) - chap. 3 Nouvelles questions pour des situations courantes (p.75) - chap. 4 Interaction culturelle et créativité (p.105) - chap. 5 Mathématiques pour créatifs (p.125) - Bibliogr. p. 153. - Index analytique p. 155-157 La créativité en mathématiques : fonctionnement d'un esprit d'exception [texte imprimé] / Miquel Alberti, Auteur . - Barcelone : RBA Coleccionables S. A., DL 2012 . - 1 vol. (157 p.) : ill., couv. ill. en coul. ; 24 cm. - (Le monde est mathématique) .
ISBN : 978-2-8152-0459-0
PPN 200125907
Langues : Français (fre) Langues originales : Espagnol (spa)
Tags : Mathématiques -- Philosophie Mathématiques -- Fondements Logique mathématique Créativité en mathématiques Géométrie -- Fondements Probabilités Design Mathematics -- Philosophy Creative ability in science Geometry -- Foundations Probabilities Index. décimale : 510.1 Mathématiques - Philosophie et théorie Résumé : La quatrième de couverture indique : "Ce livre est né de la conviction que les mathématiques sont une activité démocratique, en d'autres termes, que tout le monde peut créer des mathématiques. À travers des exemples historiques et actuels, et même de précieuses leçons transmises par des sociétés non occidentales, vous allez découvrir que les mathématiques sont multiples et que le secret de la création est de "vivre mathématiquement", un peu chaque jour" Note de contenu : chap. 1 Les piliers de la création mathématique (p.13) - chap. 2 De grandes idées pour de grands problèmes (p.41) - chap. 3 Nouvelles questions pour des situations courantes (p.75) - chap. 4 Interaction culturelle et créativité (p.105) - chap. 5 Mathématiques pour créatifs (p.125) - Bibliogr. p. 153. - Index analytique p. 155-157 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-010778 010778 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Sous sol-1-Ouvrages Disponible Nicholas Radulesco
Titre : Penser les mathématiques : Séminaire de philosophie et mathématiques de l'École normale supérieure Type de document : texte imprimé Auteurs : Jean Dieudonné (1906-1992), Directeur de publication, rédacteur en chef ; Maurice Loi (1924-2000), Directeur de publication, rédacteur en chef ; René Thom (1923-2002), Directeur de publication, rédacteur en chef ; François Guénard (1953-....), Compilateur ; Gilbert Lelièvre (1945-....), Compilateur ; François Guénard (1953-....), Annotateur ; Gilbert Lelièvre (1945-....), Annotateur Congrès : Séminaire de philosophie et mathématiques (1985; Ecole Normale Supérieure, Paris), Auteur Editeur : Paris : Seuil Année de publication : DL 1982 Collection : Collection Points. Série Sciences, ISSN 0337-8160 num. 29 Importance : 1 vol. (273 p.) Présentation : ill., fig., couv. ill. en coul. Format : 18 cm ISBN/ISSN/EAN : 978-2-02-006061-5 Note générale : ISBN : 2-02-006061-5 .- PPN 00046712X Langues : Français (fre) Tags : Mathématique -- Philosophie Logique mathématique Mathematics -- Philosophy Logic, Symbolic and mathematical Index. décimale : 510.1 Mathématiques - Philosophie et théorie Note de contenu : Notes bibliogr. Penser les mathématiques : Séminaire de philosophie et mathématiques de l'École normale supérieure [texte imprimé] / Jean Dieudonné (1906-1992), Directeur de publication, rédacteur en chef ; Maurice Loi (1924-2000), Directeur de publication, rédacteur en chef ; René Thom (1923-2002), Directeur de publication, rédacteur en chef ; François Guénard (1953-....), Compilateur ; Gilbert Lelièvre (1945-....), Compilateur ; François Guénard (1953-....), Annotateur ; Gilbert Lelièvre (1945-....), Annotateur / Séminaire de philosophie et mathématiques (1985; Ecole Normale Supérieure, Paris), Auteur . - Paris : Seuil, DL 1982 . - 1 vol. (273 p.) : ill., fig., couv. ill. en coul. ; 18 cm. - (Collection Points. Série Sciences, ISSN 0337-8160; 29) .
ISBN : 978-2-02-006061-5
ISBN : 2-02-006061-5 .- PPN 00046712X
Langues : Français (fre)
Tags : Mathématique -- Philosophie Logique mathématique Mathematics -- Philosophy Logic, Symbolic and mathematical Index. décimale : 510.1 Mathématiques - Philosophie et théorie Note de contenu : Notes bibliogr. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Nom du donateur OCA-NI-010029 010029 Ouvrages / Books OCA Bib. Nice Mont-Gros NI-Salle de lecture-Ouvrages Disponible