Programming Books

378 readers

5 users here now

Links are disabled in this community by default! If you have a resource you feel should be whitelisted feel free to dm a mod (that isnt a bot)

Icon base by Delapouite under CC BY 3.0 with modifications to add a gradient

founded 2 years ago

MODERATORS

Ategon

Guardian

Mathematical Logic through Python (self.books)

submitted 4 days ago by andioop to c/books

0 comments fedilink hide all child comments

The textbook "Mathematical Logic through Python" presents a new approach to teaching the material of a basic Logic course to undergraduate Computer Science students, bringing Mathematical Logic into the comfort zone of the ever-growing population of programming-savvy students by tapping into their unique intuitions and strengths.

The book's approach captures the essence of the mathematical analysis of Logic using a sequence of carefully designed programming projects in the Python programming language. Each chapter in the book provides the background for, explanation, implications, and mathematical treatment of an associated programming project.

This material has been published by Cambridge University Press as "Mathematical Logic through Python" by Yannai A. Gonczarowski and Noam Nisan. This pre-publication version is free to view and download for personal use only.

Found this book online, thought it was cool.

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here