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

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

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

『簡體書』数理逻辑引论 第二版

書城自編碼： 3847941
分類：簡體書→大陸圖書→教材→研究生/本科/专科教材
作者： 朱梧槚 肖奚安 朱朝晖 周勇
國際書號(ISBN)： 9787568540353
出版社： 大连理工大学出版社
出版日期： 2023-02-01

頁數/字數： /
書度/開本： 16开 釘裝： 平装

售價：HK$ 84.2

我要買 件

 

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

新書推薦：
关键改变：如何实现自我蜕变
《 关键改变：如何实现自我蜕变 》
售價：HK$ 77.3
超加工人群：为什么有些食物让人一吃就停不下来
《 超加工人群：为什么有些食物让人一吃就停不下来 》
售價：HK$ 99.7
历史的教训（浓缩《文明的故事》精华，总结历史教训的独特见解）
《 历史的教训（浓缩《文明的故事》精华，总结历史教训的独特见解） 》
售價：HK$ 62.7
不在场证明谜案（超绝CP陷入冤案！日本文坛超新星推理作家——辻堂梦代表作首次引进！）
《 不在场证明谜案（超绝CP陷入冤案！日本文坛超新星推理作家——辻堂梦代表作首次引进！） 》
售價：HK$ 58.2
明式家具三十年经眼录
《 明式家具三十年经眼录 》
售價：HK$ 524.2
敦煌写本文献学（增订本）
《 敦煌写本文献学（增订本） 》
售價：HK$ 221.8
耕读史
《 耕读史 》
售價：HK$ 109.8
地理计算与R语言 [英] 罗宾·洛夫莱斯 [德]雅纳·蒙乔 [波兰] 雅库布·诺沃萨德
《 地理计算与R语言 [英] 罗宾·洛夫莱斯 [德]雅纳·蒙乔 [波兰] 雅库布·诺沃萨德 》
售價：HK$ 121.0

 
建議一齊購買：

+

HK$ 57.6
《大学生心理健康教育：积极心理学的运用》		 +

HK$ 113.9
《土壤学（第二版）》		 +

HK$ 77.9
《大学生创新创业基础》		 +

HK$ 73.8
《饲料配方设计与加工工艺学》		 +

HK$ 91.1
《地理信息系统基础（第二版）》		 +

HK$ 98.8
《第十五届全国大学生电子设计竞赛获奖作品选编（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.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.