| Titre : |
Logique mathématique |
| Type de document : |
texte imprimé |
| Auteurs : |
Stephen Cole (1909-1994) Kleene, Auteur ; Jean Jean (1930-1995) Largeault, Traducteur |
| Editeur : |
Paris : Jaques Gabay |
| Année de publication : |
1987 |
| Importance : |
412 p. |
| Présentation : |
ill. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-87647-005-7 |
| 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 (fre) Langues originales : Anglais (eng) |
| Mots-clés : |
Calcul des propositions
Mathématiques -- Philosophie
Logique mathématique non classique
Calcul des prédicats
Logique mathématique |
| Index. décimale : |
510.6 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) |
Logique mathématique [texte imprimé] / Stephen Cole (1909-1994) Kleene, Auteur ; Jean Jean (1930-1995) Largeault, Traducteur . - Paris : Jaques Gabay, 1987 . - 412 p. : ill. ; 24 cm. ISBN : 978-2-87647-005-7 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 ( fre) Langues originales : Anglais ( eng)
| Mots-clés : |
Calcul des propositions
Mathématiques -- Philosophie
Logique mathématique non classique
Calcul des prédicats
Logique mathématique |
| Index. décimale : |
510.6 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) |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheLogique mathématique (1987)
