|
000
|
01129nam0 2200253 450
|
|
001
|
CAL 0120172365506
|
|
010
|
|
@a978-7-111-58122-2@dCNY39.00
|
|
100
|
|
@a20180901d2018 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aak a 000yy
|
|
200
|
1
|
@a数理逻辑十二讲@Ashu li luo ji shi er jiang@d= Lecure notes in mathematical logic@f宋方敏, 吴骏编著@zeng
|
|
210
|
|
@a北京@c机械工业出版社@d2018.01
|
|
215
|
|
@a155页@c图@d26cm
|
|
320
|
|
@a有书目
|
|
330
|
|
@a本书介绍数理逻辑的基础知识和基本理论, 主要讲授命题演算和谓词演算。通过本课程的学习, 学生将掌握相关的基本概念、基本理论、基本推理, 以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支, 对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础, 对培养学生的素养以及提高解决问题的能力有重要的意义。
|
|
333
|
|
@a面向CS2013计算机专业规划教材
|
|
510
|
1
|
@aLecure notes in mathematical logic@zeng
|
|
606
|
0
|
@a数理逻辑@Ashu li luo ji@x高等学校@j教材
|
|
690
|
|
@aO141@v5
|
|
701
|
0
|
@a宋方敏@Asong fang min@4编著
|
|
701
|
0
|
@a吴骏@Awu jun@4编著
|
|
801
|
0
|
@aCN@c20180901
|
|
905
|
|
@a河南城建学院图书馆@dO141@eS762@f2
|
|
|
|
|
| |
| 数理逻辑十二讲= Lecure notes in mathematical logic/宋方敏, 吴骏编著.-北京：机械工业出版社，2018.01 |
| 155页：图；26cm |
| 使用对象：面向CS2013计算机专业规划教材 |
| |
| ISBN 978-7-111-58122-2：CNY39.00 |
| 本书介绍数理逻辑的基础知识和基本理论, 主要讲授命题演算和谓词演算。通过本课程的学习, 学生将掌握相关的基本概念、基本理论、基本推理, 以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支, 对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础, 对培养学生的素养以及提高解决问题的能力有重要的意义。 |
| ● |
正题名：数理逻辑十二讲
索取号：O141/S762
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1374475
|
213744750
|
自科库401/401自科库 40排2列4层/
[索取号:O141/S762]
|
在馆
|
|
|
2
|
1374476
|
213744769
|
自科库401/401自科库 40排2列4层/
[索取号:O141/S762]
|
在馆
|
|
