Documents disponibles écrits par cet auteur

Logique mathématique / Kleene, Stephen Cole

Public ISBD Titre : Logique mathématique Type de document : texte imprimé Auteurs : Kleene, Stephen Cole, Auteur ; Jean Largeault, Traducteur Editeur : Paris : Jaques Gabay Année de publication : 2004 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 Langues : Français (fre) 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 : * Logique mathématique élémentaire - Le calcul propositionnel - Le calcul des prédicats - Le calcul des prédicats avec égalité * La logique mathématique et les fondements des mathématiques - Les fondements des mathématiques - Calculabilité et décidabilité - Le calcul des prédicats (Suppléments) Logique mathématique [texte imprimé] / Kleene, Stephen Cole, Auteur ; Jean Largeault, Traducteur . - Paris : Jaques Gabay, 2004 . - 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 Langues : Français (fre) 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 : * Logique mathématique élémentaire - Le calcul propositionnel - Le calcul des prédicats - Le calcul des prédicats avec égalité * La logique mathématique et les fondements des mathématiques - Les fondements des mathématiques - Calculabilité et décidabilité - Le calcul des prédicats (Suppléments)

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
052990	510.6 KLE	Papier	Bibliothèque Centrale	Mathématiques	Disponible	En bon état