Mathematical Logic through Python

Name: Mathematical Logic through Python
Author: Massachusetts) Yannai A. (Harvard University Gonczarowski

Massachusetts) Yannai A. (Harvard University Gonczarowski, Noam (Hebrew University of Jerusalem) Nisan

Cambridge University Press

Knihu koupíte v 1 e-shopu od 750 Kč

Bookshop.cz

750 Kč

Skladem (dodání do 3 dnů)

Do obchodu

Krátký popis

In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical concepts and mathematical proofs in the Python programming language, thus achieving deep hands-on clarity and understanding. The text is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests.

Výběr knih vydavatele Cambridge University Press