Résumé
Mettre les bases de la logique à la portée de tous, et plus particulièrement des non-mathématiciens, tel est l'objectif de ce manuel.
Tout spécifiquement conçu pour les étudiants entretenant une relation conflictuelle avec les sciences, ou définitivement rétifs aux maths et au formalisme, il ne requiert aucune formation ou bagage préalable. Pas question cependant de maintenir le lecteur à distance, et de ne lui proposer que quelques aperçus lointains: c'est au contraire au coeur même de la matière que Jacques Duparc emmène celui-ci, en le guidant pas à pas sur une trace moderne et novatrice, privilégiant le jeu et l'intuitivité.
Claire et didactique, une référence incontournable pour l'apprentissage de la logique.
L'avis du libraire Eyrolles
Avec force schémas et couleurs, en privilégiant le jeu et la créativité, l'auteur nous guide dans les méandres de la Logique
Sommaire
- Calcul positionnel
- Syntaxe
- Sémantique
- Théorie de la démonstration
- Logique modale
- Préambule
- En route vers les mondes possibles
- Syntaxe
- Sémantique
- Systèmes logiques
- Logiques aléthique, déontique, épistémique
- Un soupçon de logique modale quantifiée
- Logique du premier ordre
- Préambule
- Syntaxe
- Sémantique
- Traduction de la logique modale dans la logique du 1er ordre
- Théorie de la démonstration.
- Récursivité, second ordre et correspondance preuves-programmes
- Différents formats d'infinis
- Récursivité
- Logique du second ordre et théorie des ensembles
- Correspondance preuves-programmes
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Presses Polytechniques et Universitaires Romandes (PPUR) |
Auteur(s) | Jacques Duparc |
Parution | 29/10/2015 |
Nb. de pages | 570 |
Format | 17 x 24 |
Couverture | Broché |
Poids | 1076g |
Intérieur | Quadri |
EAN13 | 9782889151264 |
ISBN13 | 978-2-88915-126-4 |
Avantages Eyrolles.com
Nos clients ont également acheté
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
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
- Sciences Sciences et culture Initiation aux sciences Découverte des mathématiques