数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
简体网页||繁体网页
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 图书标签: 数理逻辑 数学 思维
喜欢 数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 的读者还喜欢
点击这里下载
发表于2024-11-22
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 用户评价
好书
评分好书
评分好书
评分千万别修南大的数理逻辑
评分这本数理逻辑，由南大独家创造。该校发明的各种公理均无法在其他书籍或网络上找到。司马吴骏与此书珠联璧合，没上过这门课的人会留下终生的遗憾。
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 著者简介
宋方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目，863项目和中法合作项目的研究，在国内外核心刊物上发表论文50余篇。在教学上，为本科生主讲“离散数学”和“数理逻辑”课程，为研究生主讲“计算理论”课程。
吴骏，南京大学计算机科学与技术系讲师。主要研究领域是逻辑在人工智能中的应用、算法博弈论与机制设计，曾主持及参与国家自然科学基金、科技部重点研发计划等多项科研项目，在国内外学术会议与期刊上发表论文十余篇。在教学上，为本科生主讲“数理逻辑”课程，为研究生主讲“智能Agent”课程。
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 图书目录
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 图书描述
宋方敏、吴骏编著的《数理逻辑十二讲(面向CS2013计算机专业规划教材)》为数理逻辑的入门教材，主要介绍命题逻辑和一阶逻辑。本书既引入自然推理风格的Gentzen系统，又引入永真推理风格的Hilbert系统，详细证明四个基本定理：完全性定理、紧性定理、Gentzen的Hauptsatz和Herbrand定理。本书最后介绍模态逻辑。
通过本书的学习，学生将掌握数理逻辑的基本概念、基本理论、基本推理，以及公理系统和形式化方法。本书作为计算机科学的基础教材，对培养学生的科学素养以及提高解决问题的能力具有重要的意义。
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 读后感
评分
评分
评分
评分
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
分享链接
数理逻辑十二讲(面向CS2013计算机专业规划教材) 在线电子书 相关图书
-
Theory of Recursive Functions and Effective Computability 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载 -
弗雷格逻辑哲学与现代数理逻辑思潮 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Model Theory 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Computability and Randomness 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
A Course In Mathematical Logic 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Logic in Games 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
递归论 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Collected Works 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Handbook of Practical Logic and Automated Reasoning 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
公理集合论导引 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
A Friendly Introduction to Mathematical Logic 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Topoi 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Logical Foundations of Mathematics and Computational Complexity 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Collected Works 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
A Concise Introduction to Mathematical Logic 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Introduction to Higher-Order Categorical Logic 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
数理逻辑导论 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Formal Logic 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Collected Works 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
-
Recursively Enumerable Sets and Degrees 在线电子书 pdf 电子书下载 txt下载 epub 下载 mobi 下载
