Choix d'un sujet lié
Algèbre abstraite Logique Mathématiques -- Fondements Mathématiques à rebours
Choix de relance de recherche
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

Recherche simple :

  •    Sujet : Logique mathématique
  • Aide
  • Eurêkoi Eurêkoi
Choix du tri des documents
Titre A-Z Titre Z-A Auteur A-Z Auteur Z-A Les plus récents Les moins récents
Sélectionner le nombre de résultat par colonne
10 résultats par colonne 25 résultats par colonne

Documents en rayon : 170

Voir tous les résultats les documents en rayons
Informatique mathématique : une photographie en 2022
Livre Informatique mathématique : une photographie en 2022

par Bournez, Olivier ; Fijalkow, Nathanaël (19..-....) ; Riva, Sara ; Chetrite, Raphaël (1981-....) ; Martin, Bruno (1967-....)

CNRS Edition

2022 -

  • Disponible - 519.8 INF

    Niveau 2 - Sciences

Résumé : L'ensemble des cours proposés à l'Ecole des jeunes chercheurs en informatique mathématique, à Nice, en 2022. Les thèmes retenus relèvent de tous les domaines de l'informatique, abordés selon un angle de recherche mathématique : l'intelligence artificielle, la théorie des jeux, les systèmes dynamiques, le calcul analogique et numérique ainsi que l'aléatoire. ©Electre 2022

Calcul différentiel pour les langues de la logique : théorie et applications
Livre Calcul différentiel pour les langues de la logique : théorie et applications

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.

La logique ou L'art de raisonner
Livre La logique ou L'art de raisonner

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.

La logique du contenu sur la logique interne
Livre La logique du contenu sur la logique interne

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.

Le point aveugle : cours de logique. Tome 2 , Vers l'imperfection
Livre Le point aveugle : cours de logique. Tome 2 , Vers l'imperfection

par Girard, Jean-Yves (1947-....)

Hermann

2007 -

  • Disponible - 510.1 GIR

    Niveau 2 - Sciences

Résumé : Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il développe une méthodologie de l'interprétation de l'imperfection, postulant une pérennité non pérenne qui s'exprime dans les logiques iconoclastes et la géométrie de l'interaction.

Introduction à la logique
Livre Introduction à la logique

par Tarski, Alfred (1901-1983)

J. Gabay

2008 -

  • Disponible - 510.1TAR

    Niveau 2 - Sciences

Résumé : L'auteur présente les plus importants concepts de la logique mathématique, créée dans le but d'assurer aux mathématiques un fondement plus solide et plus profond. Les concepts de la logique admettent tous les concepts mathématiques comme cas particuliers et les logiques sont toujours appliquées dans les raisonnements mathématiques.

La logique, un aiguillon pour la pensée
Livre La logique, un aiguillon pour la pensée

par Delahaye, Jean-Paul (1952-....)

Belin-"Pour la science"

2012 -

  • Disponible - 510.1 DEL

    Niveau 2 - Sciences

Résumé : Recueil d'articles pubiés dans le magazine Pour la science, ayant pour thème la logique dans toute sa diversité. Ainsi, elle peut concerner les mathématiques pures, mais elle peut se trouver aussi au coeur d'applications concrètes. Elle peut enfin aider à répondre à des questions d'actualité.

Logique et modélisation : modèles consistants, données compatibles
Livre Logique et modélisation : modèles consistants, données compatibles

par Gondran, Michel (1944-....) ; Héry, Jean-François ; Laleuf, Jean-Claude

Éd. Eyrolles

1995

  • Disponible - 519.8 GON

    Niveau 2 - Sciences

énigmes mathématiques et logiques : 50 activités pour faire tourner ses neurones
Livre énigmes mathématiques et logiques : 50 activités pour faire tourner ses neurones

par Genoud, Augustin

LEP

2018 -

  • Disponible - 519.6 GEN

    Niveau 2 - Sciences

Résumé : Des énigmes fondées sur les mathématiques afin de maîtriser les carrés magiques, la suite de Fibonacci ou encore le théorème de Pick. Avec les solutions, des explications détaillées et des encarts informatifs. ©Electre 2018

La logique pas à pas
Livre La logique pas à pas

par Duparc, Jacques (19..-....), metteur en scène

Presses polytechniques et universitaires romandes

2015 -

  • Disponible - 510.1 DUP

    Niveau 2 - Sciences

Résumé : Fondée sur les jeux, cette introduction à la logique aborde les logiques propositionnelles, modales, du premier et du second ordre, la récursivité et la correspondance preuves-programme. ©Electre 2015

Logique : fondements et applications
Livre Logique : fondements et applications

par Le Barbenchon, Pierre

Dunod

2022 -

  • Disponible - 510.1 LEB

    Niveau 2 - Sciences

