点击切换搜索课件文库搜索结果(990)
文档格式:PDF 文档大小:2.33MB 文档页数:67
一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则
文档格式:PDF 文档大小:176.49KB 文档页数:11
一、前两节介绍了“命题”的形式。 二、本节介绍“推理”的形式。 三、推理是逻辑的研究对象
文档格式:PDF 文档大小:886.9KB 文档页数:12
本文證明了在無限域Ω上,具條件(K)的核:K(s,t)在Ω×Ω上可測,且$\\begin{array}{l}(i)k(s,t) = O(\\frac{1}{{n - \\delta }}),r = {\\rm{||s - t}}|| \\to ,\\delta > 0\\\\s = ({s_1},{s_2}, \\ldots \\ldots {s_n}),t = ({t_1},{t_2}, \\ldots \\ldots {t_n})\\\\(ii)K(s,t) = O(\\frac{1}{{{p^n} + \\alpha }}),\\rho = \\sqrt {||s|{|^2} + ||t|{|^2}} \\to \\infty ,\\alpha > o,\\end{array}$所確定的積分算子是由L2(Ω)映入L2(Ω)的全連續算子。這裏Ω是n維歐氏空間Rn中的域,又證明在條件(K*)——條件(K)加設K(s,t)在s≠t處連續——的條件下,則是由有界連續函數空間C*(Ω)映入C*(Ω)的全連續算子。關於有限域的情形是有ΜИХЛИН氏(1)所推算的,現在對於遠處的性能加設了在(ii)的限製下,就可以推到無線域情形,它的推演依靠著核K2(s,t)=$\\int_\\Omega ^k {(s,u)} \\overline {k(t,u)} du$的性能而獲得的,主要結果是由定理1、2的證明騎著重要的作用
文档格式:PDF 文档大小:433.91KB 文档页数:8
为了获取低挥发性有机物的吸附等温线,基于Langmuir方程,提出一种推算低浓度低挥发性有机物的吸附等温线的方法.脱附活化能由改进的程序升温脱附模型进行动力学分析获得,由此获得的Langmuir方程中的平衡常数B,较经典程序升温脱附模型求算值更接近本征值,且不受是否发生再吸附现象影响;饱和吸附量可结合吸附剂表征结果可得到.此方法应用于低浓度萘在SBA-15上的吸附等温线的推算,脱附活化能为58.37 kJ·mol-1,平衡常数为0.01149 Pa-1,饱和吸附量为55.11 mg·g-1,相对误差约5%,与实验值较好吻合
文档格式:PDF 文档大小:1.89MB 文档页数:84
一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:
文档格式:PPT 文档大小:285KB 文档页数:20
船舶推进轴系是一个既有扭转弹性、又 有回转质量的扭转振动系统。轴系扭转振 动为边旋转边做周向来回振动,不可避免。 规范要求:功率大于220KW的柴油机推进系 统、额定功率大于110KW的柴油机发电系统 要进行扭振计算并提交审查及实船测量, 如计算及测试超过规定必须采取避振和减 振措施
文档格式:PPT 文档大小:1.12MB 文档页数:56
• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序
文档格式:DOCX 文档大小:18KB 文档页数:2
《高中思想政治》全程设计训练题库(选修3逻辑与思维,课后习题,含答案)第2单元 遵循逻辑思维规则_第6课 掌握演绎推理方法_第1框 推理与演绎推理概述
文档格式:PPTX 文档大小:626.94KB 文档页数:32
《高中思想政治》全程设计同步配套教学课件(选修3逻辑与思维)第2单元 遵循逻辑思维规则_第6课 掌握演绎推理方法_第1框 推理与演绎推理概述
文档格式:PDF 文档大小:3.04MB 文档页数:38
第一章 人工智能发展概述 1.1 全球:以科技企业为主导,推进技术创新升级 1.2 中国:加强算力基础设施建设,支撑应用落地 第二章 人工智能算力及应用现状 2.1 芯片:应用需求日渐丰富,催生芯片多元化发展 2.2 服务器:多元开放、绿色节能成为发展方向 2.3 云服务:AI 与云加速融合,推动业务创新 2.4 算法模型:巨量化成发展趋势,预训练模型为创新基础 2.5 应用:算力与应用协同发展,推动场景多元化 第三章 中国人工智能计算力发展评估 3.1 行业概况及排名 3.2 地域概况及排名 第四章 IDC建议 4.1 技术供应商建议 4.2 产业发展建议 4.3 行业用户建议
首页上页1617181920212223下页末页
热门关键字
搜索一下,找到相关课件或文库资源 990 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有