只为小站
首页
域名查询
文件下载
登录
MTL-代数上的几种演绎系统及其商代数
首先,本文讨论了弱 MTL-代数的性质,并给出弱 MTL-代数的等价刻画;其次,将蕴涵演绎系统.的概念引入到弱 MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个.等价条件;最后,讨论了弱 MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在 弱.MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱 MTL-代数。
2021-02-26 17:05:07
340KB
逻辑代数;弱
MTL-代数;演绎系统;蕴涵演绎系统;同余关系;商代数
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
IBM.ILOG.CPLEX.Enterprise.Server.v12.10.0.Win64.rar CPLEX下载
ChinaMeteorologicalDataHandler.R
Android大作业——网上购物APP(一定是你想要的)
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
芯片验证漫游指南以及源代码.zip
Steam离线安装版
汽车仿真之电池模型-适合新手入门
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
QT自制精美Ui模板系列(一)桃子风格模板 - 二次开发专用
韦来生《数理统计》课后习题与答案
Autojs 例子 源码 1600多个教程源码
MTALAB NSGA2算法
人体姿态检测
RentingSystem.rar
最新下载
微信小程序 手边酒店v25.0.65 酒店
KEIL调试J-link驱动安装包
证件照换底色工具,证件照处理工具
ZXR10 5950-H系列(V3.01.10)全千兆智能路由交换机 配置指导(链路层协议)
c#图书管理系统 SQL Server数据库
SKY免费【IP】配套登陆器 配置器
软件工程期末试卷答案及考试重点.zip
网狐数据生成器
局域网校时软件(个人版+企业服务器版)
WAMP部署工具、phpStudy、VC库
其他资源
电力系统电磁暂态计算与EMTP应用
QT的QML 非常好的例子
A*算法(Astar算法/A星算法)C++模板函数实现.zip
c3p0+QueryRunner jar包
复杂网络的基本代码
基于PHP的学生选课系统.rar
vibe 官方源码
SM3算法IP核
搜索荟萃软件--搜索集成软件
CS424-项目1-源码
模拟gps经纬度数据(带全国).rar
testthat:一个R:package:进行测试:grinning_face:-源码
Qt无边框窗口体拖拽边框改变窗体大小终极方法(橡皮筋窗体)
my-app.tar.gz
员工离职管理制度.doc
安装windows_client时报错.docx
RF Microelectronics 2nd razavi.pdf
apache-apollo-1.7.1
信息安全编程(DES加密解密算法MFC程序)
图书租赁系统(java)
cmake-3.11.1