点击切换搜索课件文库搜索结果(1845)
文档格式:PDF 文档大小:532.34KB 文档页数:46
第1节 可表示性 第2节 语法的算术化 第3节 不动点引理和递归定理 第4节 不可定义性,不完全性和不可判定性 第1节 可证性条件 第2节 第二可证性条件 (D2) 的证明 第3节 第三可证性条件 (D3) 的证明 第4节 哥德尔第二不完全性定理 第5节 自然的不可判定语句
文档格式:PDF 文档大小:177.37KB 文档页数:9
定理5.2.1(levi定理)若n(x)为可测集E上的非负可测函数列, 且满足中(x)≤中+1(x),中n(x)→f(x)(n→+∞),则 fdx= lim 中dx n-JE 证明G(f,E)={(x,y)0≤y
文档格式:PPT 文档大小:457KB 文档页数:15
本节讨论有理数域上多项式的可约性,以及如 何求Q上多项式的有理根,由于f(x)与qf(x)在 Q[x]上的可约性相同。因此讨论f(x)在Q上的可约 性可转化为求整系数多项式在Q上的可约性
文档格式:PDF 文档大小:143.26KB 文档页数:5
本章先介绍可测函数定义及其等价描述、简单性质,然后讨论可测函数与简 单函数、连续函数三者之间的相互关系,最后引入依测度收敛概念,并研究依测 度收敛与几乎处处收敛、一致收敛之间的相互关系。引入可测函数概念的目的是 探讨哪些函数才有可能按新思路改造积分定义,引入依测度收敛概念的目的在于 为新积分号下取极限时,削弱“一致收敛”这个苛刻条件作铺垫
文档格式:DOC 文档大小:893.5KB 文档页数:27
本章讨论粒子数可变的系统,先导出描述这种体系的系 综——巨正则系综,进而讨论相变和化学平衡等问题
文档格式:PDF 文档大小:200.16KB 文档页数:9
一、选择题(共10题20分) 1.2分(3673)3673在浓度为c1的HCl与浓度c2的BaCl2混合溶液中离子迁移数可表示成:() (A)(H [()+()+()] (C)(H') [cA(H )+(Ba2)+()]
文档格式:DOC 文档大小:54KB 文档页数:8
寄生虫病在一个地区流行必须具备三个基本条件,即传染 源、传播途径和易感人群。这三个条件通常称为寄生虫病流行的三个 环节。当这三个环节在某一地区同时存在并相互联系时,就会构成寄 生虫病的流行。寄生虫病的流行过程在数量上可表现为散发、爆发 流行或大流行;在地区上可表现为地方性、自然疫源性;在时间上可 表现出季节性;在人群中则有年龄、性别、职业及民族等不同分布的 表现。此外,生物因素
文档格式:PDF 文档大小:824.28KB 文档页数:7
TiC与TiN因晶格常数相近而可互溶生成碳氮化钛,其硬度介于TiC与TiN之间,而比TiN硬得多,涂于钢铁工件上可使寿命大为提高。本文叙述了不用CH4、CCl4而只用C5H5Cl+N2+H2+TiCl4体系沉积Ti(C、N)的工艺条件和淬火方法。模具经此法处理后表面硬度可达2400kg/mm2,使用保护气体强制冷却淬火不仅使硬度达到生产要求,还能解决工件在淬火中的变形与开裂问题。试验表明此法可提高模具寿命2到5倍
文档格式:PDF 文档大小:870.79KB 文档页数:14
用计算机模拟钢锭加热过程进行数值求解,可以解决各种钢锭装炉状态和烧钢方法的加热计算问题,如炉温、供燃料量随时间的变化,以及加热各期的时间长短,还可以算出炉子的燃料消耗和生产率等。计算可用于研究均热炉的加热制度,也可用于建立均热炉计算机控制的数学模型
文档格式:PDF 文档大小:90.27KB 文档页数:2
定义1设ACR,如果>0,均存在覆盖A的至多可数个开区 间,使得这些开区间长度总和小于∈,则称A为零测集 例子(1)可数集是零测集:(2)零测度的子集仍为零测度;(3)可数 个零测度之并仍为零测集
首页上页102103104105106107108109下页末页
热门关键字
搜索一下,找到相关课件或文库资源 1845 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有