网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(102)
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.1)数理逻辑
文档格式:PDF 文档大小:156.26KB 文档页数:8
什么是数理逻辑 字面含义:数学理论的逻辑。逻辑是研 究演绎(推理)规律的学科。 广义理解:用数学方法研究演绎规律的 学科。 狭义理解:用数学方法研究数学中演绎 规律和数学基础的学科。 研究对象:推理过程的正确性标准。 是数学的一个分支。又称符号逻辑等
立即下载
《离散数学》课程PPT教学课件讲稿(数理逻辑)第二章 命题逻辑的等值和推理演算
文档格式:PPT 文档大小:348.5KB 文档页数:65
⚫内容:推理形式和推理演算是数理逻辑研究的基本内容。 ⚫推理演算要用正确的推理:推理形式由前提和结论经蕴涵词联接而成。我们关注正确的推理形式 。正确的推理形式可由逻辑关系符表达。 ⚫非形式描述:本章对命题等值和推理演算进行的讨论,是以语义的观点进行的非形式的描述
立即下载
复旦大学哲学系:《新编现代西方哲学》课程教学资源(PPT课件讲稿)第九章 分析哲学
文档格式:PPT 文档大小:84.5KB 文档页数:18
本章概述 产生于20世纪初的分析哲学,继承实证主义传统,运用现代 数理逻辑和语言分析,拒斥形而上学,认为哲学的主要任务是对 语言表达式的描述和解释,或把复杂的概念分析为简单的概念, 阐明后者之间的关系;或通过对语言的逻辑分析而解决哲学问题 。它注重分析的方法,强调语言分析的重要性,反心理主义,否 认纯理智能获得关于实在的知识。它是20世纪西方哲学中的主要 思潮之一,在英语国家长期居于主导地位,除了在哲学领域的巨 大影响之外,还对文学、社会学、政治学等学科都产生了深刻的 影响
立即下载
北京大学:《离散数学》系列课程之一《集合论与图论》内容介绍
文档格式:PDF 文档大小:361.16KB 文档页数:12
一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.2)一阶语言
文档格式:PDF 文档大小:1.38MB 文档页数:32
复习 一阶谓词演算的符号化: 个体变元:x,Y,z,… 个体常元:a,b,c ·谓词:Fn,Gn,Hn, 函数:fn,gn,hn, 量词:全称量词V,存在量词3
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.4)一阶谓词演算的形式系统KC
文档格式:PDF 文档大小:204.26KB 文档页数:16
一、KC是一个较Nc简洁的谓词演算形式系统 二、Kc是在P的基础上建立的 三、Kc的各组成部分如下:
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.2)命题和联结词
文档格式:PDF 文档大小:225.89KB 文档页数:20
1.什么是命题? 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.4)联结词的完全集
文档格式:PDF 文档大小:195.24KB 文档页数:18
为什么只考虑五个联结词?即 这五个联结词能否表示所有联结词? 这五个联结词是否有多余的? 要回答这两个问题,必须回答:
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.6)命题演算自然推理形式系统N
文档格式:PDF 文档大小:1.89MB 文档页数:84
一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:
立即下载
北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.8)N与P的等价性
文档格式:PDF 文档大小:752.21KB 文档页数:23
一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理
立即下载
1
2
3
4
5
6
7
8
下页
末页
热门关键字
口腔
化学
二级
数据库
试卷设计
食品变质
上
人机关系]
热化学]
企业管理
农业
南山学院
内外
力系
景园设计
机械加工工艺
管理发展史]
公共管理]
工程应用
二阶电路
动物科学
动画原理
东北财经大学
弹性
大学物理
打印
储能电池
测量操作
财务软件应用
《模拟电子技术》]
IBM
FTP服务器
F
CAD
BR
1:5
《信号
《旅游景区开发与管理》
《电工技术》
“电工电子技术”
搜索一下,找到相关课件或文库资源
102
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有