根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。
常用的几个线化简算法，学地图综合的可以看看
NULL 博文链接:https://xin-feng-08.iteye.com/blog/357904
在抽象代数中，交换代数旨在探讨交换环及其理想，以及交换环上的模
基于粒计算的完全确定时序逻辑电路状态化简算法
离散数学第六章格和布尔代数的讲义文件，包含了详细的讲解和示例。学习离散数学的同学可以通过下载该文件，深入了解和掌握格和布尔代数的概念和应用。文件格式为.pptx，适用于PowerPoint等演示软件。
大学线性代数上课老师讲的PPT,对于想自学的同学来说非常有帮助。
基本讲述了简单图的连通性，连通性和节点，边之间的关系
李群与李代数，在计算机视觉领域的文献里经常会见到李代数和李群的概念，是学习视觉slam必备学习课程
This text is designed for those instructors who desire a comprehensive introduction to formal logic
用户评论