只为小站
首页
域名查询
文件下载
登录
MTL-代数上的几种演绎系统及其商代数
首先,本文讨论了弱 MTL-代数的性质,并给出弱 MTL-代数的等价刻画;其次,将蕴涵演绎系统.的概念引入到弱 MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个.等价条件;最后,讨论了弱 MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在 弱.MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱 MTL-代数。
2021-02-26 17:05:07
340KB
逻辑代数;弱
MTL-代数;演绎系统;蕴涵演绎系统;同余关系;商代数
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
芯片验证漫游指南以及源代码.zip
知网情感词典(HOWNET)
基于MQ2烟雾传感器的STM32F103程序
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
ios无人直播 虚拟视频实用版 可以导入视频
matlab机器人工具箱实现机械臂直线轨迹&圆弧轨迹规划
DBSCAN算法Matlab实现
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
Monet智能交通场景应用
2019年秋招—华为硬件工程师笔试题目.pdf
SSM外文文献和翻译(毕设论文精品).doc
鲸鱼优化算法 WOA matlab源代码(详细注释)
IEEE 39节点系统的Simulink模型
粒子群多无人机协同多任务分配.zip
最新下载
FPGA面试题及答案总结
基于CC2530的传感数据采集系统(含加速度和压力)(无线单片机课程设计)
标准化干旱分析工具箱 (SDAT):SDAT 提供了用于推导非参数标准化干旱指数的通用框架。-matlab开发
Cancer Instance Segmentation and Classification 1 肿瘤实例的细分与分类1-数据集
C#调用matlab,matlab图形Figure嵌入Winform窗体
stm32f103c8t6单线通讯协议SIF
用C++实现的聊天程序
STM32-HAL-U8G2-OLED.zip
慧鱼使用手册
VC与Labview、Matlab编程论文资料
其他资源
Lenovo B460&V460 BIOS 2ECN34&36WW BIOS更新工具包,含EC更新
科立捷对讲机( klj-999)出厂预设16频率及哑音文件
Qt+GDAL图像显示基本功能
Ubuntu下最简单的Cmake编译多个C和C++工程的例子
麻雀 mq.g711a
基于Web在线考试系统的设计与实现
基于simulink的光伏模型搭建,供大家参考学习用
vivado 长期有效license
不同自适应均衡算法matlab
电磁信号LMV358放大模块VA
DeepLearningWithPyTorch
keil注册机
带通采样定理+详细推导+应用举例
论文研究-改进遗传算法在求解TSP问题上的应用研究.pdf
jmeter用beanshell后置处理程序生成全局变量 csv文件
Android SQLite ListView Demo
facenet亚洲人脸训练模型
数据加密与数字签名系统
vb 与单片机串口通信程序
google blockly