Ce manuel d’étude de Sara Negri traite de la théorie de la preuve structurelle, une branche de la logique qui s’intéresse à la structure générale et aux propriétés des preuves logiques et mathématiques. Il offre une introduction compacte aux résultats centraux et aux méthodes et convient aux étudiants comme aux spécialistes en philosophie, en mathématiques et en informatique. Un trait important est le programme interactif, assisté par ordinateur, destiné au développement de preuves, qui fait l’objet de mises à jour régulières.
Aperçu
La théorie de la preuve structurelle étudie la structure générale des preuves logiques, en mettant l’accent sur la déduction naturelle et le calcul des séquents. Le livre contient des résultats approfondis sur les systèmes de preuve-théorie et sur le lien entre la logique et les mathématiques. Les auteurs mettent notamment l’accent sur le contenu computationnel des découvertes logiques. Cela en fait un ouvrage de référence précieux pour toute personne qui s’intéresse à la preuve structurelle et aux domaines connexes.
Informations sur le produit
- Auteur : Sara Negri (University of Helsinki)
- Éditeur : Cambridge University Press
- Reliure : Broché (US)
- Date de publication : 2008-07-10
- Nombre de pages : 276
- ISBN : 9780521068420
- Thème : Philosophie : logique
- BISAC : PHILOSOPHY / Logic