Kód: 37300520
Mathematical Logic through Python
Autor Gonczarowski, Yannai A. (Harvard University, Massachusetts), Noam (Hebrew University of Jerusalem) Nisan
A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.
- Jazyk:
Angličtina - Vazba: Pevná
- Počet stran: 280
Nakladatelství: Cambridge University Press, 2022
- Více informací o knize
Mohlo by se vám také líbit
-
Teacher's Planner (Lesson Planner)
284 Kč -
Complete Works of William Shakespeare
568 Kč -
Intermediate Guide to Japanese Joinery
334 Kč -
BRZRKR Vol. 1
314 Kč -
Statistical Learning with Math and Python
878 Kč -
Stranger Things And Dungeons & Dragons (graphic Novel)
357 Kč -
Potwory do szafy Gra
337 Kč -
Book of the Microscope
272 Kč -
The Met Gala: Red Carpet Style, for Fans of Icons of Style and the Little Books of Fashion
291 Kč -
J.M.W Turner: The 'Wilson' Sketchbook
243 Kč -
Grail
1188 Kč -
Helleborus
813 Kč -
Probability with Martingales
1298 Kč -
Why We Travel
448 Kč -
Simulation with Python
941 Kč -
The Nesting
302 Kč -
The Role-Playing Game of the Planet of the Apes
858 Kč -
Applying Math with Python
925 Kč -
All Summer Long
768 Kč -
Mathematical Logic for Computer Science
1384 Kč -
Statistics and Calculus with Python Workshop
925 Kč -
Multi-Species Dementia Studies: Towards an Interdisciplinary Approach
3250 Kč -
Numerical Methods in Physics with Python
1353 Kč -
Mathematical Neuroscience
2846 Kč -
Le président des États-Unis
482 Kč -
Die BDSM-Szene
647 Kč -
Quilty Coupon Keeper: Bonnie K. Hunter's Coupon Organizer with 16 Handy Pockets
221 Kč -
Oxford Reading Tree: Level 3: Workbooks: Class Pack 3B (30 workbooks)
3095 Kč -
Letter to Ladies in Favor of Female Physicians for Their Own Sex
445 Kč -
The Creep Among Us
403 Kč -
Bullying Elimination Handbook: The complete guide on how to eliminate and prevent all forms of bullying.
279 Kč -
Legation Extraordinaire de la Republique Dominicaine A Rome Presente A S.S. Leon XIII
336 Kč -
Creating Dominance
583 Kč -
Indian Ocean Resources and Technology
8323 Kč -
Doggy Daycare: Blue Ribbon Pup
196 Kč -
Harmonisierung des Internen und Externen Rechnungswesens
1654 Kč -
Ransom
291 Kč -
The Preservation of Natural History Specimens; 2
598 Kč -
The Treasure of Nugget Mountain: Jack Hildreth Among the Indians
903 Kč -
Cold Winds, Warm Winds: Intellectual Life in China Today
522 Kč -
Persephone and the Underworld: A Modern Graphic Greek Myth
736 Kč -
Fire Truck to the Rescue!
191 Kč -
A Certain Magical Index T07
223 Kč -
From Kimchi to Pizza
191 Kč -
Katse
349 Kč -
Steps in Infant Mathematics Book 2
394 Kč -
M thodes Noyaux Pour La D tection de Contexte
1339 Kč -
Populäre Musik zwischen Musik- und Medienwissenschaften
636 Kč -
Contemporary Hong Kong Government and Politics, Third Edition
1200 Kč -
Celebrated Jumping Frog of Calaveras County
294 Kč -
Achilles Tatius: Leucippe and Clitophon
4054 Kč -
Attentate auf Walther Rathenau und Matthias Erzberger. Wie organisiert war der Rechtsterrorismus in der Weimarer Republik?
328 Kč -
L'Espagne En Octobre 1841
311 Kč -
Upland Communities
1476 Kč -
Intelligent Systems for Computer Modelling
2357 Kč -
Numerical Methods with Python
1558 Kč -
Growth in the Knowledge of Our Lord
570 Kč -
Blended Learning fur die Unternehmensdigitalisierung
422 Kč -
Nature Puzzles
160 Kč -
International Adoption
2845 Kč -
Medicine and Western Civilization
924 Kč -
Environmentalism in Turkey
5651 Kč -
Introduction to ATM Networks
2632 Kč -
Unity Root Matrix Theory
620 Kč -
Think Squares! A Lift-the-Flap Counting, Color and Shape Book
252 Kč -
Last Viking
170 Kč -
Epistemologie et instrumentation en sciences humaines
713 Kč -
From the Seeds of Sadness
722 Kč -
Restorative Approach to Family Violence
5509 Kč -
Knowledge Tornado
1268 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Mathematical Logic through Python
Nákupem získáte 193 bodů
Anotace knihy
A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation
1933 Kč
- Plný název: Mathematical Logic through Python
- Autor: Gonczarowski, Yannai A. (Harvard University, Massachusetts), Noam (Hebrew University of Jerusalem) Nisan
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 280
- EAN: 9781108845076
- ISBN: 110884507X
- ID: 37300520
- Nakladatelství: Cambridge University Press
- Hmotnost: 738 g
- Rozměry: 184 × 260 × 19 mm
- Datum vydání: 15. September 2022
Oblíbené z jiného soudku
-
Essential Linear Algebra with Applications
1843 Kč -
Statistics for Data Scientists
1312 Kč -
Concrete Mathematics
1789 Kč -
Art of Computer Programming, The
1684 Kč -
MATLAB Demystified
475 Kč -
Type Theory and Formal Proof
2188 Kč -
Foundation Mathematics for Computer Science
1614 Kč -
P, NP, and NP-Completeness
3581 Kč -
Array Signal Processing
1970 Kč -
Art of Computer Programming, Volume 2
2008 Kč -
Graph Theory
1457 Kč -
Advanced R Statistical Programming and Data Models
1268 Kč -
Cryptanalysis
330 Kč -
Graph Theory
2059 Kč -
Art of Computer Programming, Volume 1, Fascicle 1, The
654 Kč -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
1534 Kč -
Fundamentals of Quantum Computing
1614 Kč -
Numerical Recipes Source Code CD-ROM 3rd Edition
2319 Kč -
More Math Into LaTeX
2048 Kč -
Boolean Algebras, 1
1182 Kč -
Computational Introduction to Number Theory and Algebra
1911 Kč -
Basic Category Theory for Computer Scientists
817 Kč -
Modal Logic
2918 Kč -
First Course in Statistical Programming with R
1178 Kč -
Introduction to Formal Language Theory
1182 Kč -
GIS Algorithms
2966 Kč -
What Can Be Computed?
2635 Kč -
A Study of Braids
1182 Kč -
Exploring RANDOMNESS
2675 Kč -
Discrete Mathematics for Computing
1966 Kč -
An Introduction to Quantum Computing Algorithms
1652 Kč -
Temporal Logics in Computer Science
3678 Kč -
Deep Learning in Natural Language Processing
3971 Kč -
Advanced Object-Oriented Programming in R
756 Kč -
Numerical Validation in Current Hardware Architectures
1182 Kč -
Pi-Calculus
2071 Kč -
Practical Introduction to Denotational Semantics
1002 Kč -
Programs, Recursion and Unbounded Choice
1453 Kč -
Algorithms on Trees and Graphs
1499 Kč -
Introduction to Automata Theory, Languages, and Computation
6331 Kč -
Logic in Computer Science
1682 Kč -
Guide to Scientific Computing in C++
807 Kč -
Computers and Intractability
5020 Kč -
Algorithmic Beauty of Plants
1841 Kč -
Introduction to the Theory of Computation
6061 Kč -
Practical Optimization
2073 Kč -
Algorithms for Next-Generation Sequencing Data
3297 Kč -
Category Theory Using Haskell
4599 Kč -
Automata Theory and Formal Languages
1384 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 47805 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)