形式化方法导论

鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...

形式追索与视觉创造 张艺谋电影创作研究

本书主要包括张艺谋对话访谈录，张艺谋导演创作研究，张艺谋影片分析等。

形式语义学导论 英文

本书没有预设语义学和逻辑学的专门知识，循序渐进地介绍了经典蒙太格语义学，便于初学者阅读。读者通过本书可对蒙太格语义学的体系有较全面深入的认识。本书适合语言学、人工智能、认知科学等相关专业的研究者...

VHDL与可编程逻辑器件应用

本书从基础，应用，实践三个角度介绍了EDA技术概况，现代数字系统设计的方法，VHDL语言基本设计方法，CPLD/PPGA介绍与应用，EDA工具的使应。

高分突破 逻辑分册

本书根据全国硕士专业学位研究生入学资格考试（GCT）大纲的要求，结合其中逻辑考试的特点而写，适用于报考各类硕士专业学位研究生复习和准备GCT考试之用。本书包括三部分内容：第一部分介绍与GCT逻辑考试相关的最基...

数字逻辑与数字系统设计 基于VHDL语言描述

本书详细介绍了数字逻辑与数字系统设计及VHDL的基础知识、基本理论及设计方法。

全国司法学校法学教材 逻辑 修订本

本书既讲述了逻辑基础知识，又讲述了逻辑知识在法学领域的应用。全书共分为八章，即绪论、概念、命题、演绎推理等，各章后面均附有作业题。...

晚期资本主义的文化逻辑 詹明信批评理论文选

当代西方著名哲学家评传 第5卷 逻辑哲学

暂缺《当代西方著名哲学家评传（第五卷 逻辑哲学）》简介

Java编程的逻辑

本书涵盖以下内容：① 计算机的基本元素由来与基本运行机制（二进制描述）；② 面向对象的编程原理与逻辑，设计类、继承与多态、接口与抽象类、代码的组织机制；③ 泛型、容器类、数据结构和算法；④ 文件系统的基础......