数理逻辑

数理逻辑 pdf epub mobi txt 电子书 下载 2025

出版者:人民邮电出版社
作者:[美]Herbert B.Enderton
出品人:图灵教育
页数:240
译者:沈复兴
出版时间:2007-3
价格:35.00元
装帧:平装
isbn号码:9787115143112
丛书系列:图灵计算机科学丛书
图书标签:
  • 数理逻辑
  • 数学
  • 逻辑
  • 逻辑学
  • 计算机
  • 计算机科学
  • 数学基础
  • 经典
  • 数理逻辑
  • 逻辑学
  • 数学
  • 推理
  • 形式系统
  • 命题逻辑
  • 谓词逻辑
  • 数学基础
  • 证明
  • 逻辑结构
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

具体描述

《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。

作者简介

Herbert B.Enderton,哈佛大学博士,师从著名哲学家hilary putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材elements of set theory(影印版已经由人民邮电出版社出版)和linear algebra。

目录信息

第0章 集合基础
第1章 命题逻辑
1.0 闲话形式语言
1.1 命题逻辑的语言
1.2 真值指派
1.3 解析算法
1.4 归纳与递归
1.5 命题联结词
1.6 交换电路
1.7 紧致性和能行性
第2章 一阶逻辑
2.0 预备知识
2.1 一阶语言
2.2 真值与模型
2.3 解析算法
2.4 演绎计算
2.5 可靠性与完备性理论
2.6 理论的模型
2.7 理论之间的解释
2.8 非标准分析
第3章 不可判定性
3.0 数论
3.1 有后继数的自然数
3.2 数论的其他归约模型
3.3 数论的子理论
3.4 语法的算术法
3.5 不完全性和不可判定性
3.6 递归函数
3.7 第二不完全性定理
3.8 幂乘运算的表示
第4章 二阶逻辑
4.1 二阶语言
4.2 斯科伦函数
4.3 多类逻辑
4.4 广义结构
附录A 推荐读物
附录B 符号列表
索引
· · · · · · (收起)

读后感

评分

用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。

评分

用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。

评分

用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。

评分

用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。

评分

用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。

用户评价

评分

r2q35v

评分

翻译版有错误。建议直接看英文版。ps:发现了好多翻译错误。譬如搞错not...or, objection 这些基本词汇意思的。自学的初学者会被坑惨。

评分

上课的时候读过这本书 可以作为计算机专业的数理的入门书籍 没有数学专业的数理逻辑那么难懂

评分

用英文教材的时候对照翻过,部分名词未采用国内常见译名,印刷错误不少。

评分

看的我头好大。。。

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有