机读格式显示(MARC)

• 000 01442nam 2200337 450

• 001 0000692317

• 005 20180326132900.0

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

• 100 __ |a 20180117d2018 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑十二讲 |A shu li luo ji shi er jiang |d = Lecture notes in mathematical logic |f 宋方敏, 吴骏编著 |z eng

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

• 215 __ |a 155页 |d 26cm

• 225 2_ |a 面向CS2013计算机专业规划教材 |A mian xiang CS2013 ji suan ji zhuan ye gui hua jiao cai

• 314 __ |a 宋方敏，南京大学计算机科学与技术系教授，博士生导师。

• 314 __ |a 吴骏，南京大学计算机科学与技术系讲师。

• 320 __ |a 有书目

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

• 333 __ |a 计算机专业学生及相关读者。

• 410 _0 |1 2001 |a 面向CS2013计算机专业规划教材

• 510 1_ |a Lecture notes in mathematical logic |z eng

• 606 0_ |a 数理逻辑 |A shu li luo ji |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 HDUL |c 20180326

• 905 __ |a HDUL |d O141/308

• 920 __ |a 233030 |z 1