您的位置:首页 图书列表 数理逻辑:基本原理与形式演算
收藏
评价
数理逻辑:基本原理与形式演算
商品编号:7244246
ISBN:9787030200969
出版社:科学出版社
作者: 李未著
出版日期:2008-09-01
开本:16
装帧:暂无
中图分类:O141
页数:11255
册数:1
大约重量:550(g)
购买数量:
-
+
库存:30
配送:
预计72小时发货
甲虎价: 15.66 (2.7折)
原价:¥58.00
图书简介
图书目录
作者简介
图书评价
本书系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性等;后五章阐述了形式理论的版本序列及其极限,修正演算系统,过程模式及其性质,以及归纳推理理论等。
商品评价 (0)
为您推荐
方便
200万图书品种,一站式采购
高效
10分钟查单返单,48小时快速配货
放心
正版低价,假一赔三
在线客服
购物车
收藏夹
留言板
返回顶部