综合搜索课件包文库(503)
文档格式:PPT 文档大小:1.53MB 文档页数:20
一、数据类型 二、算术运算符与算术表达式 三、赋值运算符和赋值表达式 四、逗号运算和逗号表达式 五、逻辑运算与逻辑表达式 六、赋值语句 七、数据输入、输出 八、简单程序举例
文档格式:PPT 文档大小:229KB 文档页数:45
第一节 真值表方法 第二节 命题演算的证明方法 第三节 假设证明法与反证法的区别与综合应用 一、假设证明法与反证法的区别 二、假设证明法与反证法的综合应用 1、在证明中的综合应用 2、在推理中的综合应用 三、命题逻辑定理的证明
文档格式:PDF 文档大小:550.69KB 文档页数:16
一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义
文档格式:PPT 文档大小:903KB 文档页数:41
时序逻辑电路由组合电路和存储电路两部 分构成。 按触发脉冲输入方式的不同,时序电路可 分为同步时序电路和异步时序电路。同步 时序电路是指各触发器状态的变化受同一 个时钟脉冲控制;而在异步时序电路中, 各触发器状态的变化不受同一个时钟脉冲 控制
文档格式:PDF 文档大小:204KB 文档页数:20
一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题
文档格式:DOC 文档大小:1.33MB 文档页数:30
PC可以非常出色地完成常规的继电逻辑控制,除了开关量控制这一基本功 能外,PC还能实现多种特殊的控制功能,如进行模拟量控制,进行精确的定位 和速度控制等等,这些特殊功能极大地拓展了PC的应用范围PC不仅是顺序 控制、逻辑控制的佼佼者,而且在运动控制、生产过程的自动化控制领域也占有 重要的地位
文档格式:PDF 文档大小:35.95KB 文档页数:3
本来选的就是法学专业,对法律案件方面很感兴趣前些天重温了《红色康乃馨》,它 以反腐败为内容,用推力破案为手段,环环相扣,曲折离奇。号称“皇冠大律师”的青年女 律师周若冰凭借其超人的智慧,惊世的勇气一步步揭开了“大华”公司KH厂亏损、国有资 产流失之谜。其中精彩的推理论辩中不乏逻辑方法的应用,显示出了其睿智
文档格式:PDF 文档大小:32.59KB 文档页数:3
韩非子讲过一个耳熟能详的故事。 “楚人有鬻盾与矛者,誉之曰:‘吾盾之坚,莫能陷也。又誉其矛曰:吾 矛之利,于物无不陷也。或曰;‘以子之矛陷子之盾何如?其人弗能应也。” 这就是流传至今的自相矛盾的故事。 当年读到这个故事,主要是着重于做人的哲学和文字的锤炼。学习了逻辑学 课程之后,回想起这个小故事,突然有了新的理解,了解到故事中蕴涵的矛盾律法 则
文档格式:PDF 文档大小:468.19KB 文档页数:5
通过对多值逻辑、绝热电路和三值触发器工作原理及结构的研究,提出一种新颖的三值绝热JKL触发器的设计方案.该方案首先以电路三要素理论为指导,推导出三值绝热JKL触发器的元件级函数式,采用不同阈值的MOS管实现相应的电路结构.然后结合三值绝热文字电路,应用三值绝热JKL触发器进一步设计绝热九进制异步计数器.最后,HSPICE模拟结果表明,所设计电路具有正确的逻辑功能,与传统三值JKL触发器和九进制异步计数器相比,节省能耗均在75%以上
文档格式:DOC 文档大小:53.5KB 文档页数:12
“名家”这个名称,译成英文时,有时译作“sophists(诡辩家)”,有时译作 “1logicians(逻辑家)”或“dialecticians(辩证家)”。名家与诡辩家、逻辑家 、辩证家有些相同,这是事实;但是他们并不完全相同,这更是事实。为了避免混 乱,顶好是按字面翻译为theSchoolofNames。这样翻译,也可以提醒西方人注意 中国哲学讨论的一个重要问题,即“名”、“实”关系问题
首页上页3738394041424344下页末页
热门关键字
搜索一下,找到相关课件或文库资源 503 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有