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
25 résultats par colonne 50 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 ; Martin, Bruno (1967-....) ; Chetrite, Raphaël (1981-....) ; Fijalkow, Nathanaël (19..-....) ; Riva, Sara

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-....) ; Laleuf, Jean-Claude ; Héry, Jean-François

É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

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