Introduction à la logique Théorie de la démonstration - dunod - 9782100067961 -
Introduction à la logique Théorie de la démonstration 

Introduction à la logique Théorie de la démonstration

Voir la nouvelle édition
Introduction à la logique
Année : 08/2019 (2ème édition)

Auteur : 

Editeur : Dunod

Collection : Sciences sup

Date parution :

Reliure :
Broché
Nbr de pages :
352
ISBN 10 :
2100067966
ISBN 13 :
9782100067961
34,50 €
Définitivement indisponible
Cet ouvrage n'est plus commercialisé par l'éditeur
Paiements sécurisés
CB Google/Apple Pay, Chèque, Virement
0.01€ à partir de 35€ en France métropolitaine
Satisfait ou remboursé sous 14 jours ouvrés

Quel est le sujet du livre "Introduction à la logique Théorie de la démonstration"

2ème édition.
Cours et exercices corrigés.
Licence 3ème année, Master, Capes, Agrégation. En suivant ce lien, retrouvez tous les livres dans la spécialité Logique mathématique.

Sommaire et contenu du livre "Introduction à la logique Théorie de la démonstration"

1 - Formules et démonstrations de la logique du premier ordre ; 2 - Complétude de la logique du premier ordre ; 3 - Exemples de théories ; 4 - Logique intuitionniste et modèles de Kripke ; 5 - Calcul des séquents ; 6 - Logiques d'ordre supérieur ; 7 - Démonstration automatique ; Annexe : Le logiciel Phox.

    Avis clients sur Introduction à la logique Théorie de la démonstration - dunod - Sciences sup

    (Ils sont modérés par nos soins et rédigés par des clients ayant acheté l'ouvrage)
    Donnez votre avis
       
      Controler les cookies