点击切换搜索课件文库搜索结果(948)
文档格式:PDF 文档大小:2MB 文档页数:260
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 实现 在基于扩展的系统上计算的缺陷 扩展精度的程序设计语言支持
文档格式:PPT 文档大小:1.23MB 文档页数:20
南京大学:《程序设计语言的形式语义》课程教学资源(课件讲稿)Separation Logic(3/3)
文档格式:PPT 文档大小:1.9MB 文档页数:29
南京大学:《程序设计语言的形式语义》课程教学资源(课件讲稿)Separation Logic(2/3)
文档格式:PPTX 文档大小:822.54KB 文档页数:60
南京大学:《程序设计语言的形式语义》课程教学资源(课件讲稿)10_Simply-Typed Lambda Calculus
文档格式:PDF 文档大小:767.48KB 文档页数:203
《程序设计语言的形式语义》课程教学资源(文献资料)An Introduction to Separation Logic(Preliminary Draft)
文档格式:PDF 文档大小:379.12KB 文档页数:50
南京大学:《程序设计语言的形式语义》课程教学资源(课件讲稿)06_Denotational Semantics
文档格式:PDF 文档大小:329.44KB 文档页数:85
南京大学:《程序设计语言的形式语义》课程教学资源(课件讲稿)05_Operational Semantics
文档格式:PDF 文档大小:2.15MB 文档页数:38
Sets Relations Functions Products Sums
文档格式:PPT 文档大小:6.96MB 文档页数:39
南京大学:《程序设计语言的形式语义》课程教学资源(课件讲稿)01_Introduction(主讲:冯新宇)Formal Semantics of Programming Languages
文档格式:PDF 文档大小:2.29MB 文档页数:233
目 录 第一部分 理论 一、专业必修课程 《高等数学(1)》 《高等数学(2)》 《力学》 《热学》 《电磁学》 《光学》 《数学物理方法》 《理论力学》 《原子物理学》 《电动力学》 《量子力学》 《热力学与统计物理》 二、专业选修课程 《电工学》 《高等数学(3)》 《模拟电子线路与实验》 《数字电子线路与实验》 《微机原理》 《通用技术(1)》 《通用技术(2)》 《程序设计语言》 《原子核物理学》 《量子力学(2)》 《电动力学 2》 《中学物理第二课堂》 《电视技术》 《教育测量与教学评估》 《声像技术》 《摄影技术》 《固体物理学》 《中学物理疑难分析》 《物理学史》 《激光原理与应用》 《应用物理技术》 《高考题目研究》 《基础物理专题》 《专业英语》 《基础教育改革》 《中学物理教学法》 《教育技术与技能训练》 《书写技能训练》 《教师语言训练》 《微格教学训练》 《班级管理》 《教育科研训练》 《教育统计学》 《现代物理专题》 第二部分 实验(单独及课内) 《普通物理实验(1)》 《普通物理实验(2)》 《普通物理实验(3)》 《近代物理实验》 《中学物理实验》 《中学物理实验研究与技能训练》 《多媒体课件制作》 《中学物理常用仪器维修》 第三部分 实习、见习、毕业论文 《教育见习(1)》 《教育见习(2)》 《教育见习(3)》 《教育实习》 《毕业论文》
首页上页2223242526272829下页末页
热门关键字
搜索一下,找到相关课件或文库资源 948 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有