Facettes de la logique formelle. Les présentations de base, leurs relations, leurs prolongements

Par : Thierry Lucas
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay indisponible
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages416
  • PrésentationBroché
  • FormatGrand Format
  • Poids0.705 kg
  • Dimensions16,0 cm × 24,0 cm × 2,3 cm
  • ISBN978-2-88915-651-1
  • EAN9782889156511
  • Date de parution14/08/2025
  • CollectionEnseignement des mathématiques
  • ÉditeurPPUR
  • AuteurIsabelle Berlanger
  • AuteurVincent Degauquier

Résumé

Ce manuel propose six présentations fondamentales de la logique mathématique contemporaine et leurs relations : l'approche sémantique, l'axiomatique hilbertienne, la relation de conséquence, les séquents à conclusion multiple, les séquents à conclusion simple et la déduction naturelle. L'exposé théorique, très complet, vise à justifier systématiquement les choix adoptés et ne laisse aucune difficulté dans l'ombre.
Le texte est enrichi de nombreux exercices de difficulté variable, résolus ou dont la solution est esquissée, ainsi que d'ouvertures sur des prolongements théoriques. Avec un contenu moins dogmatique et plus réflexif que celui de nombreux titres publiés précédemment sur le sujet, cet ouvrage s'adresse principalement aux étudiants de mathématiques, de philosophie, d'informatique ou de sciences formelles ayant déjà suivi un cours de base en logique et qui, soucieux de poursuivre leur étude, se heurtent souvent à la multiplicité des approches et des notations.
Son organisation et son style permettent à chaque lecteur de progresser "à la carte" en fonction de ses centres d'intérêt.
Ce manuel propose six présentations fondamentales de la logique mathématique contemporaine et leurs relations : l'approche sémantique, l'axiomatique hilbertienne, la relation de conséquence, les séquents à conclusion multiple, les séquents à conclusion simple et la déduction naturelle. L'exposé théorique, très complet, vise à justifier systématiquement les choix adoptés et ne laisse aucune difficulté dans l'ombre.
Le texte est enrichi de nombreux exercices de difficulté variable, résolus ou dont la solution est esquissée, ainsi que d'ouvertures sur des prolongements théoriques. Avec un contenu moins dogmatique et plus réflexif que celui de nombreux titres publiés précédemment sur le sujet, cet ouvrage s'adresse principalement aux étudiants de mathématiques, de philosophie, d'informatique ou de sciences formelles ayant déjà suivi un cours de base en logique et qui, soucieux de poursuivre leur étude, se heurtent souvent à la multiplicité des approches et des notations.
Son organisation et son style permettent à chaque lecteur de progresser "à la carte" en fonction de ses centres d'intérêt.