Treatment in progress...
Close notification

Our telephone...

is currently not working. We're doing all we can to get the problem solved as soon as possible. 
In the meantime, please use e-mail to contact us.

Display notification
FR EN
Back
or use our advanced search function
Your cart is empty.
Picture of Logique mathématique

Logique mathématique

Pabion Jean-François
Publication date 30/06/2010
EAN: 9782705658304
Availability Available from publisher
45.00 €
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éle... See full description
Detailed information
Attribute nameAttribute value
Common books attribute
PublisherHERMANN
Page Count294
Languagefr
AuthorPabion Jean-François
FormatPaperback / softback
Product typeBook
Publication date30/06/2010
Weight419 g
Dimensions (thickness x width x height)1.60 x 15.60 x 23.40 cm
Summary
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 propositionnelLe calcul des propostions analyséesThéories des déductionsUne théorie des ensemblesLa complétude sémantiqueLa théorie des définitionsApplication à la géométrieÉlimination des quantificateursLes théorèmes de limitationRelations et fonctions récursives.