一个不错的简单实用的公式解析器，使用起来非常方便，容易上手。
标签： 简单实用 解析器
上传时间： 2016-10-05
上传用户：我们的船长
这是编译原理里面用来判断输入的东西是是否是符合数学运算公式
标签： 编译原理 输入 运算
上传时间： 2014-11-26
上传用户：fnhhs
数值分析中的简单迭代法求方程根问题（迭代公式为[1+1；x]），程序中含方程输入和根显示界面。
标签： 数值分析 迭代法 方程 迭代
上传时间： 2013-11-30
上传用户：363186
数值分析中的简单迭代法求方程根问题（迭代公式为[sqrt(x+1)]），程序中含方程输入和根显示界面。
标签： sqrt 数值分析 迭代法 方程
上传时间： 2013-12-02
上传用户：cainaifa
数值分析中的复化梯形公式求积的问题，程序中含输入/输出界面。
标签： 数值分析
上传时间： 2016-10-11
上传用户：whenfly
数值分析中的尤拉公式解初值问题问题，含输入输出界面。
标签： 数值分析 初值
上传时间： 2013-11-26
上传用户：古谷仁美
包括高斯正算公式，中央经线以及高斯反算公式
标签： 高斯 正
上传时间： 2016-10-13
上传用户：1159797854
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
标签： 逻辑 定理
上传时间： 2013-12-31
上传用户：wxhwjf
工程师枕边书。这个是工程师常用的一些公式还有一些重要的知识。很好的一本书。工学必备
标签： 工程师
上传时间： 2013-12-24
上传用户：tuilp1a
C++常用数值算法 原代码 复化辛卜生公式
标签： 数值算法 代码
上传时间： 2016-10-26
上传用户：jkhjkh1982
