弘苑书香
馆配数据采访
教材巡展网上行
在线客服
欢迎进入网上馆配会荐购选采服务平台 图书馆单位会员
注册
图书馆读者/馆员
登录
首页
中图法目录
出版社目录
出版商书目
拟出版书目
基教幼教目录
数字资源目录
平台使用指南
平台介绍
关于我们
平 台 介 绍
读者荐购指南
图书馆使用指南
联 系 我 们
书单推荐
·气清景明 万物皆显│清明 荐
·向阳生长 不负春光│春分节气
·电子工业出版社社科类推荐书
·电子工业出版社科技类推荐书
·电子工业出版社经管类推荐书
·植树节荐读书目
·国际劳动妇女节荐读书目
·知识产权出版社重点推荐书目
新书推荐
·一本书读懂30部社会学名著
·通信电子战工程
·DK时间线上的全球史
·共享现实:是什么让我们成为
·陈光中口述自传
·见证逆潮 全球资产逻辑大变局
·AI绘画全面精通:软件平台+脚
·高通量多尺度材料计算和机器
数理逻辑
定 价:59 元
作者:孙希文编著
出版时间:2019/11/1
ISBN:9787040513523
出 版 社:高等教育出版社
中图法分类:
O141
页码:499
纸张:
版次:1
开本:16K
9
7
5
8
1
7
3
0
5
4
2
0
3
内容简介
本书包含一阶数理逻辑的基本核心内容, 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、 模型论、 递归函数和图灵机、哥德尔不完全性定理、递归论等。 可分别作为计算机科学和数学专业的本科生和研究生教材。 也可供相关科技工作者参考。
你还可能感兴趣
Calabi-Yau三角范畴中扭对的分类及其应用
数理逻辑教程
数理哲学导论
数理逻辑引论
机器证明的逻辑推定
我要评论
您的姓名
验证码:
留言内容