Applied Logic for Computer Scientist

通过模型理论介绍、建模步骤流程图、结合权威文献模型选择等实现，零计量、Stata基础，照样做好计量实证分析。还赠送Eviews操作高清视频哟！ Introduction to Logic Circui

英文原版书籍 下载后请改后缀为.pdf --------------------------------------------------------------------------------

LogicinComputerSciencemodellingandreasoningaboutsystems是最经典的数理逻辑教材

我就是靠这个文档实现logic:iterate的循环的struts 标签 logic:iterate使用 logic:iterate第一页 是struts官方的说明，第二页 是个例子第三页 是我实现的

动态逻辑是用于程序推理的最主要的形式系统之一。改书是MIT出版社计算科学基础(Foundations of Computing)系列书之一,是动态逻辑领域最经典的教科书。

是霍尔逻辑的一个教案之类的文档,反正看看对了解霍尔逻辑的基础以及基本概念还是很有效的.

classictextbook:G.S.boolos,J.P.BurgessandR.C.Jeffrey

TEMPORAL LOGIC From Ancient Ideas to Artificial Intelligence

fuzzy logic with engineering application

本教程描述了PADSLogic的各种功能和特点、以及使用方法。