Mathematical Logic through Python(Yannai A. Gonczarowski, Noam Nisan)(Cambridge University Press 2022)

  • 书名:Mathematical Logic through Python
  • 出版社:Cambridge University Press
  • 作者:Yannai A. Gonczarowski, Noam Nisan
  • 出版年份:2022
  • 电子书格式: pdf
  • 简介:《Mathematical Logic through Python》是一本关于数学逻辑和Python programming的电子书,由Yannai A. Gonczarowski和Noam Nisan著。该书结合了数学逻辑和计算机科学,提供了一个全面而详细的学习路径。它涵盖了从基本概念到复杂主题的内容,包括推理、类型系统、形式化语言等。通过Python programming,读者可以更好地理解和应用数学逻辑中的概念。这本书不仅适合学术研究人员,也是计算机科学领域的学生和专业人士必备的参考书籍。它提供了一个独特的学习方法,结合理论和实践,让读者能够深入理解数学逻辑的基本原理和应用。
  • ISBN:9781108845076, 97811
  • 下载地址(点击下载):
    隐藏内容
    本内容登录后免费查看
声明:本站所有文章,如无特殊说明或标注,均为本站原创发布。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。