登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書

『簡體書』数理逻辑十二讲

書城自編碼： 3101565
分類：簡體書→大陸圖書→教材→研究生/本科/专科教材
作者： 宋方敏 吴骏
國際書號(ISBN)： 9787111581222
出版社： 机械工业出版社
出版日期： 2017-12-01
版次： 1
頁數/字數： 155/300000
書度/開本： 16开 釘裝： 平装

售價：HK$ 56.6

我要買 件

 

** 我創建的書架 **
未登入.

新書推薦：
冯友兰和青年谈心系列：看似平淡的坚持
《 冯友兰和青年谈心系列：看似平淡的坚持 》
售價：HK$ 55.8
汉字理论与汉字阐释概要 《说解汉字一百五十讲》作者李守奎新作
《 汉字理论与汉字阐释概要 《说解汉字一百五十讲》作者李守奎新作 》
售價：HK$ 76.2
汗青堂丛书144·决战地中海
《 汗青堂丛书144·决战地中海 》
售價：HK$ 168.0
逝去的武林（十周年纪念版 武学宗师 口述亲历 李仲轩亲历一九三零年代武人言行录）
《 逝去的武林（十周年纪念版 武学宗师 口述亲历 李仲轩亲历一九三零年代武人言行录） 》
售價：HK$ 54.9
唐代冠服图志（百余幅手绘插画 图解唐代各类冠服 涵盖帝后 群臣 女官 士庶 军卫等 展现唐代社会风貌）
《 唐代冠服图志（百余幅手绘插画 图解唐代各类冠服 涵盖帝后 群臣 女官 士庶 军卫等 展现唐代社会风貌） 》
售價：HK$ 87.4
知宋·宋代之科举
《 知宋·宋代之科举 》
售價：HK$ 99.7
那本书是（吉竹伸介与又吉直树 天才联动！）
《 那本书是（吉竹伸介与又吉直树 天才联动！） 》
售價：HK$ 99.7
传播的跃迁：人工智能如何革新人类的交流
《 传播的跃迁：人工智能如何革新人类的交流 》
售價：HK$ 110.9

 
建議一齊購買：

+

HK$ 287.1
《数理逻辑导引》		 +

HK$ 142.1
《数理逻辑基础（下册）》		 +

HK$ 142.1
《数理逻辑基础（上册）》		 +

HK$ 48.0
《逻辑与形而上学教科书系列：作为哲学的数理逻辑》		 +

HK$ 181.3
《数理逻辑教程》
內容簡介：
本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础，对培养学生的素养以及提高解决问题的能力有重要的意义。
關於作者：
宋方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目，863项目和中法合作项目的研究，在国内外核心刊物上发表论文50余篇。在教学上，为本科生主讲“离散数学”和“数理逻辑”课程，为研究生主讲“计算理论”课程。
吴骏，南京大学计算机科学与技术系讲师。主要研究领域是逻辑在人工智能中的应用、算法博弈论与机制设计，曾主持及参与国家自然科学基金、科技部重点研发计划等多项科研项目，在国内外学术会议与期刊上发表论文十余篇。在教学上，为本科生主讲“数理逻辑”课程，为研究生主讲“智能Agent”课程。
目錄：
前言
第一讲 命题逻辑
第二讲 Boole代数
第三讲 一阶逻辑语言
第四讲 一阶逻辑的自然推理系统
第五讲 集合论的公理系统
第六讲 完全性定理
第七讲 Herbrand定理
第八讲 命题逻辑的永真推理系统
第九讲 一阶逻辑的永真推理系统
第十讲 Gentzen的Hauptsatz
第十一讲 紧性定理
第十二讲 模态逻辑概述
参考文献
內容試閱：
数理逻辑是用数学研究逻辑推理的一门学科，旨在为推理思维建立数学模型。19世纪中叶，数理逻辑就已作为一门科学存在，在20世纪中叶它得到蓬勃发展，由于Russell、Hilbert和Brouwer代表的三大学派的建立，数理逻辑迎来了一个新时代。1931年Godel“两个不完备定理”的发表、1933年Tarski关于形式语言中的“真”概念的发表、1934年Herbrand-Godel“一般递归函数”概念的发表，以及1936年Turing关于“判定性问题”的论文，使数理逻辑开始了一个更新的时代。
此后数理逻辑对数学基础、哲学和计算机科学都产生了重大影响。
本书主要介绍命题逻辑和一阶逻辑，这是非常重要的基础理论。为了使学生易学易懂，我们既介绍Gentzen系统，又介绍Hilbert系统。然后讲解数理逻辑的4个基本定理：
完全性定理、紧性定理、Hauptsatz和Herbrand定理。最后我们介绍了模态逻辑。
本书源于作者在南京大学已试用多年的讲义，许多同学对讲义内容和习题提出了大量宝贵意见，在此作者表示衷心感谢。最后感谢我们的家人一直以来的支持和关心。
由于作者才疏学浅，本书内容一定存在不足和错误，希望读者批评指正。
作者2016年于南京大学仙林校区

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.