网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(24)
中国科学技术大学:《计算机科学导论》课程教学资源(PPT课件讲稿)第二讲 对程序进行推理的逻辑
文档格式:PPT 文档大小:1.12MB 文档页数:56
• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序
立即下载
华东交通大学:《离散数学》课程教学资源(PPT课件讲稿)第二章 一阶逻辑
文档格式:PPT 文档大小:686KB 文档页数:87
为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容
立即下载
浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.3)谓词与量词 Predicates and Quantifiers
文档格式:PPT 文档大小:247KB 文档页数:45
前两节介绍的命题与命题演算是命题逻辑的内容,其基本组成单位是原 子命题。一般地,原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如,电子商务是计算机技术的一个应用,这里“电子商务”是主语, 而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题:
立即下载
浙江大学:《离散数学》课程教学资源(PPT课件讲稿)第一章 命题逻辑(1.1.3)谓词与量词 Predicates and Quantifiers
文档格式:PPT 文档大小:205KB 文档页数:44
前两节介绍的命题与命题演算是命题逻辑的内容,其基本组成单位是原 子命题。一般地,原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如,电子商务是计算机技术的一个应用系统,这里“电子商务”是主 语,而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题:
立即下载
上页
1
2
3
热门关键字
气体
南华大学
电子科技大学
等势面
“数字电子“
供水
工程经济分析
工程地质
工程材料及加工工程
高尔夫
分子结构
法律经济学
儿童保健学]
对映异构
对象设计
定时系统
调节器
电位分析法
电路讲]
电感
电波
第六章
地质]
存储系统
柴油发动机
茶叶加工原理
材料测试方法
北方工业大学
WINDOWS编程]
VB基础及程序设计
ppt
DNA翻译
《战略管理》
pdf
C语言设计]
asp,netC#数据库入门
1:4
《有机化学》
《工作分析》
《道路勘测设计》]
搜索一下,找到相关课件或文库资源
24
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有