只为小站
首页
域名查询
文件下载
登录
Heyting系统及其H-空间化的性质
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概.念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。给出了Heyting系统是可H-空间化的等价刻画。
2021-02-26 18:07:56
256KB
拓扑系统;Heyting系统;H-同胚;伴随函子
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
多目标优化算法(四)NSGA3的代码(python3.6)
多目标优化算法(四)NSGA3的代码(MATLAB)
东南大学英语技术写作慕课所有答案
2019年秋招—华为硬件工程师笔试题目.pdf
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
离散时间信号处理第三版课后习题答案
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
多目标微粒子群算法MOPSO MATLAB代码
EasyMedia-ui.zip
非线性本构关系在ABAQUS中的实现.pdf
最新下载
西安电子科技大学 协议工程 课件
基于STM32的智能抽油烟机系统
基于谓词逻辑的归结原理实验
YOLOv8网络结构图,自制visio文件,yolov8.vsds,需要的自取,在原有的基础上直接改就行了
c++自动填写网络表单程序
UG902 - Vivado Design Suite 用户指南:高层次综合(中文版) (v2019.2).zip
雷达信号分选(matlab)
VC++实现网页自动填表功能
鸟哥Linux私房菜 基础篇+服务器篇(全)
电子密码锁verilog语言程序代码.zip
其他资源
集合卡尔曼滤波算法-数据同化的经典算法,Matlab编写
直方图均衡处理光照不均匀
干涉相位滤波(均值、中值、圆周期).7z
手术麻醉系统实施方案
LS-DYNA使用指南
C# 简单反射实现winform左侧树形导航,右侧切换内容
Teamcenter系统集群安装手册
有限元理论—世界名著(高清晰版)Zienkiewicz(辛克维奇)教授
envi制图输出步骤
各种调制方式的matlab程序
51单片机秒表计时代码及仿真
ESXi-6.7.0-20181104001-standard-customized,et55-r8168,sata-xahci.7z.002
geant4 安装及入门
110kv/10kv变电所电气设计
基于processing小碰撞通关游戏
44CJ游戏私服发布站采集插件 v5.20.rar
Iron_and_Steel_Technology_Roadmap.pdf
获取雅虎股票数据csv文件
数学建模论文word排版技巧
dcm4chepacs3
Hi3520EMO板原理图