《数理逻辑十二讲》 - 宋方敏吴骏 - 机械工业出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

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

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

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

售價：HK$ 56.6

我要買件

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

新書推薦：

《莫雷诺心理学：克服强迫症（第5版，西班牙临床心理学家经典入门指南，强迫症的诱因、病症与治疗，收录强迫症自测表）》
售價：HK$ 54.8

《杰出投资者的情绪管理课：揭秘巴菲特不住在华尔街的真相（德国年度财经图书奖）》
售價：HK$ 87.8

《粤港澳大湾区协同发展报告（2024）》
售價：HK$ 178.2

《中国美术全集：陶瓷器（一部汇集中华五千年文化的大型图集）》
售價：HK$ 1680.0

《科技革命与日本现代化》
售價：HK$ 174.6

《天气好极了，钱几乎没有：契诃夫书信集 1876—1904 》
售價：HK$ 92.2

《天才基本法》
售價：HK$ 62.3

《歧路彷徨：明代小读书人的选择与困境》
售價：HK$ 113.3

建議一齊購買：

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 - 2025 （香港）大書城有限公司　 All Rights Reserved.