只为小站
首页
域名查询
登录
Heyting系统及其H-空间化的性质
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概.念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。给出了Heyting系统是可H-空间化的等价刻画。
2021-02-26 18:07:56
256KB
拓扑系统;Heyting系统;H-同胚;伴随函子
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
C4.5决策树算法的Python代码和数据样本
ChinaMeteorologicalDataHandler.R
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
2020年数学建模国赛C题论文
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
MAC OS.X.10.8.iso 镜像文件
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
机械臂避障路径规划仿真 蚁群算法 三维路径规划
校园网规划与设计(报告和pkt文件)
基于STM32的FFT频谱分析+波形识别
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
2021华为芯片研发岗位笔试题
最新下载
六子棋游戏软件NCTU6
Cocos2dx-lua xxtea解密工具
GSK980TD串行口通讯软件
易语言超高仿QQ聊天源码(打造自己的局域网聊天软件)
DEEP LEARNING 中文版
Acrobat.Pro.DC.v2019.exe
李宏毅-Deep Learning Tutorial-300页的PPT
溪谷软件vlcms手游平台程序 v1.2
elib++1.2#0版(第三方支持库),易语言elib++1.2#0版
VC实现的QQ聊天程序 包含客户端、服务器端
其他资源
SuiPack.v6.4破解版
变频调速SVPWM技术的原理、算法与应用
stm32的小车红外寻迹加超声波避障
Matlab电机仿真实例
Matlab数据处理代码(差分,插值,数值积分,迭代,数据优化等)
二进制转换为BCD码的VHDL实现
北航PPT大全套
LabVIEW Basics I,II
C语言电子表格
proteus+8086 A/D模数转换实验(0809)
PESQ与LSD评价
jdk8安装包
winform自绘波形,鼠标滚轮滚动缩放波形尺寸
LFW最全指南
struts-2.3.dtd
idea-cdh-hive-lib.zip
检验科采血管种类及应用PPT课件.ppt
IntelliJ IDEA主题、.zip
操作系统概念1-8章习题作业答案.zip
1.1.5.412.publish_release.exe
GraphPad.zip
Unity3D人物怪物互攻小游戏Demo
VS2008 C#连oracle数据库免客户端文件
nmon安装包及使用命令
Tomcat中间件监控配置&指标.doc