数理公式终结(jié)者,一(yī)个(gè)由袁铭钧(jun1)开发的能(néng)用公式帮助你计算各(gè)种数学(xué)、物理(lǐ)题目(mù)的软件,本次更新(xīn)完善了数学(xué)公(gōng)式部分,使数学部分的所有项都能使(shǐ)用(yòng)了,修复了几个bug,使(shǐ)软件运(yùn)行中更加(jiā)稳定。
数理(lǐ)公式终结者专为满足学生、科(kē)研(yán)工(gōng)作者的日(rì)常(cháng)学(xué)习(xí)工作需(xū)求而(ér)设计。本软件支持变量公式计算、表达式计算等一系(xì)列专业而使用的计(jì)算功(gōng)能,算式支(zhī)持汉字(zì)、函数、变量等复杂符号,软件独创用模糊技术自动判断语句含义,是一款值得下载的计算器软件。
还指(zhǐ)出变量公式计算(suàn)、数值计算(suàn)、表达式计(jì)算、复杂的公式计(jì)算、角(jiǎo)度变换、进制(zhì)换算、数理统计、计算面(miàn)体产(chǎn)状、计(jì)算点的距离方位等功(gōng)能。
算式可以使用汉字、函数、变(biàn)量、公式等复杂的符号,软(ruǎn)件采用模糊技术将自动判断语(yǔ)句的意义,转换(huàn)各项(xiàng)符号,完成各项计算。
可(kě)在三套坐标(biāo)系(xì)内进(jìn)行经纬度与(yǔ)公里(lǐ)网坐标的相互转换;可(kě)在北京(jīng)54坐(zuò)标(biāo)系、西安80坐(zuò)标系、WGS84(国家2000)坐标系间进行坐标转(zhuǎn)换;可对跨两个分带的(de)坐标点进行跨带坐标转换;可对(duì)六(liù)度(dù)带(dài)、三度(dù)带、一点五度带的坐标点进行相互转换。
公式,在自然科(kē)学中用数学符号表示几个量之间关系的式子(zǐ)。具(jù)有普(pǔ)遍性(xìng),适(shì)合于(yú)同类关系的所有问题(tí)。在数理逻辑中,公式是表达命(mìng)题的形式语(yǔ)法对象(xiàng),除了这个命题可能依赖于这个公式的自由变量的值之外。公(gōng)式精确定义依赖于涉及到(dào)的特定的形式逻(luó)辑,但有如(rú)下(xià)一个非常典(diǎn)型的定义(特定于一阶逻辑(jí)):公式是相(xiàng)对于特定语言(yán)而定义的;就是说,一组常量符号、函(hán)数符号和关系符号(hào),这(zhè)里的每个函数和关系符号都带有(yǒu)一个(gè)元(yuán)数(shù)(arity)来指(zhǐ)示它所接受的参数的数(shù)目。
