Page de Garde

Introduction à la logique

Type doc. :

Livre

Langue :

Français

Auteur(s) :

Nour, Karim
Raffalli,Christophe
David, René
Curien, Pierre-Louis

Edition :

2éme ed.

Editeur(s) :

Dunod

Année d'édition :

2003, 2004

Sujet(s):
mathématique
logiciel
logique

Thème :

Mathématiques

ISBN :

9782100067961, 9782100806324
Voir Plus

Afficher le Résumé

Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet. Une annexe présente un assistant de démonstration, le logiciel PhoX.

Voir le Sommaire

N° Bulletin Date / Année de parution Titre N° Spécial Sommaire
N° d'Exemplaire / inventaire Cote Localisation Type de Support Type de Prêt Statut Date de Restitution Prévue Réservation
255050A19 510 DAV 1 C7 BIB-Centrale / Ouvrages Papier interne disponible
189888A05 510 DAV 1 C3 BIB-Centrale / Ouvrages Papier externe disponible
189887A05 510 DAV 1 C2 BIB-Centrale / Ouvrages Papier interne disponible
189886A05 510 DAV 1 C1 BIB-Centrale / Ouvrages Papier interne disponible
189889A06 510 DAV 1 C4 BIB-Centrale / Ouvrages Papier externe disponible
255048A19 510 DAV 1 C5 BIB-Centrale / Ouvrages Papier externe disponible
255049A19 510 DAV 1 C6 BIB-Centrale / Ouvrages Papier externe disponible
168300A01 510 DAV 1 C8 BIB-Centrale / Ouvrages Papier externe disponible
168302A01 510 DAV 1 C9 BIB-Centrale / Ouvrages Papier externe disponible
Nour, K. et al. (2003, 2004). Introduction à la logique (2éme ed.) . Dunod;