| Titre : | Logique mathématique |
| Auteurs : | Stephen Cole (1909-1994) Kleene, Auteur ; Jean Jean (1930-1995) Largeault, Traducteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Jaques Gabay, 1987 |
| ISBN/ISSN/EAN : | 978-2-87647-005-7 |
| Format : | 412 p. / ill. / 24 cm |
| Note générale : |
Trad. de : "Mathematical Logic". - Reprod. photomécanique de l'éd. de : Paris, A. Colin, 1971
Bibliogr. p. 379-[391]. - Notes bibliogr. - Index |
| Langues : | Français |
| Langues originales : | Anglais |
| Index. décimale : | 510.6 (Logique mathématique) |
| Tags : | Calcul des propositions Mathématiques -- Philosophie Logique mathématique non classique Calcul des prédicats Logique mathématique |
| Résumé : | La logique est à la base de tout raisonnement, qu'il soit mathématique, méthodologique, probabiliste, statistique, etc. Paradoxalement, beaucoup de chercheurs raisonnent avec une logique informelle; ce livre permet de rendre plus formelle cette essentielle logique. Après un rappel de la logique élémentaire, i.e. tables de vérité, calcul propositionnel, etc., ce manuel fait un excellent résumé de récents développements, quelques fois discutés, mais plus ou moins assimilés, e.g. calculabilité, décidabilité, incomplétude. |
| Note de contenu : |
Au sommaire :
Parie 1 : Logique mathématique élémentaire 1. Le calcul propositionnel 2. Le calcul des prédicats 3. Le calcul des prédicats avec égalité Partie 2 : La logique mathématique et les fondements des mathématiques 4. Les fondements des mathématiques 5. Calculabilité et décidabilité 6. Le calcul des prédicats (Suppléments) |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 510.6 KLE | Papier | Bibliothèque Centrale | Mathématiques | Disponible | Consultation sur place |
