《数理逻辑：基本原理与形式演算（第二版）》是2018年01月科学出版社出版的图书，作者是李未。内容简介 本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。...
数理逻辑:基本原理与形式演算(第二版) 李未著 京东价 ￥降价通知 累计评价 0 促销 展开促销 配送至 --请选择-- 支持 更多商品信息 商品介绍 规格与包装 售后保障 商品评价 本店好评商品 出版社:科学出版社 ISBN:9787030401557 版次:2 商品编码:11866307 ...
系统介绍数理逻辑的基本原理与形式演算.前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理.后五章的内容是作者的研究成果.这部分内容包括:版本序列及其极限理论,修正演算系统,过程模式理论,归纳推理理论,三个语言环境的理论和元语言环境遵从的6个基本原理以及...
数理逻辑:基本原理与形式演算 作者:李未著出版社:科学出版社出版时间:2008年01月 手机专享价 ¥ 当当价降价通知 ¥40.60 定价 ¥58.00 配送至 北京市东城区 运费6元,满49元包邮 服务 由“当当”发货,并提供售后服务。 当当自营 商品详情 开本:16开...
系统介绍数理逻辑的基本原理与形式演算.前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理.后五章的内容是作者的研究成果.这部分内容包括:版本序列及其极限理论,修正演算系统,过程模式理论,归纳推理理论,三个语言环境的理论和元语言环境遵从的6个基本原理以及...
[按需印刷]数理逻辑/基本原理与形式演算(第二版) 科学出版社 李未 著著 京东价 ￥降价通知 累计评价 0 促销 展开促销 配送至 --请选择-- 支持 更多商品信息 科学出版社旗舰店 店铺星级 商品评价4.9 高 物流履约4.8 高 售后服务4.8 高 进店逛逛关注店铺 ...
数理逻辑:基本原理与形式演算,《数理逻辑:基本原理与形式演算》是2008年在科学出版社出版的图书,该书作者是李未。该书系统介绍数理逻辑的基本原理与形式演算。该书前五章可作为大学本科生的数理逻辑教材,而后五章可向有关专业的研究生讲授,该书也可供数学、信息与技术和
数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本书共分十章，前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限，修正演算系统，过程...