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

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

香港／國際用戶

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

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

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

新書推薦： 《 投诉是礼物：理论版+实践版（套装2册） 长盛不衰的客户服务指南！ 》 售價：NT$ 614.0 《 女性史：革命与战争时期卷（一次重构人类历史的努力） 》 售價：NT$ 614.0 《 永无止尽的狂热：三岛由纪夫 》 售價：NT$ 311.0 《 原来这就是逻辑学：16堂大师逻辑课 》 售價：NT$ 259.0 《 隋唐王朝兴亡史 》 售價：NT$ 354.0 《 货币新纪元：区块链重塑金融生态 》 售價：NT$ 458.0 《 规制如何生财：清代盐政基本原理研究（1644-1850） 》 售價：NT$ 458.0 《 小学生C++趣味编程从入门到精通 青少年软件编程等级考试（C语言）学习用书 》 售價：NT$ 463.0

建議一齊購買： + NT$ 209 《 普通高等学校十一五规划教材?数理逻辑（第2版） 》 + NT$ 323 《 数理逻辑引论 》 + NT$ 190 《 数理逻辑的思想和方法 》 + NT$ 167 《 数理逻辑入门 》 內容簡介： 《数理逻辑中国高等学校计算机科学与技术专业（应用型）规划教材》共分7章。第0章绪论，介绍元数学的形成与发展，以及元数学与数理逻辑之间的关系，同时简要说明课程学习的目的和意义；第1章介绍集合论的基础知识，包括有穷集与无穷集的概念、可数集与不可数集的性质、集合的基数、无穷基数的比较等方面的内容；第2章介绍可计算性理论的基本知识，包括计算概念的形成与发展、算法的基本描述、计算概念的数学定义、可计算性函数的基本性质等；第3章～第5章是关于经典数理逻辑的内容，包括命题演算和谓词演算两个部分，重点介绍逻辑演算以及相关形式系统的基本性质，内容涉及形式证明、形式推理、形式系统的语法、语义等概念以及逻辑系统的可靠性与充分性等方面的知识；第6章以一阶算术系统为例，介绍基于逻辑系统扩展的数学应用系统的描述方法，最终给出“哥德尔不完备性定理”的证明。在《数理逻辑中国高等学校计算机科学与技术专业（应用型）规划教材》的附录中给出了全书的习题解答。 《数理逻辑中国高等学校计算机科学与技术专业（应用型）规划教材》面向计算机科学与技术、软件工程以及相关专业的高等院校学生，尤其是高校相关专业的高年级本科生及研究生，可以作为教材，也可作为希望了解数理逻辑基础知识的高校学生和科研技术工作者的阅读材料或参考资料。 目錄： 绪论 第1章集合论基础 1.1可数集 1.1.1映射 1.1.2可数集的概念 1.1.3可数集概念的延伸 1.2康拓尔对角线方法 1.2.1波尔查诺的无穷观 1.2.2康拓尔的证明 1.2.3自然数集的幂集（N） 1.3基数 1.3.1基数的概念 1.3.2基数大小关系性质 1.4自然数与有穷集 1.4.1集合论观点下的自然数 1.4.2有穷集与有穷基数 1.5无穷集与N。 1.5.1最小的无穷量 1.5.2无穷集的肚量 1.6更高的超穷基数 1.6.1幂集的基数 1.6.2关于幂集的康拓尔定理 1.6.3其他超穷集的基数 1.6.4连续统与连续统假设 本章习题 第2章可计算性理论基础 2.1计算概念的形成与发展 2.1.1计算概念的初识——抽象思维的进步 2.1.2计算概念的定义——计算本质的揭示 2.1.3计算概念的发展——计算方式的进化 7.2算法与能行过程 2.2.1算法概念的由来 2.2.2算法概念的描述 2.2.3能行过程与可计算性 2.2.4停机问题 2.3可计算性概念的数学描述 2.3.1递归函数 2.3.2图灵机与图灵可计算函数 2.4理想计算机 2.4.1URM模型与指令系统 2.4.2URM可计算函数 本章习题 第3章形式命题演算 3.1命题与命题演算形式系统 3.1.1命题的概念 3.1.2命题的表示与翻译 3.1.3命题演算形式系统 3.2命题演算形式推理 3.2.1命题演算形式证明与定理 3.2.2相对证明与演绎定理 3.3命题公式的等价与替换 3.3.1等价命题公式 3.3.2等价命题替换定理 3.4对偶命题公式 3.4.1命题公式的对偶式 3.4.2对偶原则 3.5形式系统再认识 3.5.1形式系统理论 3.5.2形式系统L的简化 3.6形式系统的进一步讨论 3.6.1赋值与重言式 3.6.2L的可靠性定理 3.6.3L的充分性定理 本章习题 第4章谓词演算 4.1谓词表达式 4.1.1谓词与量词 4.1.2谓词表达式与翻译 4.2一阶语言 4.2.1一阶语言g与谓词公式 …… 第5章谓词演算形式系统 第6章一阶算术形式系统与哥德尔不完备性定理 附录A习题解答 参考文献

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