Résumé : Les fondements de la logique vue en cours d'informatique et de mathématiques appliquées à l'informatique, avec de nombreux exercices corrigés et une ouverture sur des applications pratiques : logique et base de données, structures automatiques et jeux d'évaluation. Accessible gratuitement, l'outil en ligne Pravda donne accès à des exercices en logique formelle pour les systèmes de preuve. ©Electre 2022

Logique et fondements des mathématiques : anthologie : 1850-1914
Livre Logique et fondements des mathématiques : anthologie : 1850-1914

Payot

1992

  • Disponible - 510.1 LOG

    Niveau 2 - Sciences

La logique : le vrai, le faux et l'incertain
Livre La logique : le vrai, le faux et l'incertain

POLE

2005 -

  • Disponible - 510.1 LOG

    Niveau 2 - Sciences

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.

Le point aveugle : cours de logique. Tome 1 , Vers la perfection
Livre Le point aveugle : cours de logique. Tome 1 , Vers la perfection

par Girard, Jean-Yves (1947-....)

Hermann

2006 -

  • Disponible - 510.1 GIR

    Niveau 2 - Sciences

Résumé : Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; Autour de Curry-Howard (interprétations fonctionnelles, le système F...) ; La logique linéaire (espaces cohérents, perfection et imperfection...).

Le rêve de la raison : la logique mathématique et ses paradoxes
Livre Le rêve de la raison : la logique mathématique et ses paradoxes

par Fresán, Javier (1987-.....)

RBA France

2013

  • Disponible - 51(02) MON 19

    Niveau 2 - Sciences

Logique, sémantique, métamathématique : 1923-1944
Livre Logique, sémantique, métamathématique : 1923-1944

par Tarski, Alfred (1901-1983)

A. Colin

1972 - 1945

  • Disponible - 168.512 TAR

    Niveau 2 - Philosophie

    • Disponible - 168.512 TAR

      Niveau 2 - Philosophie

Longtemps avant l'algèbre : poser le faux pour connaître le vrai
Livre Longtemps avant l'algèbre : poser le faux pour connaître le vrai

par Gavin, Jérôme ; Schärlig, Alain

Presses polytechniques et universitaires romandes

2022 -

  • Disponible - 51(091) GAV

    Niveau 2 - Sciences

Résumé : Les auteurs reviennent sur la période d'avant l'algèbre, pendant laquelle les calculs se faisaient sur la base d'une méthode utilisant une réponse fausse, sa comparaison avec la vraie réponse et un raisonnement de proportionnalité entre les deux. ©Electre 2022

CQFD : beauté de la démonstration mathématique
Livre CQFD : beauté de la démonstration mathématique

par Polster, Burkard (1965-....)

Marabout

2016 -

  • Disponible - 51 POL

    Niveau 2 - Sciences

Résumé : Histoire des mathématiques et des démonstrations. ©Electre 2016

Philosophie des mathématiques. 2 , Logique, preuve et pratiques
Livre Philosophie des mathématiques. 2 , Logique, preuve et pratiques

Vrin

2017 -

  • Disponible - 51 GAN

    Niveau 2 - Sciences

Résumé : Après un premier volume qui traitait de l'histoire connexe des mathématiques et de la philosophie, les contributeurs s'intéressent à des questions davantage en prise avec les mathématiques du XXe siècle : l'émergence de l'axiomatisation et la formation des concepts, l'articulation entre langue formelle, mais aussi théorie axiomatisée et pratiques mathématiques. ©Electre 2017

Symbolic logic
Livre Symbolic logic

par Lewis, Clarence Irving (1883-1964) ; Langford, Cooper Harold (1934-....)

Dover

1959

  • Disponible - 161 LEW

    Niveau 2 - Philosophie

Collected logical works
Livre Collected logical works

par Boole, George (1815-1864)

Open Court

1952

  • Disponible - 161 BOO

    Niveau 2 - Philosophie

    • Disponible - 161 BOO

      Niveau 2 - Philosophie

Logique mathématique : textes
Livre Logique mathématique : textes

A. Colin

1972

  • Disponible - 161 LOG

    Niveau 2 - Philosophie

Logique symbolique
Livre Logique symbolique

par Verley, Xavier (1945-....)

Ellipses

1999

  • Disponible - 161 VER

    Niveau 2 - Philosophie

Logiques classiques et non classiques : essai sur les fondements de la logique
Livre Logiques classiques et non classiques : essai sur les fondements de la logique

par Costa, Newton C. A. da (1929-....)

Masson

1997

  • Disponible - 510.1 COS

    Niveau 2 - Sciences

Preuves et réfutations : essai sur la logique de la découverte mathématique
Livre Preuves et réfutations : essai sur la logique de la découverte mathématique

par Lakatos, Imre (1922-1974)

Hermann

