本本书屋

 本本书屋 logo

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

数理逻辑十二讲(面向CS2013计算机专业规划教材)
☆☆☆☆☆
简体网页||繁体网页

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

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

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

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

下载链接在页面底部


点击这里下载
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-06-17

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

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

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


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


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

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价
出版者:机械工业出版社
作者:宋方敏
出品人:
页数:155
译者:
出版时间:2018-1-1
价格:CNY 39.00
装帧:平装
isbn号码:9787111581222
丛书系列:面向CS2013计算机专业规划教材

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

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

宋方敏、吴骏编著的《数理逻辑十二讲(面向CS2013计算机专业规划教材)》为数理逻辑的入门教材，主要介绍命题逻辑和一阶逻辑。本书既引入自然推理风格的Gentzen系统，又引入永真推理风格的Hilbert系统，详细证明四个基本定理：完全性定理、紧性定理、Gentzen的Hauptsatz和Herbrand定理。本书最后介绍模态逻辑。

通过本书的学习，学生将掌握数理逻辑的基本概念、基本理论、基本推理，以及公理系统和形式化方法。本书作为计算机科学的基础教材，对培养学生的科学素养以及提高解决问题的能力具有重要的意义。

数理逻辑十二讲(面向CS2013计算机专业规划教材) 2024 pdf epub mobi 电子书
数理逻辑十二讲(面向CS2013计算机专业规划教材) 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

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

评分☆☆☆☆☆

好书

评分☆☆☆☆☆

好书

评分☆☆☆☆☆

好书

评分☆☆☆☆☆

千万别修南大的数理逻辑

评分☆☆☆☆☆

千万别修南大的数理逻辑

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

分享链接

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




相关图书



服务条款
联系我们
关于我们
隐私政策

本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等

友情链接

中国国家图书馆
国立台湾图书馆
美国国会图书馆
开放图书馆 openlibrary.org

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有