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

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

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

『簡體書』数理逻辑：基本原理与形式演算（第二版）

書城自編碼： 2274156
分類：簡體書→大陸圖書→自然科學→數學
作者： 李未 著
國際書號(ISBN)： 9787030401557
出版社： 科学出版社
出版日期： 2014-03-01

頁數/字數： 289页
書度/開本： 16开

售價：HK$ 254.8

我要買 件

 

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

新書推薦：
加加美高浩的手部绘画技法 II
《 加加美高浩的手部绘画技法 II 》
售價：HK$ 89.4
卡特里娜（“同一颗星球”丛书）
《 卡特里娜（“同一颗星球”丛书） 》
售價：HK$ 87.4
伟大民族：从路易十五到拿破仑的法国史（方尖碑）
《 伟大民族：从路易十五到拿破仑的法国史（方尖碑） 》
售價：HK$ 188.2
古今“书画同源”论辨——中国书法与中国绘画的关系问题兼中国画笔墨研究
《 古今“书画同源”论辨——中国书法与中国绘画的关系问题兼中国画笔墨研究 》
售價：HK$ 132.2
《日本文学史序说》讲演录
《 《日本文学史序说》讲演录 》
售價：HK$ 72.8
无尽的海洋：美国海事探险与大众文化（1815—1860）
《 无尽的海洋：美国海事探险与大众文化（1815—1860） 》
售價：HK$ 99.7
治盗之道：清代盗律的古今之辨
《 治盗之道：清代盗律的古今之辨 》
售價：HK$ 122.1
甲骨文丛书·剑桥世界暴力史（第一卷）：史前和古代世界（套装全2册）
《 甲骨文丛书·剑桥世界暴力史（第一卷）：史前和古代世界（套装全2册） 》
售價：HK$ 210.6

 
建議一齊購買：

+

HK$ 64.9
《普通高等学校十一五规划教材?数理逻辑（第2版）》		 +

HK$ 230.1
《集合论（第3次）（修订增补版）》		 +

HK$ 44.0
《数理逻辑的思想和方法》		 +

HK$ 93.6
《逻辑与形式而上学教科书系列：数理逻辑：证明及其限度》
內容簡介：
《信息科学与技术基础丛书·数理逻辑：基本原理与形式演算（第二版）》的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部分内容包括：版本序列及其极限理论、修正演算系统、过程模式理论、归纳推理理论、三个语言环境的理论和元语言环境遵从的6个基本原理以及信息社会中科学研究的工作流程。
目錄：
《信息科学与技术基础丛书》序

再版前言

第二次印刷说明

前言

符号对照表

第1章 一阶语言的语法

　1.1 一阶语言的符号

　1.2 项

　1.3 逻辑公式

　1.4 自由变元与替换

　1.5 公式的Godel项

　1.6 结构归纳证明

第2章 一阶语言的模型

　2.1 论域与解释

　2.2 赋值与模型

　2.3 项的语义

　2.4 逻辑连接词符号的语义

　2.5 公式的语义

　2.6 可满足性和永真性

　2.7 关于一的永真公式

　2.8 Herlbrand域、基和公式集

　2.9 Heilbrand模型

　2.10 含有变元的Herbrand模型

　2.11 替换引理

　2.12 模型的同构

第3章 形式推理系统

　3.1 G推理系统

　3.2 推理树、证明树和可证序贯

　3.3 G系统的可靠性

　3.4 G系统的完全性

　3.5 紧致性和协调性

　3.6 若干常用推理规则

　3.7 证明论与模型论

第4章 可计算性与可表示性

　4.1 形式理论

　4.2 初等算术理论

　4.3 N上的P过程

　4.4 Church—Turing论题

　4.5 可表示性问题

　4.6 P过程的存储状态

　4.7 P过程指令的操作演算系统

　4.8 P过程指令的表示

　4.9 可表示性定理

第5章 Godel定理

　5.1 自指语句

　5.2 可判定集合

　5.3 Π中的不动点方程

　5.4 Godel不完全性定理

　5.5 Godel协调性定理

　5.6 停机问题

第6章 形式理论序列

　6.1 两个例子

　6.2 形式理论序列

　6.3 过程模式

　6.4 归结序列

　6.5 缺省扩充序列

　6.6 力迫序列

　6.7 关于过程模式的讨论

第7章 事实反驳与修正演算

　7.1 形式结论的必要前提

　7.2 新猜想和新公理

　7.3 事实反驳和极大缩减

　7.4 R—演算

　7.5 R—演算的可达性、可靠性和完全性

　7.6 关于科学发现的逻辑

　7.7 不含删除规则的R—演算

　7.8 程序调试的操作语义

第8章 版本序列和过程模式

　8.1 版本和版本序列

　8.2 OPEN过程模式

　8.3 过程模式的收敛性

　8.4 过程模式的可交换性

　8.5 过程模式的独立性

　8.6 合理过程模式

第9章 归纳推理和归纳进程

　9.1 基项、基语句与基事例

　9.2 归纳推理系统A

　9.3 归纳型版本和归纳进程

　9.4 GUINA过程模式

　9.5 GUINA过程模式的收敛性

　9.6 GUINA过程模式的可交换性

第10章 一阶语言的元语言环境

　10.1 三个语言环境

　10.2 元语言环境的基本原理

　10.3 公理化方法

　10.4 形式化方法

　10.5 科学研究的工作流程

参考文献

附录1 集合与映射

附录2 可表示性定理的证明

索引

 

 

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