机读格式显示(MARC)

• 000 01293nam0 2200301 450

• 001 0000280910

• 005 20180912102800.0

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

• 099 __ |a CAL 012018018915

• 100 __ |a 20171218d2018 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

• 300 __ |a 面向CS2013计算机专业规划教材

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

• 320 __ |a 有书目

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

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

• 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 辽批 |c 20180517

• 905 __ |a AUSTL |d O141/S324