没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
关于归纳公理的等价性命题 (1988年)
关于归纳公理的等价性命题 (1988年)
自然科学
论文
需积分: 5
0 下载量
17 浏览量
2021-04-28
04:27:26
上传
评论
收藏
1.43MB
PDF
举报
温馨提示
立即下载
本文论述了归纳公理的等价性命题。
资源推荐
资源评论
选择公理及其等价命题 (2003年)
浏览:169
本文对选择公理在数学基础中的地位和作用以及某些等价命题作了比较系统的阐述.
定义拓扑空间公理的等价性
浏览:175
在一个集合上如何定义拓扑, 使之成为拓扑空间, 这在不同的拓扑文献中是不尽相同的。木文给出七个拓扑空间的定义, 并证明它们之间的等价性。
三角范畴定义中八面体公理的等价命题及其应用 (2008年)
浏览:185
本文在王济荣工作的基础上给出八面体公理的第1个等价命题,再利用对偶的思想导出八面体公理的第2个等价命题。最后利用homotopy cartesian得到八面体公理的第3个等价命题,并利用第3个等价命题简化Peng和Tan的证明。
关于选择公理的某些应用
浏览:88
关于选择公理的某些应用,PDF,文字版,非扫描,4页。
选择公理与Tukey引理等价性的机器证明
浏览:106
选择公理与Tukey引理等价性的机器证明
公理集合论导论
浏览:3
公理集合论(axiomatic set theory)是数理逻辑的主要分支之一,是用公理化方法重建(朴素) 集合论的研究以及集合论的元数学和集合论的新的公理的研究。 19世纪70年代,德国数学家G.康托尔给出了一个比较完整的集合论...
七年级数学下册第七章相交线与平行线7.1命题真命题与公理定理的区别与联系素材新版冀教版
浏览:57
七年级数学下册第七章相交线与平行线7.1命题真命题与公理定理的区别与联系素材新版冀教版
数学 实数连续性九个定理等价的证明.
浏览:9
详细给出了实数连续性的九条公理的等价性证明,在思想上有很大的借鉴作用
论文研究-关联度公理的简化与特殊关联度的公理化定义.pdf
浏览:116
本文首先逐条评价了现有关联度四公理的意义,指出规范性和接近性是必不可少的,整体性和偶对对称性是没有必要的,接近性需要用严谨数学语言描述,适用范围没有必要局限在系统...
哥德尔公理有效性证明.rar
浏览:94
哥德尔公理有效性证明 这本书能有效说明数学是被发现的,还是发明的? 你是否曾对π 中的数字排列如此混乱而感到困惑?为什 么 “圆的周长含有多少个直径的长度” 这样一个简单而又 自然的问题,竟导致这么一个玄奥...
论文研究 - 购买决策中的诱惑:验证集合之间公理的拟实验
浏览:151
我们研究了集合间公理,这是从研究Gul和Pesendorfer的开创性工作开始的关于诱惑和自我控制的文献中最关键的假设[1]。 该公理指出,诱人替代品的存在给决策者带来了自我控制的问题,他们更喜欢菜单中不包含诱人替代品...
八年级上册数学期中考试知识点归纳:全等三角形的判定公理.pdf
浏览:110
八年级上册数学期中考试知识点归纳:全等三角形的判定公理.pdf
数据库armstrong公理系统,函数依赖学习攻略
浏览:161
5星 · 资源好评率100%
关于数据库armstrong公理系统,函数依赖的学习攻略
基于公理设计的设计矩阵的研究
浏览:156
基于公理设计的设计矩阵的研究,张利宾,张换高,本文中讲述的数学方法是在公理设计的基础上提出的。通过分析设计矩阵,设计者可以快速地判断出设计的类型;当设计符合独立性公理
选择公理的两个等价形式 (1979年)
浏览:139
本文目的是证明选择公理的两个等价形式,它们分别是Hausdorff极大原理和Zorn引理的“推广”。我们首先给出确切定义,然后证明等价性,最后举例说明:有时不能直接应用Zorn引理,却可应用我们提出的等价形式。
《基础集合论》作者: 董延闿 出版年: 1988年
浏览:23
出版年: 1988 页数: 234 定价: 1.7 ISBN: 9787303002634 《基础集合论》是现代董延闿编著的一部哲学著作。 书是高等学校数学专业的教材。作者向读者系统地介绍集合论最基本的理论,为学习数学各分支打下了理论的根基...
公理集合论导引.pdf
浏览:63
5星 · 资源好评率100%
公理集合论导引.pdf
拓扑学课件-分离性公理
浏览:49
拓扑学的分离性公理,课件。内容讲的还不错
基于公理化设计的产品模块化设计
浏览:115
基于公理化设计的产品模块化设计,毛熔波,刘伟,产品模块化设计是实现大规模定制模式的关键技术之一。本文对公理化设计理论进行了深入的分析,提出了公理化设计的概念及数学模型
BUCK/BOOST转换器小信号建模与稳定性分析 (2009年)
浏览:46
利用电感电压平均近似和电容电流平均近似的方法,建立了连续模式(CCM)下电压,控制型BUCK/BOOST结构DC/DC转换器的线性模型,实现了非线性向线性模型的转化。采用此模型得到的控制到输出的传递函数与采用状态空间方法得到的传递函数一致;在此基础上基于Matlah工具对不同补偿网路的频域特性进行了仿真,仿真结果表明双极点、双零点补偿后的系统稳定性能最好。利用Hspice时域仿真验证了频域分析结果
基于MATLAB/SIMULINK的并网型双馈风力发电机仿真模型的研究 (2010年)
浏览:47
在分析双馈发电机交流励磁变速恒频发电运行原理的基础上,利用MATLAB/SIMULINK分别搭建了空载并网控制模型和并网后的追踪最大风能变速恒频发电运行模型,并结合两种模型进行分时仿真,解决了传统仿真方式中由于并网前后定子电压输出方向不同,而无法讨论并网瞬间工况的问题。仿真结果表明了文中所建立的风力发电机模型不但可以在变速情况下可靠并网,而且并网后还能在变速恒频运行的基础上实现有功功率、无功功率的
由心电信号提取呼吸信息的算法及其仿真实现 (2014年)
浏览:171
为了使单纯的心电监护设备实现对多种生理信号的检测,减小设备的复杂性,根据心跳频率和呼吸频率处在不同的频段,提出2种由心电信号提取呼吸信息(ECG-derivedrespiratorysignal,EDR)的算法:离散傅里叶变换EDR算法和离散小波变换EDR算法。利用MATLAB软件在时域和频域分别对这2种算法进行验证,并进行了相关分析比较。经过筛选比较,离散小波变换EDR算法选用coifN小波作为
三自由度Delta并联机器人运动学分析及工作空间求解 (2008年)
浏览:2
通过对三自由度Delta机器人机构的分析,建立了运动学模型推导出该机器人的运动学方程,进一步得到位置反解的计算公式;同时给出了正解的数值解法,并结合算例验证了推导的正确性。利用运动学反解方程,提出了一种工作空间的求法。
自制桥式差分电容测量电路 (2009年)
浏览:10
差分电容传感器电路采用交流电电容桥法对差分电容进行测量。此方法所采用的载波信号为 100 kHz的高频交流信号。相位敏感解调器将输出的高频交流信号转化为直流信号输出之后,利用 RS-232电缆将电压表与电脑连接起来,对输出电压进行记录。实验中,需要先使用固定电容对此电容传感器进行标定,然后将其应用到微小可变电容的测量中。此实验设计出的电容传感器,其分辨率可高达0 .01 fF,等效于差分电容桥的
基于MATLAB Robotics工具箱的SCARA机器人轨迹规划与仿真 (2012年)
浏览:141
为研究SCARA机器人的轨迹规划,在MATLAB环境下,对该机器人运动学参数进行了设计,利用Robotics toolbox工具箱编制了简单的程序语句,建立该机器人运动学模型,讨论了标准D-H参数和改进D-H参数建模方法的区别,并对机器人的轨迹规划进行了仿真.通过仿真,直观地显示了机器人关节的运动,得到了连续平滑的机器人关节角度轨迹曲线.仿真实验表明,所设计的运动学参数是正确的,从而达到了预定的目
一种新型电荷放大器的设计方法与电路 (2006年)
浏览:193
介绍了一种新的电荷放大器的方法和电路。该电路主要由电流转换电路、恒流源电路、积分电路、模拟开关电路等纠成。其突出持点是转换速度快、电路简单及输人信号范围大,适合构建成多路,在传感器测量系统中有着广泛地应用前景。
乘用车物流运输计划问题的模型构建与求解 (2015年)
浏览:85
整车物流随着我国汽车行业的快速发展,成为现代物流行业中发展最迅速的板块. 利用最优化理论和组合优化理论建立了线性规划模型,并结合人工干预及经验,通过定量与定性分析方法,从轿运车的使用数量、乘用车的装载方法及路径选择三方面,对整车物流公司的运输计划问题进行研究和探讨.
二极管双平衡混频器电路分析 (2004年)
浏览:186
探讨了二极管环形混频电路的工作原理,通过分析和计算,得出最终输出电流的组合频率分量。分析认为,由于二极管特性不配对,变压器中心抽头不对称.各端口之间的隔离是不理想的,总会有极少量功率在各端口之间窜通。提出了解决组合频率干扰问题的3种措施。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38595473
粉丝: 3
资源:
876
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于matlab的泽尼克多项式函数表示
fdsafdsfdsfdsfdsftgghh
kaili Linux安全渗透简介
CST初级教程七示例3D档及仿真结果
网页设计特殊的的行为代码
永磁同步直线电机三闭环控制simulink仿真模型
计算机网络技术期末考试题库
2022CUMCM(C题).zip
博物院管理系统.zip
【C/C++免费资源】无尽之剑V3.5
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功