1984

  • Disponible - 168.512 LAK

    Niveau 2 - Philosophie

Logique formelle
Livre Logique formelle

par Peeters, Marc ; Richard, Sébastien (1981-....)

Mardaga

2009 -

  • Disponible - 16(07) PEE

    Niveau 2 - Philosophie

Résumé : C'est autant un manuel d'introduction à la logique standard contemporaine qu'une réflexion théorique sur l'utilité et les limites de la logique pour la philosophie. Sont exposés le calcul des propositions (et la métathéorie sur eux), de la syllogistique traditionnelle, le calcul des prédicats, le calcul des classes et le calcul des relations. L'apport de l'école polonaise de logique est envisagé.

Preuves sans mots : exercices de mathématiques visuelles
Livre Preuves sans mots : exercices de mathématiques visuelles

par Nelsen, Roger B.

Hermann

2013 -

  • Disponible - 51 NEL

    Niveau 2 - Sciences

Résumé : Par cet ouvrage, l'auteur propose une aide pour comprendre par l'image la validité d'un énoncé mathématique.

Logique formelle et argumentation
Livre Logique formelle et argumentation

par Bouquiaux, Laurence ; Leclercq, Bruno (1971-....)

De Boeck supérieur

2017 -

  • Disponible - 16 BOU

    Niveau 2 - Philosophie

Résumé : Etude des contraintes de cohérence, de consistance et de conséquence qui pèsent sur la pensée rationnelle, ce manuel permet de distinguer les raisonnements corrects des raisonnements fallacieux. Il propose de traiter les raisonnements comme des calculs dont la validité est assurée par le respect de règles préalablement établies. Avec un accès à la version numérique. ©Electre 2017

Introduction à la logique : théorie de la démonstration, cours et exercices corrigés : licence 3e année, master, Capes, agrégation
Livre Introduction à la logique : théorie de la démonstration, cours et exercices corrigés : licence 3e année, master, Capes, agrégation

par David, René (1906-1990) ; Nour, Karim ; Raffalli, Christophe

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.

Classical and non classical logics : an introduction to the mathematics of propositions
Livre Classical and non classical logics : an introduction to the mathematics of propositions

par Schechter, Eric (1950-....)

Princeton University Press

2005

  • Disponible - 510.1 SCH

    Niveau 2 - Sciences

Introduction pratique aux logiques non classiques : avec exercices corrigés
Livre Introduction pratique aux logiques non classiques : avec exercices corrigés

par Bernadet, Maurice (19..-....), ingénieur

Hermann

2011 -

  • Disponible - 510.1 BER

    Niveau 2 - Sciences

Résumé : Une introduction aux logiques non classiques, c'est-à-dire aux logiques proches de celles du raisonnement humain. Ainsi sont présentées les logiques floues, les logiques modales, les logiques temporelles, les raisonnements non monotones et les raisonnements en présence d'incertitudes. Avec, à la fin de chaque chapitre, des exercices et leurs corrigés en fin d'ouvrage.

Logique mathématique. 2 , Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés
Livre Logique mathématique. 2 , Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés

par Cori, René ; Lascar, Daniel (1942-....)

Dunod

2019 -

  • Disponible - 510.1 COR

    Niveau 2 - Sciences

Résumé : Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Gödel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés. ©Electre 2020

Matérialisme dialectique et logique
Livre Matérialisme dialectique et logique

par Raymond, Pierre (1942-2014)

F. Maspero

1977

  • Disponible - 142 RAY

    Niveau 2 - Philosophie

Structures intellectuelles
Livre Structures intellectuelles

par Blanché, Robert (1898-1975)

1969

  • Disponible - 165.1 BLA

    Niveau 2 - Philosophie

L' algèbre de la logique
Livre L' algèbre de la logique

par Couturat, Louis (1868-1914)

1965

  • Disponible - 168.512 COU

    Niveau 2 - Philosophie

OEuvres complètes de philosophie des sciences
Livre OEuvres complètes de philosophie des sciences

par Cavaillès, Jean (1903-1944)

Hermann

1994

  • Disponible - 168.512 CAV

    Niveau 2 - Philosophie

Logique pour l'informatique
Livre Logique pour l'informatique

Ellipses

2020 -

  • Disponible - 681.21 LOG

    Niveau 3 - Informatique

Résumé : Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs applications en informatique, aboutissant aux méthodes algorithmiques de démonstration automatique.

Logique, discours et pensée : mélanges offerts à Jean-Blaise Grize
Livre Logique, discours et pensée : mélanges offerts à Jean-Blaise Grize

P. Lang

1997

  • Disponible - 803.7 LOG

    Niveau 3 - Langues et littératures

Introduction à la logique
Livre Introduction à la logique

par Leroux, Jean

Diderot

1998

  • Disponible - 510.1 LER

    Niveau 2 - Sciences

Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
Livre Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel

