神经网络计算理论 逻辑分析和时间表示 【工业技术】

国家自然科学基金、国家重点基础研究发展规划、863国家高技术计划资助项目:本书对神经网络进行一般性的逻辑分析，并对神经网络的稳定性作了定性分析；讨论了神经推理和神经网络表示逻辑的特点，展示神经推理在具...

行政复议法、行政处罚法释疑与诉讼策略及文书标准格式 【政治法律】

数理逻辑与集合论 【数理化】

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

韶山4改进型电力机车乘务员 【交通运输】

行政改革的新探索 中国行政管理学会’99年会论文集 【政治法律】

行政执法与行政审判参考 2000年 第1辑 总第1辑 【政治法律】

寻求行政诉讼制度发展的良性循环 行政诉讼法司法解释释评 【政治法律】

非经典数理逻辑与近似推理 【数理化】

本书大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发，建立了积分语义学...

中华人民共和国建设部 职业技能岗位标准 职业技能岗位鉴定规范 职业技能岗位鉴定试题库 盆景工 【农业科学】