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

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

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

相关内容

Python是一种面向对象的解释型计算机程序设计语言,在设计中注重代码的可读性,同时也是一种功能强大的通用型语言。
【新书】Python的概率,统计和机器学习,第3版
专知会员服务
134+阅读 · 2023年1月27日
【干货书】概率论与数理统计,259页pdf
专知会员服务
52+阅读 · 2022年12月3日
【经典书】《博弈论导论》,685页pdf,附153页pdf
专知会员服务
200+阅读 · 2022年6月26日
【干货书】数据科学家统计学基础:R和Python实战,486页pdf
专知会员服务
89+阅读 · 2020年12月26日
【2020新书】傅里叶变换的离散代数,296页pdf
专知会员服务
111+阅读 · 2020年11月2日
【经典书】概率统计导论第五版,730页pdf
专知会员服务
233+阅读 · 2020年7月28日
Python导论,476页pdf,现代Python计算
专知会员服务
250+阅读 · 2020年5月17日
【2022新书】Python DevOps,245页pdf
专知
5+阅读 · 2022年7月11日
【新书】分布式强化学习,280页pdf
专知
19+阅读 · 2021年12月19日
421页《机器学习数学基础》最新2019版PDF下载
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
17+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
2+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
1+阅读 · 2008年12月31日
国家自然科学基金
2+阅读 · 2008年12月31日
A Survey on Edge Intelligence
Arxiv
48+阅读 · 2020年3月26日
Arxiv
21+阅读 · 2018年8月30日
VIP会员
相关VIP内容
【新书】Python的概率,统计和机器学习,第3版
专知会员服务
134+阅读 · 2023年1月27日
【干货书】概率论与数理统计,259页pdf
专知会员服务
52+阅读 · 2022年12月3日
【经典书】《博弈论导论》,685页pdf,附153页pdf
专知会员服务
200+阅读 · 2022年6月26日
【干货书】数据科学家统计学基础:R和Python实战,486页pdf
专知会员服务
89+阅读 · 2020年12月26日
【2020新书】傅里叶变换的离散代数,296页pdf
专知会员服务
111+阅读 · 2020年11月2日
【经典书】概率统计导论第五版,730页pdf
专知会员服务
233+阅读 · 2020年7月28日
Python导论,476页pdf,现代Python计算
专知会员服务
250+阅读 · 2020年5月17日
相关基金
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
17+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
2+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
1+阅读 · 2008年12月31日
国家自然科学基金
2+阅读 · 2008年12月31日
微信扫码咨询专知VIP会员