只为小站
首页
域名查询
文件下载
登录
Heyting系统及其H-空间化的性质
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概.念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。给出了Heyting系统是可H-空间化的等价刻画。
2021-02-26 18:07:56
256KB
拓扑系统;Heyting系统;H-同胚;伴随函子
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
粒子群多无人机协同多任务分配.zip
RNN-LSTM卷积神经网络Matlab实现
RentingSystem.rar
东南大学英语技术写作慕课所有答案
VideoDownloadHelper去除120分钟时间限制-高级版.zip
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
基于蒙特卡洛生成电动汽车充电负荷曲线程序
基于STM32的电子时钟设计
基于LSTM模型的股票预测模型_python
SSM外文文献和翻译(毕设论文精品).doc
2019年秋招—华为硬件工程师笔试题目.pdf
画程(版本6.0.0.127)setup个人版
狂神说Java系列笔记.rar
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
最新下载
2015 年全国大学生计算机设计大赛微课类国家级一等奖获奖作品答辩 PPT PPT线条动画
数值分析实验报告 matlab (华中科技大学 李红 编写的教材上的实验)
DSMC直接模拟蒙特卡洛法介绍及实现
6种用于人脸识别的人脸数据库
PSCAD4.6.2安装包
7279芯片应用原理图
西南交通大学无线通信链路仿真中期课程设计
操作系统实验报告-建桥学院
PacketTracer实验全集
2bizbox-allinone-setup-windows-4.5.1.exe
其他资源
用MATLAB编写的图像的金字塔分解
2021MCMProblemC_DataSet.xlsx
计算结构CPU设计 verilog
清华大学学术专著 独立分量分析的原理与应用
三维网格obj模型简化及交互
GA_SA.基于matlab的模拟退火-遗传算法程序
计算机操作系统习题大全
Yolov4与ROS melodic编译好的包,可以直接下载使用,里面还有测试数据集
LS-DYNA 971 Keyword User's Manual.pdf
阿里巴巴的鹰眼全链路监控系统各组件实现介绍
最简单的基于FFmpeg的图像编码器 1.1
java+mysql库存管理信息系统
冰箱温度控制(51+DS18B20+1602+直流电机)
密码管理器的攻防
taobao API调用demo(java 实现)
LTP.Accounts.dll
ems_thymeleaf.zip
零基础电工基础教程入门
【威纶通】以太网线上传、下载触摸屏程序详细操作步骤.pdf
基于PLC和变频器的恒压供水控制系统.pdf
PCAnyWhere 12.5 英文版 (Crack) part5
Hands-On Mircrosoft Windows Server 2016
premiere课程设计