Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Eléments de logique formelle
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Eléments de logique formelle

Eléments de logique formelle

Gérard Chazal

224 pages, parution le 21/09/1996

Résumé

Cet ouvrage qui s'adresse tant à l'étudiant qu'à "l'honnête homme", présente donc les techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et calcul des prédicats. Chaque chapitre est suivi d'une série d'exercices visant à mettre le lecteur en situation de pratiquer la technique logique. Le corrigé des exercices est donné à la fin de l'ouvrage. De plus quelques textes philosophiques accompagnent certains chapitres et s'offrent à la méditation. Cet ouvrage s'efforçant de toujours donner un recul réflexif par rapport à une discipline, recul qui fait le propre de l'esprit philosophique.

L'auteur - Gérard Chazal

Gérard Chazal, docteur en philosophie, enseigne à l'Université de Bourgogne. Il a publié Le Miroir automate : introduction à une philosophie de l'informatique (Champ Vallon, 1995) et Formes, figures, réalité (Champ Vallon, 1997).

Autres livres de Gérard Chazal

Sommaire

  • Introduction
  • 1. Nature et brève histoire de la logique
  • 2. La proposition chez Aristote
  • 3. Le syllogisme
  • 4. Déduction et résolution des syllogismes
  • 5. L'Ecole de Mégare et les stoïciens
  • 6. Le calcul des propositions : conjonction et disjonction inclusive
  • 7. Le calcul des propositions : disjonction exclusive, implication etéquivalence
  • 8. Le calcul des propositions : généralisation de la notion d'opérateur logique
  • 9. Le calcul des propositions : les formes normales
  • 10. Le calcul des propositions : notion de déduction
  • 11. L'analyse de la proposition : la notion de prédicat
  • 12. La quantification
  • 13. La quantification et les opérateurs binaires : portée d'un quantificateur
  • 14. Interprétation ensembliste du calcul des prédicats : éléments de théorie des ensembles
  • 15. Opérateurs sur les ensembles
  • 16. Les relations
  • 17. Les propriétés des relations binaires
  • 18. Fonctions et applications
  • 19. Déduction et démonstration dans le calcul des prédicats
  • 20. Langage - Métalangage, Syntaxe - Sémantique, Langage formel - Système formel
  • Conclusion
  • Corrigé des exercices
  • Bibliographie
Voir tout
Replier

Caractéristiques techniques

  PAPIER NUMERIQUE
Éditeur(s) Hermès - Lavoisier
Auteur(s) Gérard Chazal
Parution 21/09/1996 01/06/2008
Nb. de pages 224 0
Format 16 x 24 -
Couverture Broché -
Poids 340g -
Intérieur Noir et Blanc -
Contenu - PDF
EAN13 9782866015480 9782746234062
ISBN13 978-2-86601-548-0 -

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription