Mathematical Logic through Python

Mathematical Logic through Python 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. Autor: Yannai A. (Harvard University Gonczarowski, Noam (Hebrew University of Jerusalem) Nisan Wydawnictwo: Cambridge University Press Rok wydania: 2022 Okładka: twarda Liczba stron: 280 Wymiary: 18.4 x 26 x 1.9 cm Ilustracje: Worked examples or Exercises Język: angielski ISBN: 9781108845076