登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入 新註冊 |　新用戶登記

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 佛教文化十八讲 》 售價：NT$ 418.0 《 背弃圣约：处于考验中的美国公民宗教（社会学名著译丛） 》 售價：NT$ 215.0 《 卖掉法拉利的高僧 》 售價：NT$ 324.0 《 次经导论 》 售價：NT$ 829.0 《 故纸留痕：抗日战争时期澳门报刊资料选辑 》 售價：NT$ 1613.0 《 玩转Photoshop（零基础快速上手，全彩赠视频） 》 售價：NT$ 269.0 《 故事力：TED演讲者助力，当代青年克服表达难题（两位TED专业讲者教你掌握故事五大力） 》 售價：NT$ 381.0 《 中国民间神话故事绘（套装共15册） 》 售價：NT$ 2128.0

建議一齊購買： + NT$ 1426 《 数理逻辑导引 》 + NT$ 706 《 数理逻辑基础（下册） 》 + NT$ 706 《 数理逻辑基础（上册） 》 + NT$ 240 《 逻辑与形而上学教科书系列：作为哲学的数理逻辑 》 + NT$ 813 《 数理逻辑教程 》 內容簡介： 本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础，对培养学生的素养以及提高解决问题的能力有重要的意义。 關於作者： 宋方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目，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.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.