书目信息 |
| 题名： |
面向计算机科学的数理逻辑
|
|
| 作者： | 休斯 ， 莱恩 著 ；何伟 ， 樊磊 译 | |
| 分册： | ||
| 出版信息： | 北京 机械工业出版社 2025.02 |
|
| 页数： | 277页 | |
| 开本： | 26cm | |
| 丛书名： | 计算机科学丛书 | |
| 单 册： | ||
| 中图分类： | O141 | |
| 科图分类： | ||
| 主题词： | 数理逻辑--shu li luo ji--高等学校--教材 | |
| 电子资源： | ||
| ISBN： | 978-7-111-77068-8 | |
| 000 | 02072nam 2200361 450 | |
| 001 | 92353 | |
| 005 | 20250818073319.27 | |
| 010 | @a978-7-111-77068-8@dCNY99.00 | |
| 100 | @a20250319d2025 em y0chiy50 ea | |
| 101 | 1 | @achi@cger@ceng |
| 102 | @aCN@b110000 | |
| 105 | @ay a 000yy | |
| 106 | @ar | |
| 200 | 1 | @a面向计算机科学的数理逻辑@Amian xiang ji suan ji ke xue de shu li luo ji@e系统建模与推理@fMichael Huth, Mark Ryan@d= Logic in computer science@emodelling and reasoning about systems@f(德) 迈克尔·休斯, (英) 马克·莱恩著@g何伟, 樊磊译@zeng |
| 210 | @a北京@c机械工业出版社@d2025.02 | |
| 215 | @a277页@d26cm | |
| 225 | 2 | @a计算机科学丛书@Aji suan ji ke xue cong shu |
| 305 | @a据原书第2版译出 | |
| 306 | @a由剑桥大学出版社与机械工业出版社合作出版 | |
| 314 | @a迈克尔·休斯 (Michael Huth), 现任纽伦堡科技大学 (UTN) 创始校长。在加入UTN之前, 休斯教授曾在伦敦帝国理工学院工作, 历任计算机科学教授、计算机系主任, 并将继续担任客座教授。在研究和教学方面, 他目前的研究重点是人工智能和网络安全领域的前瞻性课题。马克·莱恩 (Mark Ryan), 伯明翰大学计算机科学学院计算机安全教授, 也是伯明翰大学安全与隐私中心的负责人。他的主要研究方向包括机器学习的安全性、应用密码学和安全协议、安全系统分析、隐私计算等。 | |
| 320 | @a有书目 (第275-277页) | |
| 330 | @a本书对计算机科学方面的数理逻辑进行了综合介绍, 涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容, 反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理, 并介绍了Alloy语言和NuSMV工具等内容。 | |
| 410 | 0 | @12001 @a计算机科学丛书 |
| 510 | 1 | @aLogic in computer science@emodelling and reasoning about systems@zeng |
| 517 | 1 | @a系统建模与推理@Axi tong jian mo yu tui li |
| 606 | 0 | @a数理逻辑@Ashu li luo ji@x高等学校@j教材 |
| 690 | @aO141@v5 | |
| 701 | 1 | @a休斯@Axiu si@g(Huth, Michael)@4著 |
| 701 | 1 | @a莱恩@Alai en@g(Ryan, Mark)@4著 |
| 702 | 0 | @a何伟@Ahe wei@4译 |
| 702 | 0 | @a樊磊@Afan lei@4译 |
| 801 | 0 | @aCN@c20250909 |
| 905 | @a河南城建学院图书馆@dO141@eX657@f1 | |
| 面向计算机科学的数理逻辑：系统建模与推理/Michael Huth, Mark Ryan= Logic in computer science：modelling and reasoning about systems/(德) 迈克尔·休斯, (英) 马克·莱恩著/何伟, 樊磊译.-北京：机械工业出版社，2025.02 |
| 277页；26cm.-(计算机科学丛书) |
| ISBN 978-7-111-77068-8：CNY99.00 |
| 本书对计算机科学方面的数理逻辑进行了综合介绍, 涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容, 反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理, 并介绍了Alloy语言和NuSMV工具等内容。 |
| ● |
| 相关链接 |
|
|
|
正题名：面向计算机科学的数理逻辑
索取号：O141/X657
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1626317 | 216263175 | 自科库401/ [索取号:O141/X657] | 在馆 |