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
  • 简介：Learn mathematical logic using Python! This book, “Mathematical Logic through Python” by Yannai A. Gonczarowski and Noam Nisan, provides a unique approach to understanding logic through practical programming. Explore propositional logic, first-order logic, and more, with clear explanations and Python code examples. Ideal for students and professionals seeking a hands-on introduction to formal logic and its applications. Master key concepts like proofs, models, and automated reasoning. Enhance your problem-solving skills and expand your knowledge in computer science and mathematics.
  • ISBN：9781108949477, 11089
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。