点击切换搜索课件文库搜索结果(202)
文档格式:PPT 文档大小:1.25MB 文档页数:51
1.1 计算机中的数制及相互转换 1.2 二进制数的运算 1.3 带符号数的表示 1.4 定点数和浮点数 1.5 BCD码和ASCII码 1.6 微型计算机的组成及工作过程
文档格式:PPT 文档大小:126KB 文档页数:10
本章通过一个完整的例子来讲述设计网 页的具体步骤。这个例子涉及前面学习到 的大部分主要内容。比如表格、图像、文 本格式化、插入特殊符号、插入flash、调 用javascript脚本、应用CSS样式表、应用 模板等内容。到目前为止这些内容对读者 来说应该是比较简单的。本章的重点和难 点是:表格的应用
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和提高; 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同;能将自然语言符号 化;能用谓词逻辑进行推理;理 解前束范式的意义
文档格式:PPT 文档大小:508KB 文档页数:98
2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论
文档格式:DOC 文档大小:35KB 文档页数:3
一. 填空(共计 26 分) 1. (每空 1 分) 令 P: 天气好. Q: 我有时间. R: 我在家. S: 我上街. 将下面各个命题的符号表达式填在各个命题后面的括号内.. ⑴. 或者我上街,或者我在家. ( ) ⑵ 仅当天气好, 我才上街. ( ) ⑶ 如果天气好, 我就上街, 否则在家.( )
文档格式:PPT 文档大小:101.5KB 文档页数:8
本章是数理逻辑中的最基本内容, 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容;能将自然语言符号化; 能用等价式、蕴涵式等进行命题 演算和推理;能用逻辑推理的方 法解决一些实际问题
文档格式:DOC 文档大小:434.5KB 文档页数:12
一、了解过程控制的发展概况及特点; 二、掌握过程控制系统各部分作用,系统的组成; 三、掌握管道及仪表流程图绘制方法,认识常见图形符号、文字代号; 四、学会绘制简单系统的管道及仪表流程图;
文档格式:PPT 文档大小:107KB 文档页数:7
本章可视为前一章的深入和提高; 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同;能将自然语言符号 化;能用谓词逻辑进行推理;理 解前束范式的意义
文档格式:PDF 文档大小:751.82KB 文档页数:30
要点:掌握概率、概率分布和随机变量等的基本概念。重 点区分清楚总体和样本。 2.1一些符号 2.2实验、样本空间、样本点和事件 2.3随机变量 2.4概率 2.5随机变量及其概率分布 2.6多元概率密度函数 2.7总结
文档格式:PPT 文档大小:1.37MB 文档页数:44
逻辑代数:描述和研究客观世界中事物间逻辑 关系的数学,它把事物间逻辑关系简化为符号 间的数学运算。 用类似普通代数形式研究逻辑代数是英国数学家 布尔(G. Boole)最早提出,所以也称为布尔代数。 又因为布尔代数中的常量、变量都只有“真”(True )和“假”(False)两种取值,所以也称为二值代 数
首页上页1415161718192021下页末页
热门关键字
搜索一下,找到相关课件或文库资源 202 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有