您的位置:china-pub网上书店 > 数学 > 概率论与数理统计 > 数理统计 > (特价书)数理逻辑十二讲
(特价书)数理逻辑十二讲
作者: 宋方敏,吴骏
丛书名: 面向CS2013计算机专业规划教材
开本:16
数学 > 概率论与数理统计 > 数理统计
教材 > 研究生/本科/专科教材 > 理学 > 数学
数学书籍
本书介绍数理逻辑的基础知识和基本理论,主要讲授命题演算和谓词演算.通过本课程的学习,学生将掌握相关的基本概念,基本理论,基本推理,以及公理系统和形式化方法.数理逻辑是以公理系统和数学证明为研究对象的数学分支,对信息科学与技术的发展具有指导作用.本课程为计算机科学的基础,对培养学生的素养以及提高解决