Facettes de la logique formelle
Thierry Lucas, Isabelle Berlanger, Vincent Degauquier - Collection Enseignement des mathématiques
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é 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.
L'auteur - Thierry Lucas
Thierry Lucas est professeur ordinaire à l'Université catholique de Louvain. Il y enseigne la logique aussi bien auprès des étudiants de sciences exactes que des étudiants de sciences humaines.
Autres livres de Thierry Lucas
L'auteur - Isabelle Berlanger
Isabelle Berlanger est licenciée en sciences mathématiques et en philosophie et assistante à l'Université catholique de Louvain.
Autres livres de Isabelle Berlanger
L'auteur - Vincent Degauquier
Autres livres de Vincent Degauquier
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Presses Polytechniques et Universitaires Romandes (PPUR) |
| Auteur(s) | Thierry Lucas, Isabelle Berlanger, Vincent Degauquier |
| Collection | Enseignement des mathématiques |
| Parution | 14/08/2025 |
| Nb. de pages | 422 |
| Format | 16 x 24 |
| Couverture | Broché |
| Poids | 706g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782889156511 |
| ISBN13 | 978-2-88915-651-1 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
