形式化方法读音
形式化方法的意思
词语解释：
形式化方法英文的名称是formal methods。
引证解释
国语词典
词语翻译
网络解释
形式化方法相关词语
- 1 汉穆拉比法典
- 公元前18世纪古代巴比伦王国国王汉穆拉比颁布。因铭刻在一黑色玄武岩圆柱上，故又称《石柱法》。内容包括诉讼手续、财产权、损害赔偿、租佃关系、债权债务、婚姻家庭、继承、买卖奴隶等。是世界上保存完整的最早的一部法典。现存法国巴黎的罗浮宫博物馆。
- 2 自然辩证法
- 自然辩证法是马克思主义的自然观和自然科学观的反映。体现马克思主义哲学的世界观、认识论、方法论的统一，是马克思主义哲学的一个组成部分。F.恩格斯的《自然辩证法》(Dialectics of Nature)所开创的研究领域。自然界本身的辩证法是通过自然科学和技术的发展日益被揭示出来的，两个方面的研究密切相联，不可分割。
- 3 遗物忘形
- 遗物忘形（yí wù wàng xíng）：泯灭物我界限，指舍弃外在形式，精神进入忘我境界。出自 宋·秦观《心说》。
- 4 从规矩定方圆
- 从规矩定方圆，汉语词语，根据圆规和曲尺来确定方圆的大小形状。
- 5 弄法舞文
- 【释 义】 弄、舞：耍弄，玩弄；法：法律；文：法令条文。指玩弄文字，曲解法律条文，以达到徇私舞弊的目的。
- 6 莱茵河化学药品事故
- 顺流而下150公里内，60多万条鱼被毒死，500公里以内河岸两侧的井水不能饮用，接近河边的自来水厂封闭，啤酒厂停产。有毒物沉积在河底，将使莱茵河所以而“殒命”20年。
- 7 谈经说法
- 讲说佛经佛法。
- 8 五氧化二磷
- 五氧化二磷（phosphorus pentoxide），化学式P2O5。磷在氧气中燃烧、或者被点燃而生成。为白色无定形粉末或六方晶体。易吸湿。360℃升华。溶于水产生大量热并生成磷酸，对乙醇的反应与水相似。相对密度 2.39。熔点569℃。为酸性氧化物有腐蚀性，不可用手直接触摸或食用，也不可直接闻气味。该品属于高危化工类产品，根据《危险化学品安全管理条例》受公安部门管制
- 9 三氧化二砷
- 三氧化二砷，俗称砒霜，是一种有机化合物，化学式为As2O3，有剧毒，是最具商业价值的砷化合物。
- 10 五氧化二钒
- 五氧化二钒是一种金属氧化物，分子式为V2O5，广泛用于冶金、化工等行业，主要用于冶炼钒铁。
- 11 弹道式导弹
- 导弹的一种，由火箭发动机推送到预定高度和达到预定速度后，发动机自行关闭，导弹由于惯性作用沿弹道曲线飞向目标。远程导弹、洲际导弹大多是弹道式导弹。也叫弹道导弹。
- 12 中法黄埔条约
- 法国强加给中国的不平等条约。1844年10月在广州黄埔的法舰上签订。共三十六款。规定法国享有协定关税、五口通商、领事裁判权、片面最惠国待遇等特权，准许法国人在通商口岸建造教堂，中国有保护教堂的义务。
- 13 中承式拱桥
- 《金波涌处晓云开》是2010年10月1日复旦大学出版社出版的图书，作者是邬国平、汪涌豪。
- 14 四氧化三铁
- 四氧化三铁是一种无机物，化学式为Fe3O4，为具有磁性的黑色晶体，故又称为磁性氧化铁。