Mathematical Logic through Python (Cambridge University Press)
Friday, 16 September 2022

Using an approach tailored to the intuitions and strengths of the ever-growing population of programming-savvy students, Yannai A. Gonczarowski and Noam Nisan introduce mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. The approach 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.

<ASIN:1108949479>

 

Author: Yannai A. Gonczarowski and Noam Nisan
Publisher: Cambridge University Press
Date: September 2022
Pages: 284
ISBN: 978-1108949477
Print: 1108949479
Kindle: B0B4F42SBW
Audience: Python developers interested in mathematical logic
Level: Intermediate/Advanced
Category: Mathematics and Python

mathlog

For recommendations of Python books see Books for Pythonistas and Python Books For Beginners in our Programmer's Bookshelf section.

For more Book Watch just click.

Book Watch is I Programmer's listing of new books and is compiled using publishers' publicity material. It is not to be read as a review where we provide an independent assessment. Some, but by no means all, of the books in Book Watch are eventually reviewed.

To have new titles included in Book Watch contact  BookWatch@i-programmer.info

Follow @bookwatchiprog on Twitter or subscribe to I Programmer's Books RSS feed for each day's new addition to Book Watch and for new reviews.

 

 

Banner
 


Android Programming: The Big Nerd Ranch Guide (5e)

Authors: Bryan Sills, Brian Gardner, Brian Hardy and Kristin Marsicano
Publisher: Addison-Wesley
Pages: 688
ISBN: 978-0137645541
Print: 0137645546
Kindle: B09WLF84W7
Audience: Kotlin programmers
Rating: 4.5
Reviewer: Mike James  

The Big Nerd Ranch Guide to Android is bac [ ... ]



Query Store for SQL Server 2019 (Apress)

Author: Tracy Boggiano & Grant Fritchey
Publisher: Apress
Pages: 234
ISBN: 978-1484250037
Print: 1484250036
Kindle: B07YNL3X4X
Audience: SQL Server DBAs and Devs
Rating: 4
Reviewer: Ian Stirk

This book aims to use Query Store to improve your SQL Server queries, how does it fare?


More Reviews