形式化方法的意思,形式化方法的解释

词语	形式化方法
详细解释	把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。
反义词
同义词
"形"开头的词语	形踪 ：1.犹踪迹。 形质 ：1.肉体﹐躯壳。 2.外形﹐外表。 3.才具﹐气质。 4.犹形制。 5.指形式。 形制 ：1.谓以有利的地理形势来制驭天下。 2.形状;款式。 3.指文学作品的形式﹑体裁。 形只影单 ：1.同"形单影只"。 形植 ：1.犹言骨立。形容身躯瘦瘠。 形证 ：1.征兆。 形兆 ：1.征兆;形迹。 2.指具有种种表象的物质世界。 形则 ：1.犹言客气﹑拘泥。 形载 ：1.谓承载万物。 形援 ：1.指军事布局上的声援﹑呼应。
"法"结尾的词语	作法 ：1.谓创制法律﹑典章等。 2.施展法术。 3.指弄手段。 4.做样子。谓惩治以警其余。 5.作文或作画的方法。 6.做法。 7.指行为表现的方式。 族法 ：1.宗族或家族的法规。 纵法 ：1.犹枉法。 辠法 ：1.刑诛之法。 罪法 ：1.罪罚。 中华人民共和国义务教育法 ：1986年4月12日第六届全国人民代表大会第四次会议通过，同日公布，自7月1日起施行。共十八条。规定义务教育的性质、入学年龄、学制、教育方针、实施步骤、经费、办学条件、师资等。 中华人民共和国刑事诉讼法 ：1979年7月1日第五届全国人民代表大会第二次会议通过，7日公布，自1980年1月1日起施行。共四编十七章一百六十四条。1996年3月17日第八届全国人民代表大会第四次会议作了修订，自1997年1月1日起施行。设四编十七章和附则，计二百二十五条。第一编总则，规定任务和基本原则、管辖、回避、辩护与代理、证据、强制措施、附带民事诉讼、期间、送达等；第二编规定立案、侦查和提起公诉；第三编规定审判；第四编规定执行。 中华人民共和国刑法 ：1979年7月1日第五届全国人民代表大会第二次会议通过，6日公布，自1980年1月1日起施行。共二编十三章一百九十二条。1997年3月14日第八届全国人民代表大会第五次会议修订，自1997年10月1日起施行。共二编十五章和附则，四百五十二条。第一编总则，规定刑法的任务、基本原则和适用范围，犯罪，刑罚，刑罚的具体运用等；第二编分则，规定桅国家安全罪，桅公共安全罪，破坏社会主义市场经济秩序罪，侵犯公民人身权利、民主权利罪，侵犯财产罪，妨害社会管理秩序罪，桅国防利益罪，贪污贿赂罪，渎职罪，军人违反职责罪。 中华人民共和国宪法 ：我国的根本法。从1954年至1982年，我国共颁布了四部宪法。现行宪法由第五届全国人民代表大会第五次会议于1982年12月4日通过，有序言和四章一百三十八条。宪法把四项基本原则作为总的指导思想，规定国家的根本任务是进行社会主义现代化建设，要发展社会主义民主，健全社会主义法制；要求所有公民和社会组织都以宪法作为根本的活动准则，承担维护宪法尊严、保证宪法实施的责任。1988年和1993年全国人大又分别对1982年宪法作了两次修正。 中华人民共和国未成年人保护法 ：1991年9月4日第七届全国人民代表大会常务委员会第二十一次会议通过，同日公布，自1992年1月1日起施行。共七章五十六条。规定国家保障未成年人的人身、财产和其他合法权益不受侵犯；对未成年人有家庭保护、学校保护、社会保护、司法保护。
"形"开头的成语	形诸笔墨 ：形描写；诸之于”的合音。用笔墨把它写出来。 形只影单 ：形容孤单。 形影自守 ：指孤身独处。 形影自吊 ：形容无依无靠，非常孤单。同形影相吊”。 形影相依 ：①指在孤寂的处境中相依相伴。②形容孤单无依。③互相依靠，紧密相连。 形影相随 ：象形体和它的影子那样分不开。形容彼此关系亲密，经常在一起。 形影相附 ：在孤寂的处境中相依相伴。同形影相依”。 形影相对 ：形容无依无靠，非常孤单。同形影相吊”。 形影相吊 ：吊慰问。孤身一人，只有和自己的身影相互慰问。形容无依无靠，非常孤单。 形影不离 ：象形体和它的影子那样分不开。形容彼此关系亲密，经常在一起。
"法"结尾的成语	祖宗家法 ：封建时代祖先制定的家族法规。 祖宗成法 ：指先代帝王所制定而为后世沿袭应用的法则。 知法犯法 ：知道法律，又违反法律。指明知故犯。 正身明法 ：端正自身，严明法纪。 以文乱法 ：文指儒家的经典。引用儒家的经典，非议国家法令。 以身试法 ：身亲身，亲自；试尝试。试着亲身去做触犯法律的事。指明知故犯。 严刑峻法 ：峻严酷。严厉的刑吠严峻的法令。 徇私枉法 ：迁就私情而违反法纪。 徇情枉法 ：徇曲从；枉使歪曲。曲从私情，歪曲和破坏法律，胡乱断案。 小廉大法 ：旧时指大臣尽忠，小臣尽职。
释意：	形 ：形 同本义 形,象形也。--《说文》 物成生理谓之形。--《庄子·天地》 雷雨之动满形。--《易·屯》 在天成象,在地成形。--《礼记·乐记》 形色天性也。--《孟子》 形者,生之具也。--《史记·太史公自序》 良马可形容筋骨相也。--《列子·说符》 形似酒尊。--《后汉书·张衡传》 鸟兽之形。 形若土狗。--《聊斋志异·促织》 因势象形。--明·魏学洢《核舟记》 又如形物(有形之物);条形;线形;方形;圆形;球形;梯形;三角形;正方形;多角形;多边形;口形;体形 形体,实体 可以隐形。--三 形xíng ⒈样子～状。方～。地～。 ⒉体，实体～体。～影相随。又指容色，容貌面～。 ⒊表现，表露喜～于色。 ⒋对照，对比相～见绌。 ⒌ ⒍ ①形状和神态～态生动。 ②事物在一定条件下的表现形式物质～态。 ⒎ ①事物的状态、结构～式优美。 ②只图表面，不顾实际、效果流于～式。 ⒏ ①地势。 ②事物发展的状况和趋势国内外～势。 ⒐ ①形体容貌。 ②对事物的描述难以～容。 ⒑ 式 ：式 (形声。从工,弋声。工有矩”的意思。本义法度;规矩) 同本义 式,法也。--《说文》 式,法也。--《周书·谥法》 下士之式。--《诗·大雅·下武》。传法也。” 三曰筮式。--《周礼·簀人》。注谓筮制作法式也。” 掌妇式之法。--《周礼·典妇功》 九式。--《周礼·太宰》。注谓用财之节度。” 又如式度(规制,法式);式则(法则;规范) 榜样;楷模 世世享德,百邦作式。--《书·微子之命》 孝敬之准式。--箫统《文选序》 式箕之门。╠ 式shì ⒈样子，外表中～。新～。形～。 ⒉规格，标准，楷模格～。程～。楷～。模～。 ⒊仪礼，典礼开幕～。阅兵～。 ⒋自然科学中表明某些规律的一组符号公～。方程～。分子～。 ⒌文言助词（无义）～微～微，胡不归（微衰微→何）？ 式tè 1.恶。 化 ：化〈动〉 (古字为匕”。会意。甲骨文,从二人,象二人相倒背之形,一正一反,以示变化。本义变化,改变) 同本义 匕,变也。--《说文》。徐灏曰匕化古今字。” 知变化之道。--《易·系辞传》。虞注在阳称变,在阴称化,四时变化。”荀注春夏为变,秋冬为化,坤化为物。” 和故百物化焉。--《礼记·乐记》 若欲其化也。--《周礼·柞氏》。注犹生也。” 状态而实无别而为异者谓之化。--《荀子·正名》。注化者改旧形之名。” 胜败若化。--《国语·晋语》。注言转化无常也。” 因时而化。--《吕氏 化huà ⒈改变大变～。感～人。蛹～为蛾。～为乌有。顽固不～。 ⒉融解雪～了。 ⒊消除，消食～痰清热。～食消积。 ⒋大自然的功能造～。 ⒌僧、道祈求布施～缘的。去～斋。 ⒍烧火～。 ⒎习俗，风气风～（也指物体被风腐蚀）。 ⒏放于名词或形容词后，〈表〉变成或使成为某种性质或状态绿～。革命～。科学～。现代～。工业～。 ⒐《化学》的简称数理～。 ⒑ ⒒ ⒓ ⒔也作"花"。用掉，耗费～时间。莫乱～钱。 化huā 1.用掉;消耗。 2.见"化子"。 3.见"化化"。 化é 1.见"化言"。 方 ：方〈动〉 (象形。下从舟省,而上有竝头之象。故知并船为本义。本义并行的两船;泛指并列;并行) 同本义 方,併船也。象两舟总头形。--《说文》 大夫方舟。--《尔雅》。李注竝两船曰方舟。” 方舟而济于河。--《庄子·山木》 不足方。--《仪礼·乡射礼》。注犹併也。” 方舟设泭。--《国语·齐语》 江之永矣,不可方思。--《诗·周南·汉广》 操军方连战舰,首尾相接。--《资治通鉴》 蜀汉之粟,方船而下。--《史记·郦食其列传》 又如方轨(两车并排行驶);方轩(并排的窗户) 等同;相当 方 fāng ⒈四角都是直角的四边形或每个面都是直角四边形的六面体正～形。长～形。立～体。 ⒉正直～正。志行忠～（志行志向和行为）。 ⒊位置，地位上～。西北～。 ⒋一边或一面后～。静观对～。志在四～。〈引〉一个区域或地带地～。～言。～内安宁。 ⒌法子，办法～法。教子有～。〈引〉处方，药方开个～子。按～拣药。 ⒍副词。正，正在，正当～兴未艾。来日～长。 ⒎副词。刚，才～才到达。事后～知。 ⒏ 【方针】引导事业前进的指针。 ⒐ 【方略】计划和策略。 ⒑ 【方案】具体规划，实施办法或规定。 ⒒ 【方向】 ①东西南北等区域的划分。 ②目标做事要看清～向。 ⒓一个数目的自乘平～（本数乘本数）。立～（本数乘本数乘本数）。 ⒔量词。 ①计量面积一～（一平方米）地板。 ②计量体积一～（立方米）木材。五～沙子。 ③计算方形的东西两～砚台。 ⒕ 【方寸】一寸见方。〈喻〉人的心～寸乱矣。 ⒖ 【方圆】周围～圆十里茂竹林。 ⒗ 【方式】讲话、做事所采用的方法和形式生活～式。讲究～式方法。 ⒘ 【方程】含有未知数的等式。 方fáng 1.通"房"。谷物初生尚未结实之谓。 2.通"防"。防御。 方páng 1.通"旁"。广大;广博。 2.指遍及。 3.见"方羊"。 4.见"方皇"。 方wǎng 1.见"方良"。 方fēng 1.响度级单位。用方表示的声音的响度级，数值上等于根据人耳判断为等响的1000赫纯音的声压级的分贝数。 法 ：法 (会意。从水”,表示法律、法度公平如水;从廳”,即解廳,神话传说中的一种神兽,据说,它能辨别曲直,在审理案件时,它能用角去触理曲的人。基本义刑法;法律;法度) 同基本义 灋,刑也。平之如水。从水,廳所以触不直者去之,从去,会意。--《说文》 利用刑人,以正法也。--《易·蒙》 惟作五虐之刑曰法。--《书·吕刑》 法者,刑罚也。所以禁强暴也。--《盐铁论·诏圣》 杀戮禁诛谓之法。--《管子·心术》 礼者禁于将然之前,而法者禁于已然之后。--《大戴礼记》 失期 法 fǎ ⒈由国家机关制定或认可，颁布后强制执行的规则～令。～律。宪～。民～。刑～。犯～∠～。 ⒉规律～则。 ⒊处理事物的手段方～。办～儿。乘～。疗～。想个～子。 ⒋标准，仿效，可仿效的～帖。～书。效～。便国不必～古。 ⒌佛教的教义佛～。 ⒍封建迷信的骗人把戏～术。作～。 ⒎ 【法宝】 ①佛教用语。指佛说法，也指僧尼的衣钵、锡杖等。 ②宗教或神魔、童话小说中所谓的法力、宝物等。〈喻〉特别有效的思想、事物、方法等统一战线、武装斗争、党的建设，是中国革命的三大～宝。 ⒏ 【法院】行使审判权的国家机关。 ⒐ 【法家】 ①对书法家、画家的尊称。 ②春秋战国时期主张"法治"的一个学派，以商鞅、韩非等为代表。