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

Lucas Thierry ; Berlanger Isabelle ; Degauquier Vi
PU POLYTECHNIQU
49,00 €
Sur commande, 2 à 4 jours
EAN : 9782889156511

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é 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.

Commandé avant 16h, livré demain
Nombre de pages 416
Date de parution 14/08/2025
Poids 300g
Largeur 160mm
Plus d'informations
Plus d'informations
EAN 9782889156511
Titre Facettes de la logique formelle
Auteur Lucas Thierry ; Berlanger Isabelle ; Degauquier Vi
Editeur PU POLYTECHNIQU
Largeur 160
Poids 300
Date de parution 20250814
Nombre de pages 416,00 €

Pourquoi choisir Molière ?

 
Efficacité et rapidité Commandé avant 16h livré demain
 
Économique et pratique Livraison à domicile dès 5,10 €
 
Facile et sans frais Retrait gratuit en magasin
 
Sécurité et tranquillité Paiement 100 % sécurisé
 
Disponibilité et écoute Contactez-nous sur WhatsApp