Logique mathématique

de

Éditeur :

Hermann


Collection :

Méthodes

Paru le : 2010-06-29

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
Prix papier : 45,00 € Économisez 14,01€ (-31%)
30,99

Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description

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.
Pages
294 pages
Collection
Méthodes
Parution
2010-06-29
Marque
Hermann
EAN papier
9782705658304
EAN PDF
9791037028563

Informations sur l'ebook
Nombre pages copiables
29
Nombre pages imprimables
147
Taille du fichier
116623 Ko
Prix
30,99 €