离散数学体系结构--离散数学CAI及算法分析



离散数学体系结构--离散数学CAI及算法分析

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→理论、方法论文→算法理论论文

离散数学体系结构--离散数学CAI及算法分析

论文目录
第一章前言	第1-13 页
1．1 课题研究的意义与论文工作简述	第7-10 页
1．2 计算机科学及其与离散数学的关系	第10-11 页
1．3 前人在本课题研究领域中的成果简述	第11-13 页
第二章离散数学的体系结构	第13-29 页
2．1 从数理逻辑到集合论	第13-18 页
2．2 从集合论到数理逻辑	第18-29 页
第三章集合论导引	第29-76 页
3．1 运算定律与集合成员表法证明	第29-35 页
3．2 等势定理的证明和实数理论	第35-48 页
3．3 由形式语言的BNF公式(产生式)引向计算机科学的应用	第48-59 页
3．4 函数	第59-64 页
3．5 序概念的引申	第64-71 页
3．6 其它内容	第71-76 页
第四章代数体系	第76-94 页
4．1 基本概念	第76-82 页
4．2 程序部分	第82-87 页
4．3 有限域和编码的关系	第87-94 页
第五章图论	第94-107 页
5．1 图论基本概念	第94-96 页
5．2 有向图	第96-97 页
5．3 无向图	第97-98 页
5．4 欧拉图和哈密顿图	第98-100 页
5．5 特殊图	第100-103 页
5．6 其它	第103-107 页
第六章数理逻辑	第107-120 页
6．1 计算机科学与数理逻辑的关系	第107-114 页
6．2 消解原理	第114-117 页
6．3 逻辑程序设计Prolog	第117-120 页
结论与体会	第120-121 页
参考文献	第121-125 页
附录	第125-128 页
致谢	第128-129 页
攻读学位期间发表的学术论文目录	第129页

本篇论文共129页，点击这进入下载页面。

更多论文
离散数学体系结构--离散数学CAI及算
单螺杆挤出机过程仿真
宽幅高分子防水卷材挤出成型CAE研究
慧聪商情网在线交易系统的建立与研
U形波纹管膨胀节在弯矩载荷作用下的
管板孔开槽的液压胀接接头三维弹塑
木质纤维填充热塑性塑料复合材料与
机构结构类型综合及计算机自动生成
应用双水相萃取技术提取甘草有效成
多孔型乳胶粒子的制备及其阻尼性能
纳米铁粒子/炭材料的制备和性能研究
高聚物精密挤出机理初探（一）影响
翻袋式离心机旋转部件的应力和振动
高聚物精密挤出机理初探（二）影响
多元体系相平衡及反应的研究
聚合物导热系数的模型化研究
聚丙烯生产工艺流程模拟研究
强化裂解炉管传热研究
计算机分子模拟中并行计算的研究
低温乳液聚合丁苯橡胶装置的稳态模
管道网络拓扑模型分析计算与应用
光氯化合成ClCH₂SiCl
异构烷烃与烯烃烷基化反应杂多酸催
天然气蒸汽转化—PSA联合制氢中转化
旋转床内苯烃化催化剂表面传质特性
超临界抗溶剂过程的相平衡及应用研
染色废水处理工艺的自动控制研究
头孢呋辛钠和头孢呋辛酯制备工艺的
板框式搅拌器流场特性
分散橙SE-3GL小试合成及工艺改进
星形聚丁二烯合成及反应动力学研究
原油电脱盐脱水装置优化操作研究
芳烃抽提过程动态模拟系统的研究
带夹套搅拌槽内温度场的研究
液固两相流冲刷腐蚀数值模拟研究
膜蒸馏用膜的制备及膜渗透性能评价

离散数学论文数理逻辑论文集合论论文代数系统论文图论
版权申明：目录由用户dmjzhm**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved