非数值应用 [ fēi shù zhí yìng yòng ]
处理对象是非数值数据(如文字、图像、声音等)的计算机应用领域。如模式识别、情报检索、人工智能、数学定理证明、语言翻译…
筹算 [ chóu suàn ]
利用算筹(竹制的,长约10厘米,宽不到1厘米)的不同排列进行的计算。公元前4世纪《墨经》上记载,筹算已经用十进制记数…
证据 [ zhèng jù ]
(一)、能够证明某事物的真实性的有关事实或材料。(二)、由法院审查确定的能够证明案件真实情况的一切事实。分民事诉讼证…
誓证 [ shì zhèng ]
发誓作证。 明 海瑞 《吴吉祥人命参语》:“ 拱翠 应对官府,众人随声和同,復讎有机,故对众誓证。”英文翻译1.【法…
提供侵入 [ tí gōng qīn rù ]
提供专门用于侵入、非法控制计算机信息系统的程序、工具,或者明知他人实施侵入、非法控制计算机信息系统的违法犯罪行为而为…
历算 [ lì suàn ]
犹历法。《旧唐书·李淳风传》:“ 淳风 幼俊爽,博涉羣书,尤明天文、历算、阴阳之学。” 宋 程大昌 《考古编·正朔六…
三支比量 [ sān zhī bǐ liáng ]
古印度因明学的推理方法。因明法之宗、因、喻称三支。以因、喻论证宗,称比量。整个论证过程称三支比量。章炳麟《国故论衡·…
深证指数 [ shēn zhèng zhǐ shù ]
深证指数是指由深圳证券交易所编制的股价指数,该股票指数的计算方法基本与上证指数相同,其样本为所有在深圳证券交易所挂牌…
说明 [ shuō míng ]
(一)、解释明白:说明原因。说明问题。(二)、解释意义的话:图片下边附有说明。(三)、证明:事实充分说明这种做法是正…
高度盖然性 [ gāo dù gài rán xìng ]
盖然性,《现代汉语词典》中的解释是:有可能但又不是必然的性质。高度盖然性,即根据事物发展的高度概率进行判断的一种认识…
明算 [ míng suàn ]
唐 代科举取士的科目名称。主要考试关于算学的知识。参见“明法”。
耐普尔 [ nài pǔ ěr ]
(johnnapier,1550-1617)一译“纳皮尔”。英国数学家。圣安德鲁斯大学肄业。1614年著《奇妙的对数…
哲学笔记 [ zhé xué bǐ jì ]
列宁1895-1916年的笔记。共四十六篇。对马克思主义辩证法体系的主要原则和内容,提出一系列创造性的见解。第一次明…
期货结算机构 [ qī huò jié suàn jī gòu ]
期货结算机构,顾名思义即是负责期货结算的机构。成立专门的期货结算机构由于日趋增加的交易而引起的复杂结算需求,以及提供…
承认书 [ chéng rèn shū ]
认书就是一种承诺的书面凭证,是指在不违背法律法规为前提的条件下,一方对另一方或多方、多方对另一方或多方作出的承诺,并…
如此这般 [ rú cǐ zhè bān ]
虚指没有详细说明或不要求详细说明的某种事物使他竭尽全力来证明如此这般是对这些事实的正确看法
程大位 [ chéng dà wèi ]
(1533-1606)明代数学家。字汝思,号宾渠,休宁(今属安徽)人。1592年写成《直指算法统宗》十七卷,详尽介绍…
婚前财产公证 [ hūn qián cái chǎn gōng zhèng ]
婚前财产公证,是婚前财产约定协议公证的简称,指公证机关对将要结婚的男女双方就各自婚前财产和债务的范围、权利的归属问题…
归谬法 [ guī miù fǎ ]
一种反驳方法。先假定被反驳的观点是正确的,再从它推出明显荒谬的结论,从而证明它是错误的。
票盐 [ piào yán ]
明 清 部分地区实行票法时,商贩缴纳盐税后凭政府发给的凭证运销的食盐。
自诉 [ zì sù ]
被害人及其法定代理人或近亲属为追究被告人的刑事责任,直接向人民法院提起的诉讼。自诉案件包括:(1)告诉才处理的案件,…
演示 [ yǎn shì ]
有实例或实际操作显示或证明指工艺方法或工艺程序的展示用样品、实例等对制造方法的展示
程序设计 [ chéng xù shè jì ]
编制能在计算机上运行的程序的过程。一般包括问题定义、确定算法、框图设计、编写程序、调试查错、编写使用与维护说明书等阶…
步岁 [ bù suì ]
推算一年的时间。宋 沉括《梦溪笔谈·象数一》:“历法步岁之法,以冬至斗建所抵,至明年冬至所得辰、刻、衰、秒,谓之斗分…
所有权状 [ suǒ yǒu quán zhuàng ]
在法令限制范围内,对于土地、房屋等不动产所拥有支配权利的书面证明文件。