数理逻辑十二讲(面向CS2013计算机专业规划教材) 2024 pdf epub mobi 电子书

☆☆☆☆☆
简体网页||繁体网页

数理逻辑十二讲(面向CS2013计算机专业规划教材) 2024 pdf epub mobi 电子书 著者简介

宋方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目，863项目和中法合作项目的研究，在国内外核心刊物上发表论文50余篇。在教学上，为本科生主讲“离散数学”和“数理逻辑”课程，为研究生主讲“计算理论”课程。

吴骏，南京大学计算机科学与技术系讲师。主要研究领域是逻辑在人工智能中的应用、算法博弈论与机制设计，曾主持及参与国家自然科学基金、科技部重点研发计划等多项科研项目，在国内外学术会议与期刊上发表论文十余篇。在教学上，为本科生主讲“数理逻辑”课程，为研究生主讲“智能Agent”课程。

---

数理逻辑十二讲(面向CS2013计算机专业规划教材) 电子书 图书目录

前言
第一讲 命题逻辑
第二讲 Boole代数
第三讲 一阶逻辑语言
第四讲 一阶逻辑的自然推理系统
第五讲 集合论的公理系统
第六讲 完全性定理
第七讲 Herbrand定理
第八讲 命题逻辑的永真推理系统
第九讲 一阶逻辑的永真推理系统
第十讲 Gentzen的Hauptsatz
第十一讲 紧性定理
第十二讲 模态逻辑概述
参考文献
· · · · · · (收起)

---

下载链接在页面底部

点击这里下载

    

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

---

---

想要找书就要到 本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

---

发表于2024-06-26

数理逻辑十二讲(面向CS2013计算机专业规划教材) 2024 pdf epub mobi 电子书

数理逻辑十二讲(面向CS2013计算机专业规划教材) 2024 pdf epub mobi 电子书

数理逻辑十二讲(面向CS2013计算机专业规划教材) 2024 pdf epub mobi 电子书

---

喜欢 数理逻辑十二讲(面向CS2013计算机专业规划教材) 电子书 的读者还喜欢

数理逻辑十二讲(面向CS2013计算机专业规划教材) 电子书 读后感

图书标签: 数理逻辑  数学  思维   

数理逻辑十二讲(面向CS2013计算机专业规划教材) 2024 pdf epub mobi 电子书 图书描述

数理逻辑十二讲(面向CS2013计算机专业规划教材) 2024 pdf epub mobi 用户评价

数理逻辑十二讲(面向CS2013计算机专业规划教材) 2024 pdf epub mobi 电子书

• 
  Theory of Recursive Functions and Effective Computability 2024 pdf epub mobi 电子书
• 
  弗雷格逻辑哲学与现代数理逻辑思潮 2024 pdf epub mobi 电子书
• 
  Model Theory 2024 pdf epub mobi 电子书
• 
  Computability and Randomness 2024 pdf epub mobi 电子书
• 
  A Course In Mathematical Logic 2024 pdf epub mobi 电子书
• 
  Logic in Games 2024 pdf epub mobi 电子书
• 
  递归论 2024 pdf epub mobi 电子书
• 
  Collected Works 2024 pdf epub mobi 电子书
• 
  Handbook of Practical Logic and Automated Reasoning 2024 pdf epub mobi 电子书
• 
  公理集合论导引 2024 pdf epub mobi 电子书
• 
  A Friendly Introduction to Mathematical Logic 2024 pdf epub mobi 电子书
• 
  Topoi 2024 pdf epub mobi 电子书
• 
  Logical Foundations of Mathematics and Computational Complexity 2024 pdf epub mobi 电子书
• 
  Collected Works 2024 pdf epub mobi 电子书
• 
  A Concise Introduction to Mathematical Logic 2024 pdf epub mobi 电子书
• 
  Introduction to Higher-Order Categorical Logic 2024 pdf epub mobi 电子书
• 
  数理逻辑导论 2024 pdf epub mobi 电子书
• 
  Formal Logic 2024 pdf epub mobi 电子书
• 
  Collected Works 2024 pdf epub mobi 电子书
• 
  Recursively Enumerable Sets and Degrees 2024 pdf epub mobi 电子书