数理逻辑（第2版）

Main
Mathematics - Discrete Mathematics
数理逻辑（第2版）

数理逻辑（第2版）

[美]Herbert B.Enderton，沈复兴，陈磊，孙运传

0 / 0

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。

카테고리:

Mathematics - Discrete Mathematics

년:

2007

출판사:

人民邮电出版社

언어:

chinese

페이지:

240

ISBN 10:

7115143110

ISBN 13:

9787115143112

시리즈:

图灵计算机科学丛书

파일:

PDF, 3.05 MB

IPFS:

,

chinese, 2007

온라인으로 읽기

다운로드 (pdf, 3.05 MB)

로의 변환이 실행 중입니다

로의 변환이 실패되었습니다

귀하의 관심을 살 수 있습니다

莫绍揆 — 数理逻辑导论

莫绍揆 — 数理逻辑漫谈

胡世华; 陆钟万 — 数理逻辑基础

胡世华; 陆钟方 — 数理逻辑基础

莫绍揆 — 数理逻辑初步

莫绍揆 — 数理逻辑教程

王宪钧 — 数理逻辑引论

赵道强 — 数码摄影兵器谱：从十八般武艺说起

雷剑编著 — 数码摄影用光与曝光1分钟技巧

郭诠水 — 数码摄影全攻略：基础知识·相机选购·拍摄技巧·后期处理

董延闿 — 基础集合论

李未著 — 数理逻辑：基本原理与形式演算

数理化自学丛书编委会数学编写小组 — 数理化自学丛书-代数1

数理化自学丛书编委会数学编写小组 — 数理化自学丛书-代数4

数理化自学丛书编委会-化学编写小组 — 数理化自学丛书-化学3

数理化自学丛书编委会-化学编写小组 — 数理化自学丛书-化学4

数理化自学丛书编委会数学编写小组 — 数理化自学丛书平面几何1

数理逻辑基础：一阶逻辑与一阶理论-陈慕泽 — 数理逻辑基础：一阶逻辑与一阶理论-陈慕泽

it-ebooks — 数据结构、算法与应用：C++语言描述原书第2版

低调的廉价艺术家 — 数术进阶：以生克链之理统地支之象

王卓 — 数据结构网课讲义（王卓-青岛大学-哔哩哔哩网课讲义-大学计算机专业基础课-考研408专业课-考研自命题专业课）

王道论坛 — 数据结构考研大题汇总

A.G.汉密尔顿朱水林译 — 数理逻辑

王浩 — 数理逻辑通俗讲话

布勒斯，George S. Boolos — 可计算性与数理逻辑

胡世华，陆钟万著 — 现代数学基础丛书数理逻辑基础上

Kenneth Kunen — Set theory

黒川信重, 栗原将人, 斎藤毅 — 数論 II

Lu zhong wan — 面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji

冯琦 — 数理逻辑导引

冯琦 — 集合论导引第1卷

冯琦 — 集合论导引第2卷

冯琦 — 集合论导引第三卷高阶无穷

赵希顺刘虎 — 简明数理逻辑

沈（ShenA.）, 韦列夏金（VershchaginN.K.）, 陈光还译 — 集合论基础

陈越 — 数据结构

陈越 — 数据结构学习与实验指导

胡思 — 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理

霍罗威茨, 萨尼, 安德森-弗里德 — 数据结构（C语言版）

[德] 哈斯 [英] 瑞安 — 面向计算机科学的数理逻辑

Anil Nerode Richard A.Shore — 应用逻辑

Michael T. Raggo, Chet Hosmer, 袁洪艳 — 数据隐藏技术揭秘

연결된 도서 목록