大庆师范学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑引论/朱梧槚，肖奚安编著

出版发行项:

大连:大连理工大学出版社,2008

ISBN及定价:

978-7-5611-4033-8/CNY34.00

载体形态项:

243页;24cm

并列正题名:

Introduction to mathematisal logic

个人责任者:

朱梧槚 编著

个人责任者:

肖奚安 编著

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

O141

一般附注:

高等学校理工科数学类规划教材

提要文摘附注:

本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究。全书共分为5章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义和与构造。第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容。第5章是有关经典二值逻辑系统的严格的语义研究。

豆瓣简介：