形式化方法
xíng shì huà fāng fǎ
形式化方法的意思
词语解释
形式化方法
◎把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
国语辞典
形式化方法
◎把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
网络解释
形式化方法 (汉语词语)
把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
字义分解
形
拼音 xíng 部首 彡 总笔画 7形 [ xíng ] 1. 形 2. 同本义 3. 形,象形也。--《说文》 4. 物成生理谓之形。--《庄子·天地》 5. 雷雨之动满形。--《易·屯》 6. 在天成象,在地成形。--《礼记·乐记》 7. 形色天性也。--《孟子》 8. 形者,生之具也。--《史记·太史公自序》 9. 良马可形容筋骨相也。--《列子·说符》 10. 形似酒尊。--《后汉书·张衡传》 11. 鸟兽之形。 12. 形若土狗。--《聊斋志异·促织》 13. 因势象形。--明·魏学洢《核舟记》 14. 又如形物(有形之物);条形;线形;方形;圆形;球形;梯形;三角形;正方形;多角形;多边形;口形;体形 15. 形体,实体 16. 可以隐形。--三 17. 形xíng 18. ⒈样子~状。方~。地~。 19. ⒉体,实体~体。~影相随。又指容色,容貌面~。 20. ⒊表现,表露喜~于色。 21. ⒋对照,对比相~见绌。 22. ⒌ 23. ⒍ 24. ①形状和神态~态生动。 25. ②事物在一定条件下的表现形式物质~态。 26. ⒎ 27. ①事物的状态、结构~式优美。 28. ②只图表面,不顾实际、效果流于~式。 29. ⒏ 30. ①地势。 31. ②事物发展的状况和趋势国内外~势。 32. ⒐ 33. ①形体容貌。 34. ②对事物的描述难以~容。 35. ⒑ [更多解释]
式
拼音 shì 部首 弋 总笔画 6式 [ shì ] 1. 式 2. (形声。从工,弋声。工有矩”的意思。本义法度;规矩) 3. 同本义 4. 式,法也。--《说文》 5. 式,法也。--《周书·谥法》 6. 下士之式。--《诗·大雅·下武》。传法也。” 7. 三曰筮式。--《周礼·簀人》。注谓筮制作法式也。” 8. 掌妇式之法。--《周礼·典妇功》 9. 九式。--《周礼·太宰》。注谓用财之节度。” 10. 又如式度(规制,法式);式则(法则;规范) 11. 榜样;楷模 12. 世世享德,百邦作式。--《书·微子之命》 13. 孝敬之准式。--箫统《文选序》 14. 式箕之门。╠ 15. 式shì 16. ⒈样子,外表中~。新~。形~。 17. ⒉规格,标准,楷模格~。程~。楷~。模~。 18. ⒊仪礼,典礼开幕~。阅兵~。 19. ⒋自然科学中表明某些规律的一组符号公~。方程~。分子~。 20. ⒌文言助词(无义)~微~微,胡不归(微衰微→何)? 21. 式tè 1.恶。 [更多解释]
化
拼音 huà 部首 亻 总笔画 4化 [ huà ] 1. 化〈动〉 2. (古字为匕”。会意。甲骨文,从二人,象二人相倒背之形,一正一反,以示变化。本义变化,改变) 3. 同本义 4. 匕,变也。--《说文》。徐灏曰匕化古今字。” 5. 知变化之道。--《易·系辞传》。虞注在阳称变,在阴称化,四时变化。”荀注春夏为变,秋冬为化,坤化为物。” 6. 和故百物化焉。--《礼记·乐记》 7. 若欲其化也。--《周礼·柞氏》。注犹生也。” 8. 状态而实无别而为异者谓之化。--《荀子·正名》。注化者改旧形之名。” 9. 胜败若化。--《国语·晋语》。注言转化无常也。” 10. 因时而化。--《吕氏 11. 化huà 12. ⒈改变大变~。感~人。蛹~为蛾。~为乌有。顽固不~。 13. ⒉融解雪~了。 14. ⒊消除,消食~痰清热。~食消积。 15. ⒋大自然的功能造~。 16. ⒌僧、道祈求布施~缘的。去~斋。 17. ⒍烧火~。 18. ⒎习俗,风气风~(也指物体被风腐蚀)。 19. ⒏放于名词或形容词后,〈表〉变成或使成为某种性质或状态绿~。革命~。科学~。现代~。工业~。 20. ⒐《化学》的简称数理~。 21. ⒑ 22. ⒒ 23. ⒓ 24. ⒔也作"花"。用掉,耗费~时间。莫乱~钱。 25. 化huā 1.用掉;消耗。 2.见"化子"。 3.见"化化"。 26. 化é 1.见"化言"。 [更多解释]
方
拼音 fāng 部首 方 总笔画 4方 [ fāng ] 1. 方〈动〉 2. (象形。下从舟省,而上有竝头之象。故知并船为本义。本义并行的两船;泛指并列;并行) 3. 同本义 4. 方,併船也。象两舟总头形。--《说文》 5. 大夫方舟。--《尔雅》。李注竝两船曰方舟。” 6. 方舟而济于河。--《庄子·山木》 7. 不足方。--《仪礼·乡射礼》。注犹併也。” 8. 方舟设泭。--《国语·齐语》 9. 江之永矣,不可方思。--《诗·周南·汉广》 10. 操军方连战舰,首尾相接。--《资治通鉴》 11. 蜀汉之粟,方船而下。--《史记·郦食其列传》 12. 又如方轨(两车并排行驶);方轩(并排的窗户) 13. 等同;相当 14. 方 fāng 15. ⒈四角都是直角的四边形或每个面都是直角四边形的六面体正~形。长~形。立~体。 16. ⒉正直~正。志行忠~(志行志向和行为)。 17. ⒊位置,地位上~。西北~。 18. ⒋一边或一面后~。静观对~。志在四~。〈引〉一个区域或地带地~。~言。~内安宁。 19. ⒌法子,办法~法。教子有~。〈引〉处方,药方开个~子。按~拣药。 20. ⒍副词。正,正在,正当~兴未艾。来日~长。 21. ⒎副词。刚,才~才到达。事后~知。 22. ⒏ 23. 【方针】引导事业前进的指针。 24. ⒐ 25. 【方略】计划和策略。 26. ⒑ 27. 【方案】具体规划,实施办法或规定。 28. ⒒ 29. 【方向】 30. ①东西南北等区域的划分。 31. ②目标做事要看清~向。 32. ⒓一个数目的自乘平~(本数乘本数)。立~(本数乘本数乘本数)。 33. ⒔量词。 34. ①计量面积一~(一平方米)地板。 35. ②计量体积一~(立方米)木材。五~沙子。 36. ③计算方形的东西两~砚台。 37. ⒕ 38. 【方寸】一寸见方。〈喻〉人的心~寸乱矣。 39. ⒖ 40. 【方圆】周围~圆十里茂竹林。 41. ⒗ 42. 【方式】讲话、做事所采用的方法和形式生活~式。讲究~式方法。 43. ⒘ 44. 【方程】含有未知数的等式。 45. 方fáng 1.通"房"。谷物初生尚未结实之谓。 2.通"防"。防御。 46. 方páng 1.通"旁"。广大;广博。 2.指遍及。 3.见"方羊"。 4.见"方皇"。 47. 方wǎng 1.见"方良"。 48. 方fēng 1.响度级单位。用方表示的声音的响度级,数值上等于根据人耳判断为等响的1000赫纯音的声压级的分贝数。 [更多解释]
法
拼音 fǎ 部首 氵 总笔画 8法 [ fǎ ] 1. 法 2. (会意。从水”,表示法律、法度公平如水;从廳”,即解廳,神话传说中的一种神兽,据说,它能辨别曲直,在审理案件时,它能用角去触理曲的人。基本义刑法;法律;法度) 3. 同基本义 4. 灋,刑也。平之如水。从水,廳所以触不直者去之,从去,会意。--《说文》 5. 利用刑人,以正法也。--《易·蒙》 6. 惟作五虐之刑曰法。--《书·吕刑》 7. 法者,刑罚也。所以禁强暴也。--《盐铁论·诏圣》 8. 杀戮禁诛谓之法。--《管子·心术》 9. 礼者禁于将然之前,而法者禁于已然之后。--《大戴礼记》 10. 失期 11. 法 fǎ 12. ⒈由国家机关制定或认可,颁布后强制执行的规则~令。~律。宪~。民~。刑~。犯~∠~。 13. ⒉规律~则。 14. ⒊处理事物的手段方~。办~儿。乘~。疗~。想个~子。 15. ⒋标准,仿效,可仿效的~帖。~书。效~。便国不必~古。 16. ⒌佛教的教义佛~。 17. ⒍封建迷信的骗人把戏~术。作~。 18. ⒎ 19. 【法宝】 20. ①佛教用语。指佛说法,也指僧尼的衣钵、锡杖等。 21. ②宗教或神魔、童话小说中所谓的法力、宝物等。〈喻〉特别有效的思想、事物、方法等统一战线、武装斗争、党的建设,是中国革命的三大~宝。 22. ⒏ 23. 【法院】行使审判权的国家机关。 24. ⒐ 25. 【法家】 26. ①对书法家、画家的尊称。 27. ②春秋战国时期主张"法治"的一个学派,以商鞅、韩非等为代表。 [更多解释]
