的逻辑.pdf数学归纳法的逻辑意义.pdf有趣的“排中律尴尬”.pdf法庭上的反驳.pdf法律中的

MCS-51单片机应用开发实用子程序文本资料，内容为C#的源程序。

王蒙《语言的功能与陷阱》ppt课件1_语言的功能与陷阱

前不久在一本杂志上看到这样一个故事,内容如下 个出名吝啬的乡绅请医生替他的妻子看病 “人家说你十分吝啬,”医生说,“我一定能拿得到诊费吗? 不管你治好还是治死了她,你都可以不必打官司便拿到钱。”乡绅说。 医生悉心医治,可是乡绅夫人还是死了,医生要乡绅付诊费

1. 简介 2. IEEE 算法 3. 数学库 4. 异常和异常处理 A. 示例 IEEE 算法 数学库 随机数生成器 IEEE 建议的函数 IEEE 特殊值 ieee_flags －舍入方向 C99 浮点环境函数 异常和异常处理 ieee_flags － 产生的异常 ieee_handler －捕获异常 ieee_handler －出现异常时终止 libm 异常处理功能 在 Fortran 程序中使用 libm 异常处理 杂项 sigfpe －捕获整数异常 从 C 中调用 Fortran 有用的调试命令 B. SPARC 行为和实现 浮点硬件 浮点状态寄存器和队列 需要软件支持的特殊类 fpversion(1) 函数 － 查找有关 FPU 的信息 C. x86 行为和实现 D. What Every Computer Scientist Should Know About Floating-Point Arithmetic 摘要 简介 舍入误差 浮点格式 相对误差和 Ulp 保护数位 抵消 精确舍入的运算 IEEE 标准 格式与运算 特殊数量 NaN 异常、标志和陷阱处理程序 系统方面 指令集 语言和编译器 异常处理 详细资料 二进制到十进制的转换 求和中的误差 参考书目 定理 14 和定理 8 定理 14 证明 各种 IEEE 754 实现的差别 当前的 IEEE 754 实现 在基于扩展的系统上计算的缺陷 扩展精度的程序设计语言支持