书名:Mathematical Logic through Python
出版社:Cambridge University Press
作者:Yannai A. Gonczarowski, Noam Nisan
出版年份:2022
电子书格式: pdf
简介:《Mathematical Logic through Python》由Yannai A. Gonczarowski和Noam Nisan所著,通过Python编程语言深入探讨数学逻辑的基础和应用。本书结合理论与实践,利用Python的简洁代码展示逻辑推理和证明的过程,适合数学和计算机科学的学习者。多考网提供免费下载,助力学术研究和学习。
ISBN:9781108845076, 97811