代数系

作品数:373被引量:768H指数:14
导出分析报告
相关领域:理学文化科学更多>>
相关作者:李厚朴边少锋陈伯山郭冰莹刘永清更多>>
相关机构:中国人民解放军海军工程大学浙江大学广西大学中国科学院更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家重点基础研究发展计划广西壮族自治区自然科学基金国家杰出青年科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=大学数学x
条 记 录,以下是1-6
视图:
排序:
具有计算机专业特色的代数系统教学改革
《大学数学》2019年第5期44-49,共6页杨颖 贾璐 吕春利 
基于MOOC平台的高校教育教学新模式研究与实践(2015-ms046)
代数系统都是本科离散数学大课程体系中重要的一门课程,存在着老师授课难、学生听课烦、学习效果不佳等问题.以发现问题、解决问题的工程训练为指导思想,基于计算思维的培养模式,面向实际应用构建代数系统与计算机专业课程的联系纽带,...
关键词:离散数学 代数系统 计算思维 案例教学 
一类Boole方程解集代数系统性质的探讨
《大学数学》2019年第2期20-22,共3页丁殿坤 吕端良 
山东省教育厅立项课题资助项目(J06P14)
给出了一类Boole方程F=G的解集S关于逻辑加、逻辑乘、逻辑非运算可构成Boole代数系统的结论,又给出了Boole代数系统(S,+,·,-)与Boole代数系统(B,+,·,-)同态,进而得到了(S,+,·,-)与(B,+,·,-)同构的性质,并给予逻辑证明,也举例说明了...
关键词:解集 Boole代数系统 同态 同构 逻辑证明 
集合论在离散数学中的作用探索被引量:5
《大学数学》2019年第2期55-58,共4页郑艳梅 芦碧波 
河南省教育科学"十三五"规划项目([2018]-JKGHYB-0064);河南理工大学研究生双语教学课程建设项目(2017YSY02);河南理工大学研究生双语教学课程建设项目(2018YSY01)
在《离散数学》课程中,集合论绝不像表面显现的那么简单,相反地,它可谓一根主线贯穿了整个《离散数学》课程,在该课程的数理逻辑、关系、图论、代数系统等部分均发挥着表达工具或内容支撑的作用.在本文中,我们就集合论在《离散数学》各...
关键词:离散数学 集合论 数理逻辑 图论 代数系统 
微分代数系统稳定性及镇定新判据
《大学数学》2013年第2期38-42,共5页李剑 全新 张庆灵 
本文利用矩阵迹不等式讨论了微分代数系统的稳定性,并给出了微分代数系统容许的充分条件.提出了用此方法设计状态反馈控制器使微分代数系统容许的新方法,并设计了矩阵迹不等式组的计算机求解程序,并用例子说明了主要定理的有效性.
关键词:矩阵迹 无脉冲 微分代数系统 广义逆矩阵 
线性代数系统与线性方程组解的关系
《大学数学》1995年第2期172-175,共4页杨纶标 
本文以线性方程组解的判别理论为主导线,建立一线性代我系统。根据这个系统,很自然地推得或容易地证明有关向量理论,从而得到论证向量理论的新方法。
关键词:线性代数系统 解的判别理论 向量理论 
一本有特色的离散数学教材——介绍[苏]戈尔巴托夫编著的《离散数学原理》
《大学数学》1991年第3期139-142,共4页王明琼 
[苏]戈尔巴托夫编著的《离散数学原理》(下简称《离》它含:以研究代数系统、数理逻辑、图和模拟图、形式语法和自动机为专题的基本理论;以研究应用算法理论、特征分析为专题的中心理论。本文向读者介绍该书的突出特色和基本内容。
关键词:离散数学 戈尔巴托夫 自动机理论 应用算法 形式语法 代数系统 特征分析 集论 命题逻辑 金定理 
检索报告 对象比较 聚类工具 使用帮助 返回顶部