Introduction à la logique - 3e éd.
René David
400 pages
Livraison à la Réunion tout compris
Retours et SAV simplifiés
Ce produit dispose de la Garantie Isleden
Description
Cet ouvrage, révisé pour cette troisième édition, est un cours introductif à la logique mathématique, et en particulier à la théorie de la démonstration. Il s’intéresse, du point de vue du mathématicien, aux questions : « Qu’est-ce qu’un énoncé ? une démonstration ? » ou, plus fondamentalement : « Que sont les mathématiques ? ». Les réponses proposées sont illustrées par de nombreux exemples issus des mathématiques classiques. Il aborde également la logique intuitionniste, qui fournit des preuves constructives, la logique d’ordre supérieur, qui permet de formaliser des raisonnements mathématiques plus riches en autorisant la quantification sur des ensembles, des fonctions ou des prédicats, ainsi que les techniques de base de la démonstration automatique, notions devenues essentielles en informatique.
Cette nouvelle édition comporte en outre une introduction assez complète à la logique linéaire, qui permet de décomposer les connecteurs logiques et de gérer finement les règles d’utilisation des hypothèses.
Pour accompagner le lecteur dans sa progression, le cours contient de nombreux exemples et plus de 190 exercices corrigés. Une annexe présente un assistant de démonstration, le logiciel PhoX, développé par l’un des auteurs et utilisable en ligne. Des compléments aux corrigés (preuves entièrement formalisées avec le logiciel PhoX), ainsi que le logiciel lui-même, sont disponibles sur le site des auteurs. Ce livre, qui ne suppose aucun prérequis en logique, s’adresse plus particulièrement aux étudiants de la licence à la première année de doctorat. Il pourra également intéresser les candidats au CAPES et à l’agrégation.
Caractéristiques
Livraison à la Réunion
Notre priorité est votre satisfaction et nous mettons tout en œuvre pour vous apporter un service irréprochable.
Isleden livre chez vous à la Réunion !
Grâce à sa logistique ultra-performante, grâce à ses partenaires locaux, Isleden apporte votre commande directement chez vous ou dans votre boîte aux lettres si vous n'êtes pas là.
Si le colis est trop volumineux ou si sa valeur est importante, le colis sera remis au Bureau de poste le plus proche ou vous pourrez aller le chercher au moment qui vous arrange, en toute sécurité.
Commandez depuis votre canapé et faites vous livrer à domicile. C'est aussi simple que ça !
Livraison en moins de 15 jours sur plus d'1 million d'articles disponibles !
Chaque jour, Isleden ajoute à son catalogue de nouveaux fournisseurs et des milliers de produits. Revenez régulièrement pour trouver la perle rare.
Dès la commande passée, nous mettons tout en œuvre afin de réduire le temps de livraison. Nos transporteurs et partenaires locaux font le maximum pour vous apporter rapidement votre commande, dans les meilleures conditions.
Que vous commandiez un téléphone mobile, une perceuse ou un ordinateur portable, nous attachons une grande importance à ce que vous profitiez rapidement de votre achat.
Un service Exclusif pour les réunionnais !
Fini la galère des achats sur les sites qui ne livrent pas directement, rapatriés comme on peut, sans retour possible ni SAV, et parfois avec une ardoise à l'arrivée qu'on avait pas prévu.
Chez Isleden il n'y a pas de taxes ni de frais de douane. Nos prix sont tout compris et vous n'avez rien à payer à l'arrivée. Vous avez la possibilité de nous retourner votre produit sous 14 jours et le SAV est bien sûr pris en charge.
Tous nos produits sont garantis et bénéficient du service premium Isleden. en cas de panne, le formulaire disponible sur le site permet facilement d'enregistrer son SAV qui sera alors traité dans les meilleurs délais.