只为小站
首页
域名查询
文件下载
登录
MTL-代数上的几种演绎系统及其商代数
首先,本文讨论了弱 MTL-代数的性质,并给出弱 MTL-代数的等价刻画;其次,将蕴涵演绎系统.的概念引入到弱 MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个.等价条件;最后,讨论了弱 MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在 弱.MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱 MTL-代数。
2021-02-26 17:05:07
340KB
逻辑代数;弱
MTL-代数;演绎系统;蕴涵演绎系统;同余关系;商代数
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
transformer_pytorch_inCV.rar
EasyMedia-ui.zip
Alternative A2DP Driver 1.0.5.1 无限制版
Android大作业——网上购物APP(一定是你想要的)
python爬虫数据可视化分析大作业.zip
先进PID控制Matlab仿真第4版-PDF+代码.zip
数据结构课后习题答案
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
基于Python网络爬虫毕业论文.doc
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
房价预测的BP神经网络实现_python代码
西安问题电缆-工程伦理案例分析.zip
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
得到品控手册7.0.pdf
最新下载
车载通信CAN总线ISO 11898-1:2024版下载
MFC操作EXCEL2010简单封装
QT中Qpainter画表
四川大学数据结构
cisco network assistant 6.3.4
ijkplayer-android-k0.8.4 全平台 so库带aar
开心手机恢复大师 v3.6.6177.
线性系统理论+第2版+习题与解答
陈启宗-线性系统理论与设计-习题解答答案(Word文档)
VCap2860开发包.rar
其他资源
qt自定义的messagebox
GM65之51单片机(串口+显示屏)程序
MATLAB 后向投影成像算法
优支付平台游戏支付平台源码
MacOS dmg文件转iso工具
编译原理-龙书-习题答案
基于仿人智能控制的无标定视觉伺服
基于MFC对话框的UDP组播收发源代码程序
有源电力滤波器(APF)
C#入门必看的实例程序100个(适合初学者)
Digi的XBee-wifi 串口转无线模块资料包
多目标优化算法(一)NSGA2(C语言版)
2021年美赛D题思路
建设世界一流的能源互联网.pdf
web 课设 个人网站主页
微机原理习题集及答案
45道Oracle 题目,及答案。。
esl-erlang_17.0-1~centos~6_amd64.rpm
KNN算法与Tensorflow分别实现的手写识别系统
Android系统架构概述PPT
java框架jar包整理(绝对最全)
纯C语言——电子相册
线性代数C++模板库 Eigen 3.1.1 的CHM文档(自制)