说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 形式证明
1)  Formal proof
形式证明
2)  Formal logics
形式化证明
3)  informal proof
非形式证明
4)  formal verification
形式验证<证明>
5)  automated formal proving
形式自动证明
1.
An automated formal proving platform based on dynamicterm rewriting calculus and its application;
基于DTRC的形式自动证明平台及其应用
6)  formal proof method
形式化证明方法
补充资料:内部形式与外部形式
      标示形式自身相互区别的一对哲学范畴,即表现事物内容的两种不同的方式。内部形式是内容的内在组织结构,内容诸要素间的本质联系;外部形式是内容的外在的非本质的联系方式,是使不同内容的事物相互区别的外部形态、外部表现。内部形式和内容不可分割,和内容一起表现着事物的本质方面,其发展变化直接影响着内容的发展变化。它包含在内容自身之中,在一定意义上是内容的组成部分、因素和环节,和内容是直接统一的。外部形式同事物的现象相联系,是内容的外观,它以外在的表现形式对内容发生影响。外部形式同内容的联系不具有内部形式那样的内在性、直接性,它和内容不是直接统一的。
  
  内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性,形象联系的合理性、协调性和完整性等,直接表现着文学艺术作品的思想主题,它们是和文学艺术内容直接统一的内部形式。在此意义上,内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料,通过文学艺术思想的物化形态表现出来,以供观赏。物质材料等文学艺术思想的物化形态,构成文学艺术的外部形式。对于文学艺术来说,其外部形式具有重要的作用。事物的外部形式具有不同的层次,其中,有些同事物的内容存在着一定联系,有些则同事物的内容并不直接相关。
  
  唯物辩证法首先重视事物的内部形式,认为内部形式和内容一起共同表现着事物的本质,它对于理解和把握事物的发展具有重要意义。与此同时,也注意事物的外部形式,认为它是影响事物发展的一个因素。
  

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条