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

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

香港／國際用戶

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

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

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

新書推薦： 《 翻译的危险：清代中国与大英帝国之间两位译者的非凡人生 》 售價：NT$ 426.0 《 论法拉比与迈蒙尼德：施特劳斯讲演与论文集：卷三 》 售價：NT$ 494.0 《 实验之火：锻造英格兰炼金术（1300—1700年） 》 售價：NT$ 562.0 《 高功率激光推进 》 售價：NT$ 499.0 《 藩镇时代的政治与社会 》 售價：NT$ 510.0 《 电网设备无人机自动机场建设与应用 》 售價：NT$ 406.0 《 中国沿海的贸易与外交：通商口岸的开埠：1842-1854.下 》 售價：NT$ 666.0 《 甲骨文丛书·繁荣与衰退：中国市场经济（1000~1500年） 》 售價：NT$ 666.0

建議一齊購買： + NT$ 270 《 大学生心理健康教育：积极心理学的运用 》 + NT$ 545 《 土壤学（第二版） 》 + NT$ 354 《 大学生创新创业基础 》 + NT$ 342 《 饲料配方设计与加工工艺学 》 + NT$ 414 《 地理信息系统基础（第二版） 》 + NT$ 458 《 第十五届全国大学生电子设计竞赛获奖作品选编（2021） 》 編輯推薦： 本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究.而经典二值逻辑系统是一种反映演绎推理规律的逻辑演算系统.但人类思维过程是极为丰富和复杂的，人类思维活动中的种种推理方式决非演绎推理所能完全囊括。 內容簡介： 全书共分为5章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义与构造，其论述尽量侧重于直观，而不讲究形式系统意义下的那种严格.第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容.第5章是有关经典二值逻辑系统的严格的语义研究. 關於作者： 朱梧槚，南京航空航天大学计算机科学与技术学院，教授、博士生导师，长期致力于数学基础与计算机科学理论的研究。 肖奚安，解放军理工大学理学院数学系，教授。 朱朝晖，南京航空航天大学计算机科学与技术学院，教授。研究方向为计算机科学中的逻辑学、进程代数。 周勇，南京航空航天大学计算机科学与技术学院，副教授。 目錄： 目录 第0章 绪 论 /1 0.1 什么是数理逻辑?/1 0.2 形式系统及其解释/8 命题与命题联结词 /14命 题/142 命题联结词/163 真值函数/224 范 式/295 范式与指派/406 命题联结词含量的完全性/55习题与补充1/68第2章 命题逻辑演算 /72 2.1 命题逻辑的自然推理系统 的构造/73 2.2 命题逻辑的自然推理系统的展开/79 2.3 命题逻辑的重言式系统的构造/92 2.4 命题逻辑的重言式系统的展开/95 2.5 的简化及其与 的关系/103 习题与补充2/119 第3章 谓词与量词 /124 3.1 命题的分解与谓词/124 3.2 量词与变元/128 3.3 函词与摹状词/134 3.4 指派与同真假性/138 3.5 永真性与可满足性/141 3.6 前束范式与 Skolem范式/145 习题与补充3/155 第4章 谓词逻辑演算 /159 4.1 谓词逻辑的自然推理系统的构造/163 4.2 谓词逻辑的自然推理系统的展开/169 4.3 谓词逻辑的重言式系统的构造/178 4.4 谓词逻辑的重言式系统的展开/180 4.5 的简化及其与的关系/194 4.6 带等词或函词的谓词逻辑/199 习题与补充4/206 逻辑演算系统的整体特征 /209 5.1 赋值与模型/210 5.2 可靠性与协调性/214 5.3 完备性/219 5.4 紧致性与可判定性/228 习题与补充5/229 参考文献 /231 附录 非经典逻辑纲要 /233

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