只为小站
首页
域名查询
文件下载
登录
MTL-代数上的几种演绎系统及其商代数
首先,本文讨论了弱 MTL-代数的性质,并给出弱 MTL-代数的等价刻画;其次,将蕴涵演绎系统.的概念引入到弱 MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个.等价条件;最后,讨论了弱 MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在 弱.MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱 MTL-代数。
2021-02-26 17:05:07
340KB
逻辑代数;弱
MTL-代数;演绎系统;蕴涵演绎系统;同余关系;商代数
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
房价预测的BP神经网络实现_python代码
PLECS中文手册.pdf
狂神说Java系列笔记.rar
java-spring-web-外文文献翻译40篇.zip
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
基于LSTM模型的股票预测模型_python
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
Keil5安装包
简易示波器-精英板.zip
PSO-LSSVM的MATLAB代码.rar
华为OD机试真题.pdf
中国地面气象站观测数据2000-2021
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
最新下载
撮合引擎代码 处理低价股票的排队问题
STM32cubeIDE 1.8.0代码自动补全插件.zip
Engagement-Recognition:使用深度学习和面部表情自动识别学生参与度
VC6.0 MFC做的时钟
一键加域退域.bat
maya 卡通老鼠模型
ENSP虚拟局域网配置-计算机网络实验1
国开《计算机绘图》课程形考1-4 .dwg答案(可直接使用)
protobuf-4.22.3-py3-none-any.whl
基于华为eNSP的中小企业办公园区/校园网络规划与设计
其他资源
原生JAVA读写PLC
日本全境shp文件
叮咚 新订单 提示音(包含多种格式)
200个原理图+PCB电路图
Matlab 求根代码 包括Newton法、Secant法、Steffenson法、Aitken's法、不动点迭代法。
duilib 做的Demo ,支持进度条,以及动态修改xml 的内容
电力系统风险评估模型、方法和应用--李文沅
cudnn-10.0-windows10-x64-v7.6.5.32.zip
免注册调用大漠插件 DmReg.dll
动态实现对话框弹出式窗口和子窗口的互相转化
AHP层次分析法matlab源代码
BOM助手,原理图自动生成带公司料号的料单
matlab中的 tofloat函数
有关MIMO预编码
3DMonster1-源码
PIV技术在非饱和冻土冻胀模型试验中的实现与灰度相关性分析_刘振亚.caj
非线性滤波
南邮算法实验之动态规划法