切换用户
查看图书详细信息
3，查看图书网页阅读
京公网安备11010202010100号
引文
×GB/T 7714-2015 格式引文
张尚水.数理逻辑导引[M].北京：中国社会科学出版社,1990
MLA 格式引文
张尚水.数理逻辑导引.北京,中国社会科学出版社:1990E-book.
APA 格式引文
张尚水(1990).数理逻辑导引.北京：中国社会科学出版社
图书简介
本书主要讲述数理逻辑的基础部分，即命题逻辑和一阶谓词逻逻。两部分的论述都是从语义论到语形论，建立严格的公理系统，最后讨论它们的元逻辑性质。对于人们学习中常见的难点，书中都作出了详尽分析。作者除对基本逻辑系统的介绍外，还特别注意对其他公理系统、自然推理系统和表列方法的概要介绍。集合论和模型论也有专节讲述。全书开篇给出阅读本书的若干预备知识。这是一部供文、理专业共同使用的专著。
作者简介
图书目录
相关推荐
-
图书 弗雷格逻辑哲学与现代数理逻辑思潮
作者：郭泽深
图书 弗雷格逻辑哲学与现代数理逻辑思潮
-
2
图书 西方经济伦理的实证研究：基于数理逻辑与演化实验的视角
作者：沈昊驹
图书 西方经济伦理的实证研究：基于数理逻辑与演化实验的视角
-
3
图书 中国表示法及其逻辑研究
作者：杜国平
图书 中国表示法及其逻辑研究
-
4
图书 形象、思维与推理：存在图逻辑
作者：程橙
图书 形象、思维与推理：存在图逻辑
-
5
图书 罗素的逻辑与哲学探究
作者：张家龙
图书 罗素的逻辑与哲学探究
-
6
图书 逻辑演算
作者：刘壮虎
图书 逻辑演算
-
7
图书 逻辑与语言研究（1）
作者：逻辑与语言研究会
图书 逻辑与语言研究（1）
-
8
图书 逻辑学动态与评论.第一卷.第二辑
作者：张建军
图书 逻辑学动态与评论.第一卷.第二辑
-
9
图书 全国逻辑讨论会论文选集1979
作者：北京市逻辑学会编辑组
图书 全国逻辑讨论会论文选集1979
-
10
图书 当代中国逻辑学研究：1949—2009
作者：鞠实儿
图书 当代中国逻辑学研究：1949—2009
豆瓣评论