Bibliothèque de Faculté des mathématiques et de l'informatique
Détail de l'auteur
Auteur Jean-Louis Krivine
(1939-..)
|
Documents disponibles écrits par cet auteur (3)
Affiner la recherche Interroger des sources externes
| Titre : |
Logique mathématique : 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats; cours et exercices corrigés |
| Type de document : |
texte imprimé |
| Auteurs : |
René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. |
| Editeur : |
Paris : Dunod |
| Année de publication : |
2003 |
| Collection : |
Sciences sup, ISSN 1636-2217 |
| Importance : |
385 p. |
| Présentation : |
couv. ill. en coul., ill. |
| Format : |
24 cm. |
| ISBN/ISSN/EAN : |
978-2-10-005452-7 |
| Note générale : |
Bibliogr. p.361-363. Index. |
| Langues : |
Français (fre) |
| Index. décimale : |
04-07-Logique mathématique |
| Résumé : |
Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. |
Logique mathématique : 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats; cours et exercices corrigés [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. . - Paris : Dunod, 2003 . - 385 p. : couv. ill. en coul., ill. ; 24 cm.. - ( Sciences sup, ISSN 1636-2217) . ISBN : 978-2-10-005452-7 Bibliogr. p.361-363. Index. Langues : Français ( fre)
| Index. décimale : |
04-07-Logique mathématique |
| Résumé : |
Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. |
|  |
Réservation
Réserver ce document
Exemplaires (1)
|
| 127940 | 04-07-1036 | Livre | Bibliothèque de faculté d'informatique et mathématique | Mathématiques | Disponible |
| Titre : |
Logique mathématique : cours et exercices; 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats |
| Type de document : |
texte imprimé |
| Auteurs : |
René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. |
| Editeur : |
Paris : Masson |
| Année de publication : |
1993 |
| Collection : |
Axiomes, ISSN 1243-4264 |
| Importance : |
385 p. |
| Présentation : |
couv. ill. en coul., ill. |
| Format : |
24 cm. |
| ISBN/ISSN/EAN : |
978-2-225-84079-1 |
| Note générale : |
Bibliogr., t. 1, p. 361-363 et t. 2, p. 323-325. Index. |
| Langues : |
Français (fre) |
| Index. décimale : |
04-07-Logique mathématique |
Logique mathématique : cours et exercices; 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. . - Paris : Masson, 1993 . - 385 p. : couv. ill. en coul., ill. ; 24 cm.. - ( Axiomes, ISSN 1243-4264) . ISBN : 978-2-225-84079-1 Bibliogr., t. 1, p. 361-363 et t. 2, p. 323-325. Index. Langues : Français ( fre) | |
Réservation
Réserver ce document
Exemplaires (1)
|
| 62915 | 04-07-24 | Livre | Bibliothèque de faculté d'informatique et mathématique | Mathématiques | Disponible |
| Titre : |
Logique mathématique : Cours et exercices; 2- Fonctions récursives, théorème de GÉodel, théorie des ensembles, théorie des modèles |
| Type de document : |
texte imprimé |
| Auteurs : |
René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. |
| Mention d'édition : |
2e tirage corrigé |
| Editeur : |
Paris : Masson |
| Année de publication : |
1994 |
| Collection : |
Axiomes, ISSN 1243-4264 |
| Importance : |
347 p. |
| Présentation : |
couv. ill. en coul., ill. |
| Format : |
24 cm. |
| ISBN/ISSN/EAN : |
978-2-225-84080-7 |
| Note générale : |
Bibliogr. p.323-325. Index. |
| Langues : |
Français (fre) |
| Index. décimale : |
04-07-Logique mathématique |
Logique mathématique : Cours et exercices; 2- Fonctions récursives, théorème de GÉodel, théorie des ensembles, théorie des modèles [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. . - 2e tirage corrigé . - Paris : Masson, 1994 . - 347 p. : couv. ill. en coul., ill. ; 24 cm.. - ( Axiomes, ISSN 1243-4264) . ISBN : 978-2-225-84080-7 Bibliogr. p.323-325. Index. Langues : Français ( fre) | |
Réservation
Réserver ce document
Exemplaires (1)
|
| 62920 | 04-07-25 | Livre | Bibliothèque de faculté d'informatique et mathématique | Mathématiques | Disponible |
Accueil
Sélection de la langue
Adresse
Faculté des Mathématiques et de l'Informatique
Bibliothèque de Faculté
31000 Oran
Algérie
(213)041560000
Université des Sciences et de la Technologie Mohamed Boudiaf d'Oran
