- Main
- Mathematics
- 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理
面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理
胡思Bu kitabı nə dərəcədə bəyəndiniz?
Yüklənmiş faylın keyfiyyəti necədir?
Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin
Yüklənmiş faylların keyfiyyəti necədir?
书签已装载,
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。
本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法,紧致性理论和Lowenhenm-Skolem定理,并介绍了Alloy语言和Nusmv工具。
本书自出版以来受到广泛好评,已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学,印度理工学院在内的多个国家几十所高校采纳为教材。
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。
本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比,它的主要特色就是紧紧围绕软硬件规约和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法,紧致性理论和Lowenhenm-Skolem定理,并介绍了Alloy语言和Nusmv工具。
本书自出版以来受到广泛好评,已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学,印度理工学院在内的多个国家几十所高校采纳为教材。
Kateqoriyalar:
İl:
2005
Nəşriyyat:
机械工业
Dil:
chinese
Səhifələr:
427
ISBN 10:
7111160533
ISBN 13:
9787111160533
Fayl:
PDF, 14.91 MB
Sizin teqləriniz:
IPFS:
CID , CID Blake2b
chinese, 2005
Yüklə (pdf, 14.91 MB)
- Checking other formats...
- Çevirmək
- 8 MB-dən böyük faylların çevrilməsi funksiyasını blokdan azad edinPremium
Kitab mağazasını əlavə etmək istəyirsiniz? Bizimlə support@z-lib.fm ilə əlaqə saxlayın
1-5 dəqiqə ərzində e-poçtunuz bərpa olunacadır.
1-5 dəqiqə ərzində fayl sizin Telegram akkauntunuza çatdırılacaq.
Diqqət: Hesabınızı Z-Library Telegram botuna bağladığınızdan əmin olun.
1-5 dəqiqə ərzində fayl Kindle cihazınıza çatdırılacaq.
Qeyd: Kindle-yə göndərdiyiniz hər kitabı verifikasiyadan keçirməlisiniz. Amazon Kindle Support-dan təsdiq məktubunu aldığınıza dair e-poçt ünvanınızı yoxlayın.
formatına konvertasiya yerinə yetirilir
formatına konvertasiya baş tutmadı
Premium statusun üstünlükləri
- Elektron oxuculara göndərin
- Artırılmış yükləmə limiti
- Faylları çevirin
- Daha çox axtarış nəticəsi
- Digər üstünlüklər