Mathematical Logic Through Python(1st Edition)
Authors:
Yannai A Gonczarowski ,Noam Nisan
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 110884507X, 978-1108845076
Book publisher: Cambridge University Press
Book Price $0 : 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.
Customers also bought these books
Mathematical Logic Through Python - 1st Edition
Gonczarowski Yannai A.
ISBN: 1108949479, 978-1108949477
$0 $66.89
From Signals To Image A Basic Course On Medical Imaging For Engineers - 1st Edition
Haim Azhari
ISBN: 3030353257,3030353265
$75.21 $107.44
Digitized Labor The Impact Of The Internet On Employment - 1st Edition
Lorenzo Pupillo
ISBN: 3319770462, 978-3319770468
$0 $22.98
Introductory Statistics Exploring The World Through Data - 2nd Edition
Robert Gould
ISBN: 9780321978509, 321978277, 321978501, 978-0321978271
$0 $57.28
Foundations of Finance The Logic and Practice of Financial Management - 8th edition
Arthur J. Keown
ISBN: 132994879, 978-0132994873
$0 $29.75
Down On The Border A Western Lawmans Journal - 1st Edition
Bart Skelton
ISBN: 1410783278, 978-1410783271
$0 $14.52
The New 35mm Photographers Handbook - 1st Edition
Julian Calder
ISBN: 0517578255, 978-0517578254
$0 $46.98
Us 30 Caliber M1 Rifle Manual July 1940 - 1st Edition
War Department
ISBN: 1980938431, 978-1980938439
$0 $9.12
Green Lantern The Sinestro Corps War Compendium - 1st Edition
Geoff Johns
ISBN: 1799507459, 978-1799507451
$0 $46.99
Cuckolding The Revolutionary Guide - 1st Edition
Marisa Rudder
ISBN: 0999180436, 978-0999180433
$0 $12.00
Science Fiction Before 1900 Imagination Discovers Technology - 1st Edition
Paul K Alkon
ISBN: 0805709525, 978-0805709520
$0 $29.39
Old Dogs A Collection Of Charming Dog Portaits - 1st Edition
Sally Muir
ISBN: 1911663194, 978-1911663195
$0 $10.37
Employment Law New Challenges In The Business Environment - 5th Edition
John Jude Moran
ISBN: 536067031, 978-0536067036
$0 $18.81
Down On The Border A Western Lawmans Journal - 1st Edition
Bart Skelton
ISBN: 1410783278, 978-1410783271
$0 $14.52
Boudoir Photography The Complete Guide To Shooting Intimate Portraits - 1st Edition
Critsey Rowe
ISBN: 0817400117, 978-0817400118
$0 $11.47
Writing Away The Demons Stories Of Creative Coping Through Transformative Writing - 1st Edition
Sherry Reiter
ISBN: 0878393293, 978-0878393299
$0 $9.48Popular Among Students
The Vegan Baker The Ultimate Guide To Plant Based Breads Pastries Cookies Slices And More - 1st Edition
Zacchary Bird
ISBN: 1922754552, 978-1922754554
$0 $11.78
Parts Of Me A Kids Guide To Internal Family Systems - 1st Edition
Angela M Carter
ISBN: 0473685663, 978-0473685669
$0 $11.73
Missional Church A Vision For The Sending Of The Church In North America - 1st Edition
Darrell L Guder
ISBN: 0802843506, 978-0802843500
$0 $10.50
Hard Curves The Fantasy Art Of Julie Bell - 1st Edition
Nigel Suckling
ISBN: 156025131X, 978-1560251316
$0 $9.02
The Time That Remains A Commentary On The Letter To The Romans - 1st Edition
Giorgio Agamben
ISBN: 0804743835, 978-0804743839
$0 $54.21
La Madre The Woman And The Priest - 1st Edition
Grazia Deledda
ISBN: 1912868636, 978-1912868636
$0 $8.50
Grimm Fairy Tales Adult Coloring Book Artist Spotlight John Royle - 1st Edition
None
ISBN: 1951087291, 978-1951087296
$0 $8.50
Cultural Resistance Reader - 1st Edition
Stephen Duncombe
ISBN: 1859843794, 978-1859843796
$0 $11.87
Learn Helm Improve Productivity Reduce Complexity And Speed Up Cloud Native Adoption With Helm For Kubernetes - 1st Edition
Andrew Block
ISBN: 1839214295, 978-1839214295
$0 $14.45