数理逻辑基础（上册）读书介绍

胡世华      ISBN:9787030464217    原作名/别名:《》

数理逻辑基础（上册）摘要

本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。

本书共六部分，分上、下两册。上册包括绪论、第一章和第二章。绪论对数理逻辑的性质，逻辑演算的大概内容。以及阅读以后各章所需要的预备知识作了简要的说明。第一章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则。第二章研究逻辑演算的重要系统特征。

作者简介

未发行或暂未收录

面向计算机科学的数理逻辑系统建模与推理 计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS,　2020-02-20 …

面向计算机科学的数理逻辑系统建模与推理 数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测,　2020-02-20 …

数理逻辑 数理逻辑,数学,逻辑学,哥德尔,逻辑,大三下,高分,画画,　2020-02-20 …

数理逻辑 数理逻辑,逻辑学,数学,逻辑,哲学,教材,符号学,语义,　2020-02-20 …

现代数学手册·计算机数学卷 数学,计算机,计算机数学,科学技术,近期,自然科学,科学,现代数学,　2020-02-20 …

数学家的逻辑 数理逻辑,数学,逻辑学,逻辑,（旧版）,蔡曙山荐,老师推荐,未读完,　2020-02-20 …

数理逻辑 数理逻辑,数学,逻辑,逻辑学,计算机,入门,阅读,高分,　2020-02-20 …

数字影视剪辑艺术与实践 剪辑,考研,电影理论,教材,电影,影视,　2020-02-20 …

证券投资基金(下册) 基金,金融,考试,证券,教材,投资,经济,中国,　2020-02-20 …

生活数学大爆炸:学前数学思维训练(下册)(4-5岁) 数学,育儿,益智,绘本,书_绘本,幼儿,　2020-02-20 …

上册大结局数理逻辑基础大结局

剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。