此标准规定了计算机编程环境下，二进制和十进制浮点数及其运算的格式和方法，异常的出现条件以及它们的默认句柄。此规范中的浮点数系统可以通过软件、硬件，或者软硬件相结合的形式来实现。对于标准中规定的运算，输出的结果、异常有输入值、操作序列和结果的数据格式所唯一确定，完全在用户的掌控之下。 This standard specifies interchange and arithmetic formats and methods for binary and decimal floating-point arithmetic in computer programming environments. This standard specifies exception conditions and their default handling. An implementation of a floating-point system conforming to this standard may be realized entirely in software, entirely in hardware, or in any combination of software and hardware. For operations specified in the normative part of this standard, numerical results and exceptions are uniquely determined by the values of the input data, sequence of operations, and destination formats, all under user control.

包含ASP非单调推理的各种求解器（注意，不是网页制作的ASP！） clasp claspD clingo iclingo dlv gringo lparse smodels 以及几个程序范例

国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。

开源的命令行压缩工具，用C语言编写，这里是其全部的源代码