您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

经典逻辑与非经典逻辑基础(研究生教学用书)

发布时间:2019-07-01 12:34 来源:未知 编辑:admin

  本书是教育部研究生推荐教学用书。主要介绍了经典逻辑的基本理论,命题演算和一阶谓词演算以及20世纪20年代至今发展起来的非经典逻辑的主要分支(模态逻辑、时态逻辑、弗协调逻辑和直觉主义逻辑)。在本教材中,语形、语义、语形与语义的关系都单独列出章节分别叙述;严格区分系统内定理和系统外定理。本书特点包括:(一)吸取国外同类教材先进编写理念、关注学术研究前沿动态,具有研究性特征;(二)基础知识的传授与一般研究方法的训练相结合;(三)加大了定理证明的力度,力求思路清晰、组织严谨;(四)在教材中设置了大量的练习,编制了相应的教学课件,方便师生掌握和使用;(五)非经典逻辑与经典逻辑并重,这在同类现代逻辑教材中是一个创新。本教材文理兼顾,不仅适合哲学、语言学、法学等文科专业的研究生,也适合计算机科学、人工智能、数学等理工专业的研究生选修。

http://39-5963.net/gongliyuyi/442.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有