书目信息 |
| 题名： |
数理逻辑十二讲
|
|
| 作者： | 宋方敏 ， 吴骏 编著 | |
| 分册： | ||
| 出版信息： | 北京 机械工业出版社 2018.01 |
|
| 页数： | 155页 | |
| 开本： | 26cm | |
| 丛书名： | ||
| 单 册： | ||
| 中图分类： | O141 | |
| 科图分类： | ||
| 主题词： | 数理逻辑--shu li luo ji--高等学校--教材 | |
| 电子资源： | ||
| ISBN： | 978-7-111-58122-2 | |
| 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] | 在馆 |