Logique Mathématique [ Livre] / Jean-François Pabion ; Préface de Marcel Guillaume
Langue : français.Publication : Paris : Hermann, Cop 1976, Imprimé en france : Lightning SourceDescription : 1 volume de XXXI-263 pages : Couverture illustré en couleur ; 22 cm.ISBN : 9782705658304.Collection: Collection MéthodesClassification : Résumé : 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é..| Type de document | Site actuel | Cote | Statut | Notes | Date de retour prévue |
|---|---|---|---|---|---|
Livre
|
Bibliothèque Universitaire Mohamed Sekkat 1er etage | 511.3 PAB (Parcourir l'étagère) | Disponible | New 2017 |
Survol Bibliothèque Universitaire Mohamed Sekkat Étagères , Localisation : 1er etage Fermer le survol d'étagère
|
|
|
|
|
|
|
||
| 511.3 JOI Logique dynamique et cognition | 511.3 LUC Initiation à la logique formelle | 511.3 MAR Mathématiques | 511.3 PAB Logique Mathématique | 511.3 REN Rencontres Francophones sur la Logique Floue et ses Applications tours 26-27 | 511.3 WOL Introduction à la calculabilité | 511.3 WOL Introduction à la calculabilité |
Bibliographie pages 261-263.
Index
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é.
Il n'y a pas de commentaire pour ce document.