Description
Cet ouvrage, entièrement révisé dans cette seconde édition, est un cours introductif à la logique mathématique et, en particulier, la théorie de 1a démonstration.
On y donne la réponse du mathématicien aux questions " qu'est-ce qu'un énoncé ? une démonstration ? " ou plus fondamentalement, " qu'est-ce que les mathématiques ? ", en l'illustrant par de nombreux exemples de mathématiques courantes. Il aborde également la logique intuitionniste qui donne des preuves constructives et les techniques de base de la démonstration automatique. Ces notions sont essentielles en informatique.
Pour aider le lecteur dans sa compréhension, ce cours contient de nombreux exemples et près de 170 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, écrit par l'un des auteurs. Des compléments aux corrigés (preuves complètement formalisées ou réalisées avec le logiciel PhoX) ainsi que le logiciel Phox, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s'adresse plus particulièrement aux étudiants en troisième année de Licence ou en Master.
II pourra également intéresser les candidats au CAPES et à l'agrégation.
Détails sur le produit
Nous travaillons avec plusieurs fournisseurs ce qui nous permet de vous proposer plus de 180 000 références.
Afin de vous satisfaire, tous les produits indiqués "sur-commande", "en réapprovisionnement" et "Pré-commande" sont des produits disponibles ou annoncés prochainement auprès de nos fournisseurs mais ne sont pas en stock dans nos locaux.
Généralement les délais de livraison dans nos locaux sont soit:
- le jour de la sortie
- sous 1 à 5 semaines selon l'éditeur si le produit est en cours de réassort
- Certains produits sont malheureusement long à réapprovisionner car en rupture temporaire et nous ferons une demande d'estimation de livraison pour mieux vous aider
Nous sommes livrés du mardi au samedi ce qui nous permet de vous envoyer vos commandes le plus rapidement possible.
Dès la confirmation de l'expédition, votre commande sera livré sous 24/48 heures.
Les avantages de travailler "sur-commande" et/ou "en réapprovisionnement":
- Prix le plus bas garanti (PPC)
- Une garantie de 2 ans pour les produits neufs et de 6 mois pour les produits d'occasion.
- L'impossibilité d'annuler la commande
- Les délais sont malheureusement long
- Le produit peut être indisponible
En cas d'indisponibilité votre commande sera annulée et remboursée
Les avantages de précommander :
- L'intérêt d'une précommande porte sur le fait qu'il offre la possibilité de réserver prioritairement un produit.
- Sachant que la plupart des produits sont édités à très peu d'exemplaires et / ou en éditions limitées, le fait de les précommander permet à nos éditeurs de fabriquer suffisamment d'exemplaires et d'éviter la rupture de stock et même l'annulation avant sa sortie nationale ou de proposer une nouvelle édition.
- Livraison le jour de sa sortie
Nous restons disponibles pour répondre à vos questions, soit par mail, soit par téléphone.
sur:
Langue
Nbres Pages
Auteurs
Info éditeur
Nous vous proposons également
- S'ouvre dans une nouvelle fenêtre.