• IEEE 754-2008 浮点算术标准(英文原版PDF)

    此标准规定了计算机编程环境下,二进制和十进制浮点数及其运算的格式和方法,异常的出现条件以及它们的默认句柄。此规范中的浮点数系统可以通过软件、硬件,或者软硬件相结合的形式来实现。对于标准中规定的运算,输出的结果、异常有输入值、操作序列和结果的数据格式所唯一确定,完全在用户的掌控之下。 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.

    5
    1081
    916KB
    2010-11-02
    41
  • ASP非单调推理的各种求解器 以及程序范例

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

    5
    239
    2.07MB
    2010-08-22
    10
  • 数理逻辑 汪芳庭 XPS文档(可用IE直接打开)

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

    5
    462
    3.58MB
    2010-03-19
    13
  • GZip1.2.4压缩工具源代码

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

    4
    194
    780KB
    2009-09-29
    10
  • 持续创作

    授予每个自然月内发布4篇或4篇以上原创或翻译IT博文的用户。不积跬步无以至千里,不积小流无以成江海,程序人生的精彩需要坚持不懈地积累!
关注 私信
上传资源赚积分or赚钱