本文采用一种独特的教学方法,通过引导学生通过Python编程实现基本的逻辑概念和数学证明来介绍数学逻辑。这种方法专为日益增长的精通编程的学生量身定制的独特直觉和优势,将数学逻辑带入这些学生的舒适区,并提供了只有通过深入的动手理解和创建工作代码的满足感才能实现的清晰。虽然方法是独特的,文本遵循相同的主题集通常涵盖在一个学期的本科课程,包括命题逻辑和一阶谓词逻辑,最终证明Gödel的完整性定理。还提供了Gödel的不完备性定理的预览。该教材附有大量编程任务、代码框架和单元测试的集合。假定您熟悉证明并基本精通Python。

https://www.logicthrupython.org/ * 避开数学课程中严格的“定义-定理-证明”风格,而使用编程作为推理逻辑的工具,使数学逻辑更容易为数学背景较低的学生所理解 * 按照任务顺序呈现材料,全书有超过150个任务,为学生提供了清晰、明确和深入的动手理解 * 遵循传统第一课程数学逻辑中通常涵盖的同一组主题 * 对于想要将编程融入基础逻辑、离散数学和自动机/形式语言课程的教师来说,是否也可以作为补充文本 * 额外的在线资源包括书中所有任务的代码框架和api,以及单元测试,这些单元测试为书中每个任务的解决方案提供自动测试,所有这些都是用Python编程语言编写的

成为VIP会员查看完整内容
28

相关内容

Python是一种面向对象的解释型计算机程序设计语言,在设计中注重代码的可读性,同时也是一种功能强大的通用型语言。
【2022新书】Python数据科学:手册导论,286页pdf
专知会员服务
70+阅读 · 6月25日
【2021新书】《用正确的方式学Python》,456页pdf
专知会员服务
67+阅读 · 2021年6月9日
专知会员服务
26+阅读 · 2020年11月4日
【经典书】操作系统导论,687页pdf
专知会员服务
132+阅读 · 2020年10月28日
【2020新书】高级Python编程,620页pdf
专知会员服务
204+阅读 · 2020年7月31日
【2020新书】现代C++初学者指南,301页pdf
专知会员服务
133+阅读 · 2020年7月24日
【干货书】计算机科学离散数学,627页pdf
专知
39+阅读 · 2020年8月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
7+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Arxiv
0+阅读 · 11月22日
Arxiv
0+阅读 · 11月21日
Arxiv
12+阅读 · 2018年9月15日
VIP会员
相关基金
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
7+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员