机读格式显示(MARC)

• 000 01014nam0 2200241 450

• 001 0000343514

• 005 20180204142500.0

• 010 __ |a 978-7-111-58122-2 |d CNY39.00

• 100 __ |a 20171004d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑十二讲 |A Shu Li Luo Ji Shi Er Jiang |9 shu li luo ji shi er jiang |f 宋方敏,吴骏编著

• 210 __ |a 北京 |c 机械工业出版社 |d 2017.3

• 215 __ |a 244页 |d 19cm

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

• 606 0_ |a 数理逻辑 |A Shu Li Luo Ji |x 高等学校 |j 教材

• 690 __ |a O141 |v 5

• 701 _0 |a 宋方敏 |A Song Fang Min |4 编著

• 701 _0 |a 吴骏 |A Wu Jun |4 编著

• 801 _0 |a CN |b DQNU |c 20180203

• 905 __ |a DQNU |d O141/S82 |s 3