Bibliothèque de Faculté de Génie Mécanique IGCMO
Catégorie 07 Logique mathematique
Documents disponibles dans cette catégorie (11)
Affiner la recherche Interroger des sources externes
Les codes en informatique : codes détecteurs et correcteurs d'erreurs [texte imprimé] / Khira LAMECHE, Auteur . - Hermes, 1995 . - 190 P. : ill; ; 15,5cm x 23,5cm. - ( Informatique, ISSN 0993-5037) . ISBN : 978-2-86601-465-0 Langues : Français ( fre) |  |
Réservation
Réserver ce document
Exemplaires(1)
|
73704
|
04-07-0027 |
Livre |
Bibliothèque IGCMO |
Documentaires
|
Disponible |
|
Cours de logique mathématique : Tome 1:Relation et formule logique [texte imprimé] / Roland FRAISSE, Auteur . - 2 éme . - GAUTHIER-VILLARS, 1971 . - 197 P. : ill, ; 16cm x 24cm. Langues : Français ( fre) | |
Réservation
Réserver ce document
Exemplaires(1)
|
1409
|
04-07-0001 |
Livre |
Bibliothèque IGCMO |
Documentaires
|
Disponible |
|
| Titre : |
Introduction à la logique : Théorie de la démonstration |
| Type de document : |
texte imprimé |
| Auteurs : |
Pierre-Louis CURIEN, Auteur |
| Mention d'édition : |
2 éme |
| Editeur : |
Dunod |
| Année de publication : |
2003 |
| Importance : |
352 p |
| Présentation : |
ill; |
| Format : |
17cm x 24cm |
| ISBN/ISSN/EAN : |
978-2-10-006796-1 |
| Langues : |
Français (fre) |
| Catégories : |
Mathematique:07 Logique mathematique
|
| Mots-clés : |
Formules et démonstrations de la Logique du premier ordre Complétude de la logique du premier ordre Exemples de théories Logique intuitionniste et modèle de Kripke . |
| Résumé : |
Résumé
Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu’outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie du livre traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d’exercices avec leurs corrigés sont proposés en fin de chapitres .
Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l’un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs.
Public :
Etudiants en 3e année de Licence ou en Master de mathématiques pures ; Candidats au CAPES et à l’agrégation
|
Introduction à la logique : Théorie de la démonstration [texte imprimé] / Pierre-Louis CURIEN, Auteur . - 2 éme . - Dunod, 2003 . - 352 p : ill; ; 17cm x 24cm. ISBN : 978-2-10-006796-1 Langues : Français ( fre)
| Catégories : |
Mathematique:07 Logique mathematique
|
| Mots-clés : |
Formules et démonstrations de la Logique du premier ordre Complétude de la logique du premier ordre Exemples de théories Logique intuitionniste et modèle de Kripke . |
| Résumé : |
Résumé
Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu’outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie du livre traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d’exercices avec leurs corrigés sont proposés en fin de chapitres .
Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l’un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs.
Public :
Etudiants en 3e année de Licence ou en Master de mathématiques pures ; Candidats au CAPES et à l’agrégation
|
| |
Réservation
Réserver ce document
Exemplaires(1)
|
127960
|
04-07-0039 |
Livre |
Bibliothèque IGCMO |
Documentaires
|
Disponible |
|
La Logique floue [texte imprimé] / Jean Raphael TONG -TONG, Auteur . - Hermes, 1995 . - 160 P : ill; ; 15,5cm x 23,5cm. ISBN : 978-2-86601-485-8 Langues : Français ( fre) | |
Réservation
Réserver ce document
Exemplaires(1)
|
73523
|
04-07-0026 |
Livre |
Bibliothèque IGCMO |
Documentaires
|
Disponible |
|
Réservation
Réserver ce document
Exemplaires(1)
|
101326
|
04-07-0030 |
Livre |
Bibliothèque IGCMO |
Documentaires
|
Disponible |
|
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
