点击切换搜索课件文库搜索结果(681)
文档格式:PPT 文档大小:392KB 文档页数:63
◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论
文档格式:DOC 文档大小:20.5KB 文档页数:1
教学过程是极其复杂的认识过程,一般要从分析教学任务,确定学 生原有学习水平和明确教学目标开始,继而设计教学方法和实施教学活 动,最后对教学的结果进行测量和评估。如果测量的结果表明教学目标 已经达到,则可以认为,一个完整的教学过程已经完成;如果原定的教 学目标未能达到
文档格式:PPT 文档大小:1.12MB 文档页数:191
第一章命题逻辑 1命题 2命题联结词 3命题变元与命题公式 4等价式 5永真蕴含式 6命题联结词总结 7范式和判定 8推论规则和证明方法
文档格式:PPT 文档大小:59KB 文档页数:7
一、集合是现代数学各分支的共同基础,当 然也是本书的基础,读者应熟练地掌握 本章的全部内容,本章的一些内容,如 集合的并、交、Venn图等已在中学及 大学的其他课程中学习过,但为了内容 的完整及这些内容基础地位,我们没有 省略这些内容
文档格式:PPT 文档大小:562KB 文档页数:62
一、数学模型的含义、分类及建立方法 二、微分方程的建立、拉普拉斯变换及方程求解 三、传递函数的表示及其特点 四、动态结构图及其等效变换 五、状态方程与状态空间描述 六、控制系统数学模型之间的相互转换
文档格式:PPT 文档大小:100.5KB 文档页数:13
图是一类相当广泛的实际问题的数学模 型,有着极其丰富的内容,是数据结构 等课程的先修内容.学习时应掌握好图论 的基本概念、基本方法、基本算法;善 于把实际问题抽象为图论的问题,然后 用图论的方法解决问题
文档格式:PPT 文档大小:148.5KB 文档页数:12
本章讨论的关系是我们通常的诸 如大小关系、整除关系、上下级 等关系的共同的数学模型,掌握 关系运算极其关系运算的性质、 实际意义.深入理解关系、关系图、 关系矩阵之间的联系,熟练地掌 握两类特殊的关系—等价关系与 偏序关系;熟练地用Warshall算 法求关系的传递闭包;理解映射 的意义,本章为第三、六、七章 的基础
文档格式:PPT 文档大小:3.25MB 文档页数:253
第一章总论 ·第二章统计调查 ·第三章统计资料整理 ·第四章综合指标 ·第五章动态数列分析 ·第六章指数 ·第七章相关与回归分析 ·第八章抽样推断
文档格式:DOC 文档大小:19KB 文档页数:1
1.求纹理图像的数学表达式。(跟课上讲的差不多)。 2。已知 3 阶 bezier 曲线的控制顶点 P0,P1,P2,P3。若退化为二阶,则 p0,p1,p2,p3 之间满足什么关系
文档格式:PPT 文档大小:42KB 文档页数:14
格思里的经历简要介绍 1907年在布拉斯加大学获数学学士学位 1910年在布拉斯加大学获哲学硕士学位 1912年在宾夕法尼亚大学获哲学博士学位 1914年在华盛顿大学任教 1945年当选为美国心理学会主席(APA) 学术代表作《学习心理学》 、和《人类冲突心理学》
首页上页4445464748495051下页末页
热门关键字
搜索一下,找到相关课件或文库资源 681 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有