Mathematical Logic through Python - Gonczarowski, Yannai A.
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre96,36 €
Produit Neuf
Ou 24,09 € /mois
- Livraison à 0,01 €
- Livré entre le 9 et le 16 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781108845076_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Mathematical Logic Through Python Format Relié - Livre Informatique
0 avis sur Mathematical Logic Through Python Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Erazer Beast 16 X1 Ultimate (Md 62732) Intel Core Ultra 9 275hx Ordinateur Portable 16" Quad Hd+ 32 Go Ddr5-Sdram 2 To Ssd Nvidia Geforce Rtx 5090 Wi-Fi 6e (802.11ax) Windows 11 Home Noir
Neuf dès 107,15 €
-
The Philip K. Dick Collection
Neuf dès 109,00 €
-
Diane Arbus : An Aperture Monograph
Occasion dès 65,00 €
-
Anatomy Of The Horse
Neuf dès 109,61 €
Occasion dès 71,15 €
-
Encyclopedie Musicale Michael Jackson
6 avis
Occasion dès 115,00 €
-
Photographing Iceland Volume 1
Neuf dès 66,88 €
-
Histoire D'un Village Franc-Comtois: Menotey Depuis L'époque Gauloise Jusqu'à La Révolution (Classic Reprint)
Occasion dès 50,00 €
-
Exposition Générale
Neuf dès 65,60 €
Occasion dès 105,99 €
-
Instruction Pour Une Vie Raisonnable
Neuf dès 63,00 €
-
Conformal Field Theory
Neuf dès 190,65 €
Occasion dès 130,39 €
-
Max Beckmann - Die Landchaften
Occasion dès 49,92 €
-
James Ensor
Occasion dès 100,66 €
-
El Greco
Occasion dès 68,90 €
-
Art Of Modern Rock
2 avis
Occasion dès 50,00 €
-
Adrian Ghenie
1 avis
Neuf dès 64,26 €
-
Fäviken
Neuf dès 64,38 €
-
Fotografias 1976 - 2003 Photographs 1976 - 2003
Occasion dès 120,00 €
-
Diego Rivera. The Complete Murals
Neuf dès 97,04 €
Occasion dès 65,00 €
-
The Heart Of Understanding : Commentaries On The Prajnaparamita Heart Sutra
Occasion dès 59,00 €
-
Guerre Et Paix - Tomes 1 Et 2
6 avis
Occasion dès 116,90 €
Produits similaires
Présentation Mathematical Logic Through Python Format Relié
- Livre Informatique
Résumé :
Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code. While the approach is unique, the text follows the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of G?del's completeness theorem. A sneak peek to G?del's incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed....
Sommaire:
Preface; Introduction and Overview; Part I. Propositional Logic: 1. Propositional Logic Syntax; 2. Propositional Logic Semantics; 3. Logical Operators; 4. Proof by Deduction; 5. Working with Proofs; 6. The Tautology Theorem and the Completeness of Propositional Logic; Part II. Predicate Logic: 7. Predicate Logic Syntax and Semantics; 8. Getting Rid of Functions and Equality; 9. Deductive Proofs of Predicate Logic Formulas; 10. Working with Predicate Logic Proofs; 11. The Deduction Theorem and Prenex Normal Form; 12. The Completeness Theorem; 13. Sneak Peek at Mathematical Logic II: Godel's Incompleteness Theorem; Cheatsheet Axioms and Axiomatic Inference Rules Used in this Book; Notes; Index.
Détails de conformité du produit
Personne responsable dans l'UE