只为小站
首页
域名查询
文件下载
登录
MTL-代数上的几种演绎系统及其商代数
首先,本文讨论了弱 MTL-代数的性质,并给出弱 MTL-代数的等价刻画;其次,将蕴涵演绎系统.的概念引入到弱 MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个.等价条件;最后,讨论了弱 MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在 弱.MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱 MTL-代数。
2021-02-26 17:05:07
340KB
逻辑代数;弱
MTL-代数;演绎系统;蕴涵演绎系统;同余关系;商代数
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
多目标微粒子群算法MOPSO MATLAB代码
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
云视通扫描工具.zip
2010年-2020中国地面气候资料数据集(V3.0)
基于Python网络爬虫毕业论文.doc
西安问题电缆-工程伦理案例分析.zip
EasyMedia-ui.zip
python爬虫数据可视化分析大作业.zip
基于ray filter的雷达点云地面过滤ROS节点
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
2019年秋招—华为硬件工程师笔试题目.pdf
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
quartus II13.0器件库.zip
最新下载
jd-h5st加密算法与Python爬虫
用android蓝牙与RTK通讯源码
Java从零到企业级电商项目实战
安装SQLServer 2008 R2安装详细图文教程
sql server 2012 R2企业版安装光盘ISO
SQLServer2008R2简体中文版(64位)
SQL Server 2000 绿色版
Oracle数据库基础知识(华为内部培训资料)
过检测CE6.8,ce修改器过有游戏检测
利用winform 的RichTextBox和SQLite实现笔记编辑器功能
其他资源
TMS_FlexCel_Studio_v6.0.2.0_for_Delphi_XE2
Mstart-boot解包工具.zip
Python快速编程入门的课后习题答案(本人原创,通过测试完整准确)
CEF 3.3497.1817 x86带ffmpeg(支持H.264/MP3/AAC等)
swiper实现当前轮播图放大效果(swiper官网例子)
虚拟表软件(支持97和07电表切换)
matlab编程实现2007B数学建模源代码
K66_逐飞.zip
水果忍者完整源码-刀光特效全有
使用cefsharp采集数据原理及思路
im4java-ImageMagick图片压缩处理
现场活动大屏幕系统v1.1806221.zip
windows-agent_20200316.iso
Q调制分子激光器
识别0-9十个数字,BP神经网络数字识别源代码.rar
2018-2020年暨南大学821材料综合考研真题
SUN solairs系统
2020年阿里精选面试题及答案.pdf
C++贪心算法实现活动安排问题(实例代码)
多线程下无同步和同步的简单对比 MutilThreadTest.zip
空域自适应旁瓣相消的算法及其实现
fluent噪音模拟例子
无痛的机器学习 第一季