机读格式显示(MARC)

• 000 02057nam 2200361 450

• 001 0000762955

• 005 20250621094100.0

• 010 __ |a 978-7-111-77068-8 |d CNY99.00

• 100 __ |a 20250319d2025 em y0chiy50 ea

• 101 1_ |a chi |c ger |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 面向计算机科学的数理逻辑 |A mian xiang ji suan ji ke xue de shu li luo ji |e 系统建模与推理 |f Michael Huth, Mark Ryan |d = Logic in computer science |e modelling and reasoning about systems |f (德) 迈克尔·休斯, (英) 马克·莱恩著 |g 何伟, 樊磊译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2025

• 215 __ |a 277页 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji 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 |1 2001 |a 计算机科学丛书

• 510 1_ |a Logic in computer science |e modelling and reasoning about systems |z eng

• 517 1_ |a 系统建模与推理 |A xi tong jian mo yu tui li

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 高等学校

• 690 __ |a O141 |v 5

• 701 _1 |a 休斯 |A xiu si |g (Huth, Michael) |4 著

• 701 _1 |a 莱恩 |A lai en |g (Ryan, Mark) |4 著

• 702 _0 |a 何伟 |A he wei |4 译

• 702 _0 |a 樊磊 |A fan lei |4 译

• 801 _0 |a CN |b WFKJXY |c 20250621

• 905 __ |a WFKJXY |d O141/10