Logique mathématique [French]

By Jean Francois Pabion

Afin de ne pas manquer la simplicit fondamentale des concepts tudi s, ce manuel pr sente les l ments de la logique math matique dans un style volontairement simple, d gag du souci de la forme. Loin de pr tendre couvrir le sujet, seuls ont t s lectionn s quelques th mes importants, abord s par des m thodes instructives et illustr s par des applications non gratuites. Des exercices compl tent le texte et abordent quelques questions d'un niveau plus lev . Sommaire: Le cacul propositionnel Le calcul des propostions analys es Th ories des d ductions Une th orie des ensembles La compl tude s mantique La th orie des d finitions Application la g om trie limination des quantificateurs Les th or mes de limitation Relations et fonctions r cursives.

• Format: Paperback
• Language: French
• ISBN: 2705658300
• ISBN13: 9782705658304
• Release Date: June 2010
• Publisher: Hermann
• Length: 264 Pages
• Weight: 0.92 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"