只为小站
首页
域名查询
文件下载
登录
Heyting系统及其H-空间化的性质
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概.念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。给出了Heyting系统是可H-空间化的等价刻画。
2021-02-26 18:07:56
256KB
拓扑系统;Heyting系统;H-同胚;伴随函子
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
中小型企业网络建设.pkt
IEEE33节点配电网Simulink模型.rar
python大作业--爬虫(完美应付大作业).zip
BP_PID控制仿真.rar
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
EasyMedia-ui.zip
PLECS中文手册.pdf
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
RNN-LSTM卷积神经网络Matlab实现
opcua服务器模拟器+opcua客户端工具.rar
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
全国道路网SHP数据.zip
多智能体的编队控制matlab程序(自己编写的,可以运行)
超大规模集成电路先进光刻理论与应用.pdf
数字图像处理[冈萨雷斯]
最新下载
军棋博弈平台20141008.exe
联想网络同传工具.rar
基于verilog的AMI编程协议
35kV配电网电流三段式保护simulink仿真
android 使用osmdroid 加载离线map格式数据以及地图网格
GMM_speaker_identification:使用 GMM 分类器识别说话人
HslCommunicationDemo-v6.0.2.rar
Elecard HEVC Analyzer
仿真软件saber 2019,里面有安装教程,百度下载
saber电气系统培训手册
其他资源
扩展汉明码的硬判决+软判决+SPA算法译码比较matlab
unity保卫萝卜
QQ聊天窗口泡泡模式的Swing实现
C/S结构TCP远程群聊私聊聊天软件源代码
MDB合并工具
FFT算法c语言代码
页面置换算法(OPT、FIFO、LRU)实现--C++版本
中国卫生健康统计年鉴2018.xlsx
射频电路与天线 PPT 华南理工
LP WIZARD10.5破解版(WIN10中也能破解)
ArcEngine中动态移动点的效果实现代码
网络调试NetAssist
Android studio aidl小demo
c#对文件加密
RA8870_Demo-Kit.pdf
1901213.pdf
藻类测试-源码
ethnode:运行以太坊节点(Geth或Openethereum)进行开发-源码
Win98VM.zip
DSP使用软件CCS安装教程及驱动安装教程
通用后台管理系统源码
175个软件工具栏小图标
channel_v3.json亲测可用
C#利用自带控件实现圆形指示灯
韩顺平满汉楼源码完整版
信息安全考试要点