只为小站
首页
域名查询
文件下载
登录
Heyting系统及其H-空间化的性质
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概.念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。给出了Heyting系统是可H-空间化的等价刻画。
2021-02-26 18:07:56
256KB
拓扑系统;Heyting系统;H-同胚;伴随函子
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
基于Matlab的IEEE14节点潮流计算.zip
2020年数学建模B题(国二)论文.pdf
MATLAB车牌识别系统
ios无人直播 虚拟视频实用版 可以导入视频
ChinaMeteorologicalDataHandler.R
Python+OpenCV实现行人检测(含配置说明)
DBSCAN算法Matlab实现
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
scratch版 我的世界.sb2
JPEG的Matlab实现
西安问题电缆-工程伦理案例分析.zip
机械臂避障路径规划仿真 蚁群算法 三维路径规划
工程伦理案例分享.docx
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
最新下载
Win64OpenSSL_Light-1_1_1k.zip
.net调用webservice接口例子
Advanced+Probability+Theory(荆炳义+高等概率论)
stm32f103ve_freeRTOS_demo.7z
vue+echarts实现动态绘制图表及异步加载数据的方法
基于PRI变换的雷达信号分选matlab仿真代码
Luckysheet 实现excel多人在线协同编辑(Python)
38.212协议中文版1.pdf
vk162、vk172安卓车机驱动+软件.rar
Tftpd32.zip
其他资源
LM386 SPICE模型 兼容Multisim
CPU版的tensorflow1.10.0编译出C++API的库文件VS2015
CoordTran.exe
数据结构教程(第5版)-源程序_李春葆
Unity3d资源解密
C++标准程序库 侯捷版
STM32驱动TMC26x的工程文件
一款实用的万能倍投计算器
基于物品的协同过滤推荐算法 c++实现 源码
LTC4054的典型应用手册(电源管理芯片)
asp.net 火车票在线订购系统
机器人SLAM算法源代码
3 时域分析法.ppt
B116XTN02.2 HW 1A Functional Spec V1.pdf
google-research:Google研究-源码
计算机图形学课程实验代码及报告.docx
电脑组装flash(电脑初学者必备)
zip带密码压缩解压缩工具类(java)
C# 基于UDP即时聊天程序源代码
微信小游戏《守卫竹林》线上游戏源码资源分享
四相五线 28BYJ-48步进电机驱动 STM32c8t6
createJson.rar Java生成各种json格式数据
企业经营数据分析__思路、方法、应用与工具
Android和H5 js交互Demo