大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 数理逻辑引论
名称 数理逻辑引论
索引号 O141/20085
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 朱梧、肖奚安、
出版社 大连 : 大连理工大学出版社, 2008
ISBN 978-7-5611-4033-8
页数 243页 ; 24cm
价格 CNY34.00
标签 数学、数理逻辑、教材、逻辑、
简介
注解 有书目 (第242-243页) 本书内容有：绪论，命题与命题联结词，命题逻辑演算，谓词与量词，谓词逻辑演算，逻辑演算系统的整体特征等。
书籍简介

《高等学校理工科数学类规划教材·数理逻辑引论》分为五章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义与构造，第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容，最后第5章是欧冠经典二值逻辑系统的严格的语义研究。