par Patarin, Jacques (1965-....)

Ellipses ; Impr. Présence graphique

2020 -

  • Disponible - 511.1 PAT

    Niveau 2 - Sciences

Résumé : Un manuel consacré à la théorie des ensembles ainsi qu'à la logique mathématique, deux domaines scientifiques qui ont de nombreuses interactions. ©Electre 2020

Logiques non-standard
Livre Logiques non-standard

par Chazal, Gérard (1947-....)

Éd. universitaires de Dijon

2009 -

  • Disponible - 161 CHA

    Niveau 2 - Philosophie

Résumé : En associant philosophie et logique, cet ouvrage apporte un éclairage sur l'évolution de la logique de l'époque d'Aristote à nos jours. Les différents formalismes des logiques non-standard sont présentés : les besoins de ces logiques puis leurs descriptions syntaxiques et sémantiques. Des exercices permettent au lecteur d'appréhender ces logiques complexes pour modéliser des connaissances.

Introduction à la logique standard : calcul des propositions, des prédicats et des relations
Livre Introduction à la logique standard : calcul des propositions, des prédicats et des relations

par Vernant, Denis (1948-....)

UGA éditions

2022 -

  • Disponible - 510.1 VER

    Niveau 2 - Sciences

Résumé : Exposé des bases de la logique des propositions, des prédicats et des relations ainsi que de leur fonctionnement calculatoire. Avec, en fin d'ouvrage, des exercices corrigés et commentés. ©Electre 2022

Les démonstrations : démontrer, l'art de convaincre : raisonner et prouver
Livre Les démonstrations : démontrer, l'art de convaincre : raisonner et prouver

POLE

2016 -

  • Disponible - 510 DEM

    Niveau 2 - Sciences

Résumé : Panorama des différentes méthodes de démonstration mathématique utilisées au cours de l'histoire, illustré d'exemples célèbres : analyse et synthèse, raisonnement par l'absurde, récurrence, descente infinie de Fermat, etc. Avec un point sur les contre-exemples et la nécessité, dans certains cas, de sortir des sentiers battus. ©Electre 2016

La logique de Charles Sanders Pierce : de l'algèbre aux graphes
Livre La logique de Charles Sanders Pierce : de l'algèbre aux graphes

par Thibaud, Pierre (1938-....)

Ed. de l'Université de Provence

1975

  • Disponible - 1"4" PEIR 2

    Niveau 2 - Philosophie

Information, complexité et hasard
Livre Information, complexité et hasard

par Delahaye, Jean-Paul (1952-....)

Hermès science publ.

1999

  • Disponible - 510.1 DEL

    Niveau 2 - Sciences

Philosophie des mathématiques
Livre Philosophie des mathématiques

par Dumoncel, Jean-Claude

Ellipses

2002 -

  • Disponible - 510.1 DUM

    Niveau 2 - Sciences

Résumé : Introduction à la philosophie des mathématiques.

Gödel, Escher, Bach : les brins d'une guirlande éternelle
Livre Gödel, Escher, Bach : les brins d'une guirlande éternelle

par Hofstadter, Douglas Richard (1945-....)

InterEditions

1996

  • Disponible - 510.1 HOF

    Niveau 2 - Sciences

Logique, ensembles, catégories : le point de vue constructif
Livre Logique, ensembles, catégories : le point de vue constructif

par Ageron, Pierre (1964-....)

Ellipses

2000 -

  • Disponible - 511.1 AGE

    Niveau 2 - Sciences

Résumé : Cours de mathématiques constructives : discussion approfondie des grands postulats non constructifs des mathématiques et développement de la théorie élémentaire des ensembles, des ensembles ordonnés et des catégories.

L'intelligence et le calcul : de Gödel aux ordinateurs quantiques
Livre L'intelligence et le calcul : de Gödel aux ordinateurs quantiques

par Delahaye, Jean-Paul (1952-....)

Belin-"Pour la science"

2002 -

  • Disponible - 518 DEL

    Niveau 2 - Sciences

Résumé : Aujourd'hui, les ordinateurs sont devenus équivalents en capacité de traitement de l'information au cerveau humain, ce qui amène à plusieurs interrogations : Les ordinateurs finiront-ils par dépasser l'intelligence humaine ? Est-ce la fin de l'homme biologique ? Quel est le rapport entre hasard et calcul ? Qu'est-ce que la certitude mathématique ?

Le concept de modèle
Livre Le concept de modèle

par Badiou, Alain (1937-....)

Maspéro

1972

  • Disponible - 1"4" BADI 1

    Niveau 2 - Philosophie

Explorer les sujets liés :

Logique mathématique

Logique mathématique

  • Type d'autorité
    • Concept
  • Autre(s) nom(s)
    • Logique formelle ;
    • Logique moderne symbolique
Haut de page