搜索【数理逻辑】的结果

公理集合论导引－北航计算机学院教材

是一本讲述公理集合论的好书，也是北航计算机学院高等数理逻辑课的指定教材。

2021-06-22 23:35:24 5.57MB 数理逻辑

1

哈尔滨工业大学（深圳）2019年数理逻辑试卷答案

哈尔滨工业大学（深圳）2019年数理逻辑试卷答案，试卷在本人上传的另一个文件中，有需要的小伙伴可以下载进行学习

2021-06-17 23:10:42 81KB 哈尔滨工业大学 数理逻辑 哈尔滨工业大学（深圳）

1

数理逻辑与集合论（第2）课后答案 (王宏).pdf

数理逻辑与集合论（第2）课后答案 (王宏)

2021-05-27 09:01:56 1.24MB 数理逻辑与集合论 2 课后答案

数理逻辑与集合论

学习辅助，。。。。。。。。。。。。。。。。。。。。。。。。。。。。

2021-05-26 22:12:42 4.05MB 数理

1

面向计算机科学的数理逻辑

面向计算机科学的数理逻辑（第二版）-陆钟万(1).pdf

2021-05-17 20:48:14 45.96MB pdf

1

面向计算机科学的数理逻辑第一章.ppt

面向计算机科学的数理逻辑，是计算机专业必修课，但目前课程资源较少，故上传自己做的，供大家参考

2021-05-16 19:22:36 5.11MB PPT

1

前束范式生成器-数理逻辑辅助工具

数理逻辑的一个辅助程序，可以给出任意谓词公式的前束范式。主要用二叉树实现。开发环境为VS2008，CLR

2021-05-09 16:13:18 1.37MB 数理逻辑 二叉树 数据结构

1

数理逻辑辅助工具-合取范式&析取范式生成器

数理逻辑的辅助小程序，可以给出任意命题公式的合取范式及析取范式。主要用二叉树实现。压缩包内有比较详细的说明文档

2021-05-05 13:19:58 8.12MB 数理逻辑 二叉树 数据结构

1

北京大学数理逻辑 2018 林作铨

北京大学数理逻辑讲义 2018版数学科学学院林作铨老师班

2021-04-11 11:30:57 2.27MB 数理逻辑 北京大学

1

2021-04-02 20:35:40 21.81MB 研究选题

1