Code: 37300520
Mathematical Logic through Python
by 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.
- Language:
English - Binding: Hardback
- Number of pages: 280
Publisher: Cambridge University Press, 2022
- More about this
You might also like
-
Intermediate Guide to Japanese Joinery
14.79 € -25 % -
Complete Works of William Shakespeare
24.82 € -32 % -
Teacher's Planner (Lesson Planner)
11.75 € -27 % -
Stranger Things And Dungeons & Dragons (graphic Novel)
14.79 € -25 % -
BRZRKR Vol. 1
12.76 € -25 % -
Potwory do szafy Gra
10.94 € -12 % -
J.M.W Turner: The 'Wilson' Sketchbook
10.83 € -25 % -
Book of the Microscope
12.05 € -25 % -
Helleborus
35.76 € -11 % -
Grail
48.33 € -
Probability with Martingales
56.54 € -
Why We Travel
18.54 € -26 % -
Simulation with Python
38.91 € -25 % -
The Nesting
12.46 € -26 % -
Statistical Learning with Math and Python
44.18 € -
Applying Math with Python
38.30 € -2 % -
Mathematical Logic for Computer Science
65.66 € -
Statistics and Calculus with Python Workshop
38.30 € -2 % -
All Summer Long
33.43 € -5 % -
Multi-Species Dementia Studies: Towards an Interdisciplinary Approach
134.58 € -
Mathematical Neuroscience
127.48 € -10 % -
Ransom
12.86 € -25 % -
The Treasure of Nugget Mountain: Jack Hildreth Among the Indians
37.39 € -1 % -
Celebrated Jumping Frog of Calaveras County
12.15 € -2 % -
Numerical Methods in Physics with Python
59.07 € -
Fire Truck to the Rescue!
9.72 € -9 % -
Harmonisierung des Internen und Externen Rechnungswesens
80.36 € -
Achilles Tatius: Leucippe and Clitophon
157.48 € -
The Preservation of Natural History Specimens; 2
24.72 € -2 % -
Legation Extraordinaire de la Republique Dominicaine A Rome Presente A S.S. Leon XIII
13.87 € -2 % -
Oxford Reading Tree: Level 3: Workbooks: Class Pack 3B (30 workbooks)
128.09 € -
Cold Winds, Warm Winds: Intellectual Life in China Today
22.39 € -9 % -
Indian Ocean Resources and Technology
327.94 € -
Last Viking
6.98 € -26 % -
Intelligent Systems for Computer Modelling
109.54 € -
Letter to Ladies in Favor of Female Physicians for Their Own Sex
18.43 € -1 % -
Growth in the Knowledge of Our Lord
34.55 € -7 % -
Numerical Methods with Python
64.55 € -24 % -
The Creep Among Us
16.71 € -6 % -
Bosley Discovers the Waterfall - A Dual Language Book in Spanish and English: Bosley Descubre las Cataratas
9.82 € -6 % -
Medicine and Western Civilization
43.47 € -
International Adoption
117.75 € -
Nature Puzzles
7.08 € -20 % -
Introduction to ATM Networks
118.56 € -10 % -
Contemporary Hong Kong Government and Politics, Third Edition
48.13 € -5 % -
Creating Dominance
24.11 € -
Unity Root Matrix Theory
25.63 € -2 % -
Upland Communities
61.10 € -
Think Squares! A Lift-the-Flap Counting, Color and Shape Book
10.43 € -26 % -
From Kimchi to Pizza
7.89 € -25 % -
Doggy Daycare: Blue Ribbon Pup
8.71 € -25 % -
Romanism and the Republic
38.50 € -7 % -
A Certain Magical Index T07
10.23 € -
Restorative Approach to Family Violence
223.46 € -
Knowledge Tornado
52.49 € -
Steps in Infant Mathematics Book 2
16.31 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Mathematical Logic through Python
You get 193 loyalty points
Book synopsis
A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.
Book details
Book category Books in English Computing & information technology Computer science Mathematical theory of computation
80.05 €
- Full title: Mathematical Logic through Python
- Author: Gonczarowski, Yannai A. (Harvard University, Massachusetts), Noam (Hebrew University of Jerusalem) Nisan
- Language: English
- Binding: Hardback
- Number of pages: 280
- EAN: 9781108845076
- ISBN: 110884507X
- ID: 37300520
- Publisher: Cambridge University Press
- Weight: 738 g
- Dimensions: 184 × 260 × 19 mm
- Date of publishing: 15. September 2022
Trending among others
-
Concrete Mathematics
78.33 € -6 % -
Type Theory and Formal Proof
95.26 € -
P, NP, and NP-Completeness
148.26 € -
Foundation Mathematics for Computer Science
73.16 € -13 % -
Statistics for Data Scientists
55.93 € -
Exploring RANDOMNESS
109.54 € -
Art of Computer Programming, The
69.72 € -7 % -
Graph Theory
60.80 € -
Cryptanalysis
14.48 € -24 % -
Advanced R Statistical Programming and Data Models
56.24 € -25 % -
Graph Theory
85.53 € -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
65.66 € -
Fundamentals of Quantum Computing
76.40 € -
Art of Computer Programming, Volume 1, Fascicle 1, The
27.96 € -10 % -
Numerical Recipes Source Code CD-ROM 3rd Edition
96.78 € -15 % -
More Math Into LaTeX
89.28 € -
Boolean Algebras, 1
55.93 € -
Data Structures and Network Algorithms
69.41 € -4 % -
MATLAB Demystified
19.65 € -25 % -
Basic Category Theory for Computer Scientists
39.62 € -
Essential Linear Algebra with Applications
51.27 € -43 % -
First Course in Statistical Programming with R
48.74 € -
Modal Logic
120.79 € -
GIS Algorithms
122.52 € -10 % -
A Study of Braids
55.93 € -
Introduction to Formal Language Theory
55.93 € -
Deep Learning in Natural Language Processing
173.09 € -
What Can Be Computed?
104.88 € -5 % -
An Introduction to Quantum Computing Algorithms
80.36 € -
Advanced Object-Oriented Programming in R
31.31 € -
Computational Introduction to Number Theory and Algebra
79.14 € -
Discrete Mathematics for Computing
112.38 € -
Numerical Validation in Current Hardware Architectures
55.93 € -
Algorithms on Trees and Graphs
70.53 € -
Pi-Calculus
85.73 € -
Temporal Logics in Computer Science
129.61 € -15 % -
Practical Introduction to Denotational Semantics
43.67 € -
Programs, Recursion and Unbounded Choice
60.19 € -
Introduction to Automata Theory, Languages, and Computation
262.17 € -
Logic in Computer Science
73.36 € -
Guide to Scientific Computing in C++
35.16 € -
Algorithmic Beauty of Plants
76.20 € -25 % -
Practical Optimization
99.82 € -
Category Theory Using Haskell
216.77 € -
Computers and Intractability
166.60 € -
Automata Theory and Formal Languages
68.60 € -
Algorithms for Next-Generation Sequencing Data
158.29 € -
P, NP, and NP-Completeness
56.34 € -
Simulating the Brain
85.12 €
Shopping guide
Books by language
Collection points Bratislava a 12122 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
24248 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)