Mathematical Logic through Python - Yannai A. Gonczarowski; Noam Nisan; | Foyles Bookstore
Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Mathematical Logic through Python
Foyalty 69

Mathematical Logic through Python (Paperback)

£22.99
Pre-order for despatch on publication.

Synopsis

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 Goedel's completeness theorem. A sneak peek to Goedel'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.

Computing & ITComputer scienceMathematical theory of computation Publisher: Cambridge University Press Publication Date: 31/05/2022 ISBN-13: 9781108949477  Details: Type: Paperback Format: Books
Availability: Pre-order for despatch on publication. Pre-Order

Yannai A. Gonczarowski is Assistant Professor of both Economics and Computer Science at Harvard University, and is the first faculty at Harvard to be appointed to both of these departments. He received his PhD in Mathematics and Computer Science from The Hebrew University of Jerusalem. Among his research awards are the ACM SIGecom Dissertation Award and INFORMS AMD Junior Researcher Paper Prize. He is also a professionally trained opera singer. Noam Nisan is Professor of Computer Science and Engineering at The Hebrew University of Jerusalem, serving as Dean of the School of Computer Science and Engineering during 2018-2021. He received his PhD in Computer Science from the University of California, Berkeley. Among the awards for his research on computational complexity and algorithmic game theory are the Goedel Prize and Knuth Award. This is his fifth book.

More books by Yannai A. Gonczarowski

More books by Noam Nisan

Leave Review

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

 

Location 1st Book Each additional book Average Delivery Time
Free UK Standard Delivery on Orders Over £25 (2nd Class)     3-5 Days
UK Standard Delivery (2nd Class) £2.99 £0.00 3-5 Days
UK 1st Class Delivery £3.99 £0.00 2-3 Days

Click & Collect / 
Delivery to a Foyles Bookshop

 

Free Free Click and Collect and Delivery to Store is available for all our shops. Collection times will vary depending on availability of items. Individual despatch times for each item will be given at checkout.
Please wait for order arrival confirmation email before making a journey to collect.
UK Courier* £7.95 £0.00 1 Working Day
Western Europe Airmail** £9.00 £1.00 7-8 Days
Rest of World Airmail*** £12.50 £1.00 7-10 Days

* For courier service please contact the Charing Cross Road store

** Includes Austria, Belgium, Cyprus, Czech Republic, France, Germany, Greece, Ireland, Italy, Luxembourg, Malta, The Netherlands, Portugal, Spain, Sweden, Switzerland

*** We are currently unable to delivery to the following countries - Afghanistan, Bangladesh, Ghana, Iraq, Lebanon, Macao, Pakistan, Puerto Rico, Saint Barthelemy, Turkey, Uzbekistan, Virgin Island US

For goods delivered outside of the UK, the consignee (ie the person to whom the consignment is sent) will be the declarant and importer into the country for which the consignment is destined. The consignee will be responsible for both customs clearance and payment of customs duties and local taxes where required.

Customs Charges - if you are ordering goods for delivery outside of the UK, please note that your consignment may be subject to VAT (Value Added Tax), other taxes, customs duties and/or fees levied by the destination country. Any such charges levied in relation to customs clearance must be borne by you. It is accepted by you that Foyles has no control over additional charges in relation to customs clearance. Foyles recommend that you check with your local customs officials or post office for more information regarding importation taxes/duties that may be applicable to your online order.

Delivery Help & FAQs

A Year of Books Subscription Packages 

Delivery is free for the UK. Western Europe costs £60 for each 12 month subscription package purchased. For the Rest of the World the cost is £100 for each package purchased. All delivery costs are charged in advance at time of purchase. For more information please visit the A Year of Books page.
 

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Estimation of Mutual Information
(Hardback)
Joe Suzuki
 
 
£69.99
 
Secure Public Key Infrastructure:...
(Hardback)
Yvo G. Desmedt
 
 
£67.99
 
Practical MATLAB Deep Learning: A...
(Paperback)
Michael Paluszek; Stephanie Thomas;...
 
 
£39.99
 
Computational Materials Science for...
(Hardback)
Hans Werner Schock; Johannes Windeln
 
 
£88.00
 
© W&G Foyle Ltd