只为小站
首页
域名查询
文件下载
登录
Heyting系统及其H-空间化的性质
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概.念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。给出了Heyting系统是可H-空间化的等价刻画。
2021-02-26 18:07:56
256KB
拓扑系统;Heyting系统;H-同胚;伴随函子
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
离散时间信号处理第三版课后习题答案
韦来生《数理统计》课后习题与答案
RentingSystem.rar
雷达信号处理仿真程序(MTI,MTD等)
STM32F4时钟触发ADC双通道采样DMA传输进行FFT+测频率+采样频率可变+显示波形
空间谱估计理论与算法------程序.rar
拾荒者扫描器.zip
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
全国河流水文站坐标.xls
基于OpenCV的车牌号码识别的Python代码(可直接运行)
鲸鱼优化算法 WOA matlab源代码(详细注释)
基于hadoop商品推荐系统课程设计
Spring相关的外文文献和翻译(含出处).zip
航迹融合算法MATLAB仿真程序
Monet智能交通场景应用
最新下载
瑞美注册码-瑞美破解版-瑞美检验报告系统安装包-最新4.89版
瑞美单机版4.90注册机瑞美网络版注册机下载
2022年最全最精简wifi密码字典(2.6G) , 亲测破解率为90%以上
电机设计精简版1
YDT协议 指令生成工具
DIWASP——直接波浪分析软件
无人船中英文文献.zip
北大陈向群老师09年操作系统高级课程PPT
2021上半年软件设计师考试下午真题(试题解析+参考答案).pdf
IEC 61970标准 中文版
其他资源
opensips与两台freeswitch负载均衡
C++ builder 下使用API函数利用多线程实现串口通信源程序
SOP28封装(AD)
基于IAR的STM32F407程序模板
opencv3.1用SVM实现MNIST
官方原版 Microsoft .NET Framework 4.5.2
AltiumDesigner官方STM32封装库(F0~F4 L1)
ipython/jupyter notebook解决浏览器空白的注册文件
Win32 API 教程第二版(简体中文)
情报分析师_windows-x64_6_33.rar
7种支持向量机SVM工具包
myeclipse中简单图书馆web小项目
Access数据库引擎DatabaseEngine32/64
4AM1U1P3课件.ppt
frontend-interview-questions:https://performancejs.composthde6d32The-Best-Frontend-JavaScript-Interview-Questions-的答案(由前端工程师撰写)-源码
大风车转呀转,资源齐全
WinForm实现个人日程管理
乘法器设计
精通Windows 3D图形编程
安卓网上书店客户端+mysql数据库
EpsonL351清零
AirPin_PRO破解版 移动app+电脑pc.rar
多模式带转向交通灯PROTUES仿真及程序
3GPP长期演进(LTE)技术原理与系统设计(LTE红宝书) 43M清晰版