Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Mathematical Logic Through Python
Type
Physical Book
Author
Publisher
Language
English
Pages
250
Format
Paperback
Dimensions
25.1 x 17.5 x 1.5 cm
Weight
0.61 kg.
ISBN13
9781108949477
Categories

Mathematical Logic Through Python

Noam Nisan (Author) · Yannai A. Gonczarowski (Author) · Cambridge University Press · Paperback

Mathematical Logic Through Python - Gonczarowski, Yannai A. ; Nisan, Noam

New Book Imported to Taiwan *
Delivery: 09 Apr - 17 Apr Shipping: 2 to 3 business days.
NT$ 1,339
NT$ 1,339
Delivery to any Taiwan address between Thursday, April 09 and Friday, April 17
Origin: United Kingdom Import costs included in the price ✅
Delivery to any Taiwan address between Thursday, April 09 and Friday, April 17.

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Mathematical Logic Through Python"

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 reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews