Logic and structure / Dirk van Dalen

Public ISBD Titre : Logic and structure Type de document : texte imprimé Auteurs : Dirk van Dalen (1932-....), Auteur Mention d'édition : 4e éd. Editeur : Berlin : Springer Année de publication : 2004 Collection : Universitext Importance : 1 vol. (263 p.) Format : 24 cm ISBN/ISSN/EAN : 978-3-540-20879-2 Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Résumé : Un bon manuel peut améliorer énormément un cours de conférences, surtout lorsque le matériel de la conférence comprend de nombreux détails techniques. Le livre de Van Dalen, dont le succès et la popularité peut être suspecté de cet intérêt constant, contient une introduction complète à la logique élémentaire classique de manière détendue, adaptée aux étudiants en mathématiques qui veulent simplement connaître la logique. La présentation indique toujours les connexions de la logique à d'autres parties des mathématiques. Le lecteur voit immédiatement que la logique est «juste une autre branche des mathématiques» et pas quelque chose de plus sacré Note de contenu : Sommaire Introduction Propositional Logic Predicate Logic Completeness and Applications Second Order Logic Intuitionistic Logic Normalisation Goedel's Theorem Bibliography Index Côte titre : Fs/2699-2700 Logic and structure [texte imprimé] / Dirk van Dalen (1932-....), Auteur  . -  4e éd. . - Berlin : Springer, 2004 . - 1 vol. (263 p.) ; 24 cm. - (Universitext) . ISBN : 978-3-540-20879-2 Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 Logique mathématique Résumé : Un bon manuel peut améliorer énormément un cours de conférences, surtout lorsque le matériel de la conférence comprend de nombreux détails techniques. Le livre de Van Dalen, dont le succès et la popularité peut être suspecté de cet intérêt constant, contient une introduction complète à la logique élémentaire classique de manière détendue, adaptée aux étudiants en mathématiques qui veulent simplement connaître la logique. La présentation indique toujours les connexions de la logique à d'autres parties des mathématiques. Le lecteur voit immédiatement que la logique est «juste une autre branche des mathématiques» et pas quelque chose de plus sacré Note de contenu : Sommaire Introduction Propositional Logic Predicate Logic Completeness and Applications Second Order Logic Intuitionistic Logic Normalisation Goedel's Theorem Bibliography Index Côte titre : Fs/2699-2700

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/2700	Fs/2699-2700	Livre	Bibliothéque des sciences	Anglais	Disponible Disponible
Fs/2699	Fs/2699-2700	Livre	Bibliothéque des sciences	Anglais	Disponible Disponible

---

1 (1 - 1 / 1)