可计算性与数理逻辑(computability and logic)

Name: 可计算性与数理逻辑(computability and logic)
Rating: 4.5 (114 reviews)
Author: sealinthesea

上传者：sealinthesea 2020-02-16 03:54:17上传 PDF文件 2.23MB 热度 114次

适合计算机专业类和数学类专业本科以上参考使用

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

可计算性与数理逻辑computability and logic

适合计算机专业类和数学类专业本科以上参考使用

大小：0B | 2020-02-16 03:54:17
可计算性与数理逻辑中文版

数理逻辑经典教材，有兴趣的同学可以看一下，这里的版本是中文版的。

大小：0B | 2020-05-15 04:25:35
可计算性与数理逻辑PDF中文版.rar

软件介绍: PDF扫描版《可计算性与数理逻辑》语言是简体中文，清晰度尚可。我们的最终目标...

大小：0B | 2020-05-17 21:26:27
可计算性与数理逻辑英文第五版

数理逻辑很经典的一本书 GEORGE S . BOOLOS 等如果想要课件或中文版的话, 留言, ...

大小：2.23MB | 2020-09-20 14:36:48
可计算性与数理逻辑第四版中文版

Computability and Mathematical Logic (Fourth Editi...

大小：0B | 2019-06-27 04:57:31
logic in computer science数理逻辑课本

logicincomputersciencemodellingandreasoning,数理逻辑课本...

大小：0B | 2019-09-07 03:41:04
Mathematical Logic数理逻辑资源合集

数理逻辑资源的合集，下载方便，内容还挺全。里面有像Mathematical Logic In The...

大小：93.58KB | 2025-06-05 17:36:47
数理逻辑入门The Easy Guide to Mathematical Logic

基于英文维基百科精选内容编辑而成。主要贡献包括:校对验证参考文献和注释,删除错误链接和引用;按照参考...

大小：536KB | 2020-09-28 02:07:22
数理逻辑入门A Friendly Introduction to Mathematical Logic

数理逻辑入门AFriendlyIntroductiontoMathematicalLogic

大小：0B | 2019-05-31 21:31:14
离散数学逻辑和可计算性的Prolog实验Prolog Experiments in Discrete Math Logic and Computability

本书包含旨在加强对离散数学，逻辑和可计算性的学习的编程实验。

大小：0B | 2020-05-22 15:50:52
数理逻辑.pdf数理逻辑图文版

数理逻辑简要版,图文并茂,容易理解

大小：13.37MB | 2021-01-19 06:18:31
数理逻辑北大

北京大学出版社离散数学数理逻辑非常有用的工具书

大小：0B | 2020-01-04 05:55:10
数理逻辑教程

springer出版的S.M.Srivastava的数理逻辑中级教程，比较简明扼要。适合初中级的读者...

大小：0B | 2019-05-22 17:13:28
数理逻辑新

大小：0B | 2019-01-10 09:22:46
数理逻辑教材

这是一本有关于数理逻辑的教材。计算机专业背景的朋友都会用到这本书的。

大小：0B | 2019-09-08 17:43:22
数理逻辑答案

数理逻辑答案主要包括命题、谓词、一阶等内容部分答案

大小：0B | 2019-09-18 23:21:03