Mathematical Logic through Python - Gonczarowski, Yannai A.
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre104,67 €
Produit Neuf
Ou 26,17 € /mois
- Livraison à 0,01 €
- Livré entre le 15 et le 27 juillet
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.
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
The Ghost In The Shell Book
Neuf dès 68,51 €
-
Microeconomics, Global Edition
Neuf dès 145,74 €
Occasion dès 75,90 €
-
Collecting Antique Meerschaum Pipes
Neuf dès 55,84 €
-
Ghost In The Shell
Neuf dès 55,04 €
-
Hilma Af Klint: The Art Of Seeing The Invisible
1 avis
Neuf dès 55,16 €
-
Soft Power And Great-Power Competition
Neuf dès 58,89 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 94,54 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 103,50 €
-
The Art Of Jewelry Design
1 avis
Neuf dès 66,75 €
Occasion dès 66,00 €
-
Official Guide To Oet
Neuf dès 69,41 €
-
Photographs
Occasion dès 80,09 €
-
Les Troubadours - Anthologie Bilingue - Jacques Roubaud
Occasion dès 130,00 €
-
Numicon: Homework Activities Intervention Resource - 'maths Bag' Of Resources Per Pupil
Neuf dès 69,96 €
-
L'anglais À L'entrée Des Grandes Écoles N° 5 - Épreuves Corrigées Des Concours 1973-1977
Occasion dès 55,50 €
-
Singing With Your Whole Self
Neuf dès 64,25 €
-
A Primer For Emotionally Focused Individual Therapy (Efit)
Neuf dès 61,09 €
-
Car Racing 1965
1 avis
Neuf dès 109,00 €
-
The Princeton Companion To Applied Mathematics
1 avis
Neuf dès 128,31 €
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