shixue97
这家伙很懒，什么也没写
数理逻辑汪芳庭XPS文档可用IE直接打开
国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。下载后可以通过AdobePDF虚拟打印机打印成PDF文档。
专业指导 37 0 XPS 2019-07-13 15:07:27
IEEE754_2008浮点算术标准英文原版PDF
此标准规定了计算机编程环境下，二进制和十进制浮点数及其运算的格式和方法，异常的出现条件以及它们的默认句柄。此规范中的浮点数系统可以通过软件、硬件，或者软硬件相结合的形式来实现。对于标准中规定的运算，输出的结果、异常有输入值、操作序列和结果的数据格式所唯一确定，完全在用户的掌控之下。Thisstand
专业指导 23 0 PDF 2019-05-06 09:05:58
ASP非单调推理的各种求解器以及程序范例
包含ASP非单调推理的各种求解器（注意，不是网页制作的ASP！） clasp claspD clingo iclingo dlv gringo lparse smodels 以及几个程序范例
C# 63 0 7Z 2018-12-28 10:12:11