信息物理系统逻辑基础
图书信息
书名：信息物理系统逻辑基础作者：安德烈·普拉泽,André Platzer,曾海波,李仁发译
包装：平装
开本：16
出版社：机械工业出版社
出版时间：2021-08-01
图书简介
本书全面涵盖了逻辑与演绎语言推理信息物理系统的相关知识，阐述了初等信息物理系统概述、微分方程与域、选择与控制、安全性与契约、动态系统与动态公理、真理与证明、控制回路与不变式等内容。通过本书的学习，读者可以了解CPS相关的计算机科学、应用数学和控制论等基本概念，全面掌握如何建立信息物理系统模型、如何描述需求规约、如何用证明规则检验模型是否满足需求，以及如何在实际应用中对系统做严格而高效的推理。
推荐理由
本书是一部结合理论与实践的精品之作，适合高等院校信息物理系统相关课程的本科生或研究生使用。同时，也适合对信息物理系统感兴趣的读者使用。本书最大的特点是逻辑性强，条理清晰，详细描述了如何采用逻辑与演绎语言推理信息物理系统，对理论知识的讲解通俗易懂。此外，本书涉及到的内容不仅有基础部分的内容，也有在实际应用中如何对系统做严格而高效的推理的建议，非常具有实用性。