书目信息 |
| 题名： |
应用逻辑
|
|
| 作者： | 尼罗德 ， 肖尔 著 ；丁德成 ， 徐亚涛 ， 吴永成 译 | |
| 分册： | ||
| 出版信息： | 北京 机械工业出版社 2007.07 |
|
| 页数： | 284页 | |
| 开本： | 26cm | |
| 丛书名： | 计算机科学丛书 | |
| 单 册： | ||
| 中图分类： | O141 | |
| 科图分类： | ||
| 主题词： | 数理逻辑--shu li luo ji--教材 | |
| 电子资源： | ||
| ISBN： | 978-7-111-21404-5 | |
| 000 | 01382nam 2200337 450 | |
| 001 | 012008146509 | |
| 005 | 20080114084548.12 | |
| 010 | @a978-7-111-21404-5@dCNY38.00 | |
| 100 | @a20080113d2007 em y0chiy0120 ea | |
| 101 | 1 | @achi@ceng |
| 102 | @aCN@b110000 | |
| 105 | @aa a 000yy | |
| 106 | @ar | |
| 200 | 1 | @a应用逻辑@Aying yong luo ji@f(美) Anil Nerode，Richand A. Shore著@F(mei)Anil Nerode，Richand A.Shore zhu@g丁德成 ... [等] 译@Gding de cheng...[deng]yi |
| 210 | @a北京@c机械工业出版社@d2007.07 | |
| 215 | @a284页@c图@d26cm | |
| 225 | 2 | @a计算机科学丛书@Aji suan ji ke xue cong shu |
| 304 | @a题名页题 : 丁德成, 徐亚涛, 吴永成, 金陈园译 | |
| 305 | @a据原书第2版译出 | |
| 320 | @a有书目 (第267-284页) | |
| 330 | @a本书是介绍数理逻辑的基础教材，不仅覆盖了传统的基本内容(语法、语义、可靠性、完全性和紧致性)，而且很大一部分是讨论非传统的内容，诸如消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑)，而这些主题在现代计算机科学中变得越来越重要。 | |
| 410 | 0 | @12001 @a计算机科学丛书 |
| 606 | 0 | @a数理逻辑@Ashu li luo ji@j教材 |
| 690 | @aO141@v4 | |
| 701 | 1 | @a尼罗德@Ani luo de@g(Nerode, Anil)@4著 |
| 701 | 1 | @a肖尔@Axiao er@g(Shore, Richand A.)@4著 |
| 702 | 0 | @a丁德成@Ading de cheng@4译 |
| 702 | 0 | @a徐亚涛@Axu ya tao@4译 |
| 702 | 0 | @a吴永成@Awu yong cheng@4译 |
| 801 | 0 | @aCN@bQSSK@c20080114 |
| 905 | @b277414-16@dO141@eN440@f3 | |
| 应用逻辑/(美) Anil Nerode，Richand A. Shore著/丁德成 ... [等] 译.-北京：机械工业出版社，2007.07 |
| 284页：图；26cm.-(计算机科学丛书) |
| ISBN 978-7-111-21404-5：CNY38.00 |
| 本书是介绍数理逻辑的基础教材，不仅覆盖了传统的基本内容(语法、语义、可靠性、完全性和紧致性)，而且很大一部分是讨论非传统的内容，诸如消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑)，而这些主题在现代计算机科学中变得越来越重要。 |
| ● |
| 相关链接 |
|
|
|
正题名：应用逻辑
索取号：O141/N440
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 277414 | 202774140 | 自科库401/401自科库 40排2列4层/ [索取号:O141/N440] | 在馆 | |
| 2 | 277415 | 202774159 | 自科库401/401自科库 40排2列4层/ [索取号:O141/N440] | 在馆 | |
| 3 | 277416 | 202774168 | 自科库401/401自科库 40排2列4层/ [索取号:O141/N440] | 在馆 |