Nous utilisons des cookies pour vous proposer des contenus et services adaptés. En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies.
Ce site respecte la loi RGPD du 25 mai 2018. Pour en savoir plus, cliquez ici
COVID19 : Contact par mail uniquement

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

Introduction à la logique Théorie de la démonstration - dunod - 9782100067961 -
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 :

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.
Reliure : Broché
Nbr de pages : 352
ISBN 10 : 2100067966
ISBN 13 : 9782100067961
34,50 €
Epuisé , cet ouvrage n'est plus commercialisé par l'éditeur (en savoir plus)

Acheter la nouvelle édition

Nouvelle édition Introduction à la logique
34,50 €

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
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.

NOUVELLE EDITION

Pas de visuel pour

Type de support :
Dernières parutions dans Sciences sup, Algèbre
69,00 €
Dernières parutions dans Sciences sup, Physique nucléaire - 2e éd.
27,00 €
Dernières parutions dans Sciences sup, Cours de physique - Optique - 2e éd.
29,50 €
Dernières parutions dans Sciences sup, Initiation à la Cosmologie - 5e éd.
22,00 €
Dernières parutions dans Sciences sup, Biologie végétale. 3e édition
26,90 €
Dernières parutions dans Sciences sup, Mécanique des matériaux solides
59,00 €
Dernières parutions dans Sciences sup, Introduction à la mécanique non linéaire
35,00 €
Dernières parutions dans Sciences sup, Le cours de physique de Feynman
42,00 €
Dernières parutions dans Sciences sup, Principes de paléontologie
35,00 €
Dernières parutions dans Sciences sup, Physiologie végétale
36,60 €
Dernières parutions dans Sciences sup, Volcanologie
36,00 €
Dernières parutions dans Sciences sup, Logique mathématique
42,50 €
Dernières parutions dans Sciences sup, Analyse complexe pour la Licence 3
27,40 €
Dernières parutions dans Sciences sup, Toxicologie
28,00 €
Dernières parutions dans Sciences sup, Introduction à la physique quantique
23,00 €
Dernières parutions dans Sciences sup, Mathématiques - Tout-en-un pour la Licence 2
49,00 €
Dernières parutions dans Sciences sup, Mécanique analytique - Cours et exercices corrigés
32,00 €
Dernières parutions dans Sciences sup, Minéralogie
25,00 €
Dernières parutions sur Logique, Logique mathématique
42,50 €
Dernières parutions sur Logique, Calculs de signification par une logique d'opérateurs
65,00 €
Dernières parutions sur Logique, Logique Combinatoire et (lambda)-Calcul : des logiques d'opérateurs
22,00 €
Dernières parutions sur Logique, Calcul en logique du premier ordre
32,00 €
Dernières parutions sur Logique, Intuition et déduction en mathématique
28,00 €
Dernières parutions sur Logique, Logique mathématique
44,00 €
Dernières parutions sur Logique, Logique arithmétique
31,50 €
Dernières parutions sur Logique, Les démonstrations et les algorithmes
18,30 €
Dernières parutions sur Logique, Ouvrir la logique au monde
42,00 €
Dernières parutions sur Logique, Logiques non-standard
16,00 €
Dernières parutions sur Logique, Précis de sudoku
27,00 €
Dernières parutions sur Logique, Logique mathématique
42,50 €
Dernières parutions sur Logique, Logique mathématique
43,50 €
Dernières parutions sur Logique, Logiques, ensembles, catégories Le point de vue constructif
15,00 €

Rubriques associées pour Introduction à la logique Théorie de la démonstration :