0
Introduction à la logique ; théorie de la demonstration ; 3e année de licence, master, CAPES, Agrégation ; cours et exercices corrigés (2e édition) (2e édition)

Introduction à la logique ; théorie de la demonstration ; 3e année de licence, master, CAPES, Agrégation ; cours et exercices corrigés (2e édition) (2e édition)

Editeur(s) : DUNOD

Collection(s) : Sciences Sup

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.
Épuisé
Indisponible définitivement chez l'éditeur
34,50 €
Ean : 9782100067961
Date de parution : 05/01/2004
Format et Reliure : Grand format
Pages : 352
Retrait
RETRAIT EN MAGASIN
GRATUIT
frais de port 2€x
FRAIS DE PORT 2 €
DÈS 35 € D'ACHAT
Livres en stock
LIVRES EN STOCK
retirés à la librairie ou expédiés sous 24 à 48h
Livre sur commande
LIVRES SUR COMMANDE
retirés à la librairie ou expédiés sous 3 à 8j
Retrait
RETRAIT EN MAGASIN
GRATUIT
frais de port 2€x
FRAIS DE PORT 2 €
DÈS 35 € D'ACHAT
chèques cadeaux
CHÈQUES CADEAUX
OMBRES BLANCHES
Livres en stock
LIVRES EN STOCK
retirés à la librairie ou expédiés sous 24 à 48h
Livre sur commande
LIVRES SUR COMMANDE
retirés à la librairie ou expédiés sous 3 à 8j

Librairie Ombres Blanches - Toulouse

50 rue Gambetta, Tél. 05 34 45 53 33
Cinéma : 33 rue Gambetta
Voyage : 48 rue Gambetta, Tél. 05 34 45 53 38
Langues Etrangères : 3 rue Mirepoix, Tél. 05 34 45 55 32

Suivez-nous

Newsletters

Abonnement
avec le support du CNL
France Relance
Mentions légales - CGV - RGPD - © Librairie Ombres Blanches 2024