点击切换搜索课件文库搜索结果(990)
文档格式:PDF 文档大小:204KB 文档页数:20
一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题
文档格式:PDF 文档大小:550.69KB 文档页数:16
一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义
文档格式:PPT 文档大小:906.5KB 文档页数:58
(1)掌握分析和设计电路的基本方法。 (2)学习常用中规模集成模块比较器。 (3)了解电路中的竞争和冒险现象译码器
文档格式:PPT 文档大小:126.5KB 文档页数:35
1-1人工智能的概念 1-1-1什么是人工智能 (1)人工智能( Artificiallntelligencel]指由计算机实现的 人造智能。人工智能就是用人工的方法在机器(计算机) 上实现的智能。作为一门学科,人工智能可定义为:人工 智能是一门研究如何构造智能机器(智能计算机)或智能 系统,使它能模拟、延伸、扩展人类智能的学科
文档格式:PPT 文档大小:3.32MB 文档页数:184
§4.1 脉冲电路 §4.2 三极管反相器 §4.3 脉冲的整形与鉴别 §4.4 基本逻辑电路 §4.5 双稳态触发器 §4.6 脉冲的计数和显示 §4.7 模数和数模转换
文档格式:PPT 文档大小:6.46MB 文档页数:205
复习内容:触发器和时序逻辑电路、门电路和组合逻辑电路、集成运算放大器、放大器基础、电路的暂态、交流电路基本分析方法、直流电路分析方法
文档格式:PPTX 文档大小:2.59MB 文档页数:78
• 线性回归 • 逻辑斯蒂回归 • 最大熵模型 • 极大似然估计 • 模型学习浅谈 • 最大熵总结 • 最大熵应用举例(略) • 最大熵源码分析(略) • 最大熵包使用(略)
文档格式:PPT 文档大小:92.5KB 文档页数:14
1、关系运算符:=、> 2、逻辑运算符:!、&&、‖ 3、逻辑值:真(1)、假(0) 4、非零为真,零为假 5、条件运算符:表达式1?表达式2:表达式3
文档格式:PPT 文档大小:173KB 文档页数:74
2.1 等值定理 2.2 等值公式 2.2.3 置换规则 2.2.4 等值演算举例 2.4 联结词的完备集 2.4.1 命题联结词的个数 2.4.2 联结词的完备集 2.5 对偶式 2.6 范式
文档格式:PPT 文档大小:281.5KB 文档页数:56
5.1 否定型等值式 5.2 量词分配等值式 5.3 范式 5.4 基本的推理公式 5.5.1 推理规则 5.5.2 使用推理规则的推理演算举例 5.6 谓词逻辑的归结推理法
首页上页8182838485868788下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有