扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
(精)BBC地球故事系列-星际旅行
-
>
从一到无穷大
-
>
图说相对论(32开平装)
-
>
一本有趣又有料的化学书
-
>
刘薰宇的数学三书:原来数学可以这样学全3册
-
>
光学零件制造工艺学
Mathematical logic(数理逻辑) 版权信息
- ISBN：9787519255725
- 条形码：9787519255725 ; 978-7-5192-5572-5
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
Mathematical logic(数理逻辑) 本书特色
本书是一部难度适中的本科生数学教材.主要讲述了什么是数学证明,这些证明怎么能够被验证以及电脑在多大程度上能够执行这些数学证明.本书从一阶逻辑以及它在数学基础中的作用的讲述开始,深入阐述了 Trachtenbrot的不可判定性理论,基础等值理论的Fraisse特性,以及逻辑程序设计的基础这些经典的知识点. 读者对象:本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生、研究生以及相关专业的研究人员。
Mathematical logic(数理逻辑) 内容简介
本书是一部难度适中的本科生数学教材.主要讲述了什么是数学证明,这些证明怎么能够被验证以及电脑在多大程度上能够执行这些数学证明.本书从一阶逻辑以及它在数学基础中的作用的讲述开始,深入阐述了 Trachtenbrot的不可判定性理论,基础等值理论的Fraisse特性,以及逻辑程序设计的基础这些经典的知识点. 读者对象:本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生、研究生以及相关专业的研究人员。
Mathematical logic(数理逻辑) 目录
目次：引论；一阶语言句法；一阶语言语义学；完备理论； Lowenheim-Skolem理论和紧性定理；一阶逻辑；语义解释与范式；一阶逻辑的扩展；规范方法的局限性；自由模型与逻辑程序设计；基础等值理论的代数特性；Lindstrom定理。
展开全部
Mathematical logic(数理逻辑) 作者简介
《数理逻辑》（第2版）的第1作者作者H.D. 埃宾豪斯（H.D.Ebbinghaus）是德国弗莱堡大学（Universität Freiburg） 数学系教授。
书友推荐
- >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥11.0¥23.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥16.4¥49.8 - >
山海经
山海经
¥20.4¥68.0 - >
二体千字文
二体千字文
¥16.0¥40.0 - >
莉莉和章鱼
莉莉和章鱼
¥18.1¥42.0
本类畅销
-
时间简史-普及版
¥16.3¥38 -
严士健谈数学教育
¥8.5¥25 -
分割与积累
¥10.8¥25 -
统计学七支柱
¥27.3¥39 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158
