ISBN/价格: | 978-7-111-58122-2:CNY39.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 数理逻辑十二讲/.宋方敏, 吴骏编著 |
出版发行项: | 北京:,机械工业出版社:,2018 |
载体形态项: | 155页:;+图:;+26cm |
一般附注: | 华章教育 面向CS2013计算机专业规划教材 |
提要文摘: | 本书介绍数理逻辑的基础知识和基本理论,主要讲授命题演算和谓词演算。通过本课程的学习,学生将掌握相关的基本概念、基本理论、基本推理,以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支,对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础,对培养学生的素养以及提高解决问题的能力有重要的意义。 |
并列题名: | Lecture notes in mathematical logic eng |
题名主题: | 数理逻辑 高等学校 教材 |
索书号: | O141/S88 |
中图分类: | O141 |
个人名称等同: | 宋方敏 编著 |
个人名称等同: | 吴骏 编著 |
记录来源: | CN 百万庄 20171225 |