全脑开发

无人岛动漫-数理逻辑十二讲——宋方敏吴骏

2021-09-16

无人岛动漫十二讲

作者:宋方敏吴骏

ISBN:978-7-111--2

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

关注

样书申请

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


热门排行


友情链接: