全国大中专教材网络采选系统

推荐纸质教材推荐数字资源

软件理论基础

定价：￥69.80

作者：罗贵明，张宇来

出版时间：2025-12

出版社：科学出版社

以下为《软件理论基础》的配套数字资源，这些资源在您购买图书后将免费附送给您：

关闭

试读

基本信息评价

出版社：科学出版社
ISBN：9787030837745
版次：1版
出版时间：2025-12

内容简介

本书系统阐述了计算机科学和软件工程中形式语言、自动机、形式逻辑、软件系统建模和验证等核心理论与方法。全书从基础知识开始，介绍了有限自动机、正则表示与正则语言、上下文无关文法、下推自动机与上下文无关语言、图灵机与计算模型，深入探讨问题的可判定性与计算复杂性、命题逻辑、谓词逻辑和时序逻辑，并进一步扩展至软件形式化建模与验证和抽象解释等相关领域。
　　本书知识体系连贯、结构严谨，叙述与证明简洁，注重理论推导的同时兼顾实际应用。内容编排循序渐进，尝试架构软件基础知识体系，使复杂概念的表述和推理更加清晰、准确和易懂，对应课程于2020年入选教育部“国家级一流本科课程”。