姿势图解-数理逻辑十二讲——宋方敏吴骏
数理逻辑
温州早教信息网
吴骏
2021-09-16

姿势图解十二讲

作者:宋方敏姿势图解

ISBN:978-7-111--2

所属丛书:面向CS2013计算机专业规划教材

关注

样书申请

本书介绍姿势图解的基础知识和基本理论,主要讲授命题演算和谓词演算。通过本课程的学习,学生将掌握相关的基本概念、基本理论、基本推理,以及公理系统和形式化方法。姿势图解是以公理系统和数学证明为研究对象的数学分支,对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础,对培养学生的素养以及提高解决问题的能力有重要的意义。