“模型论”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

网站首页汉语俄语英语

字词	模型论
释义	模型论哲学卷模型论　　数理逻辑的主要分支之一。研究形式理论(即形式系统中的一组公理或公式)和它的解释——模型之间的关系。一阶逻辑的模型论是最基本、也是发展最完善的模型论,因此模型论通常即指一阶逻辑的模型论,其他逻辑的模型论统称广义的模型论。20世纪50年代初在亨金(Leon Albert Henkin, 1921—2006)、塔尔斯基和罗宾逊(Abraham Robinson,1918—1974)的工作和倡导下,模型论发展成一个独立的研究领域,60年代又有很大进展。其方法已广泛应用到数学的其他领域。出处：哲学卷 • 逻　辑　学 • 现代形式逻辑数理化力学卷模型论　　数理逻辑的主要分支之一。研究形式理论(即形式系统中的一组公理或公式)和它的解释——模型之间的关系。由于代数中一些经典的例子导致模型论中许多重要概念的产生,从这个意义上可以认为,模型论就是逻辑加上泛代数。研究构造模型的一般方法也是模型论的一个主要课题。20世纪50年代初在亨金(LeonAlbertHenkin,1921—　)、塔尔斯基和罗宾逊的工作和倡导下,模型论发展成一个独立的研究领域,60年代又有很大进展。其方法已广泛应用到数学的其他领域,特别是集合论、代数、数学分析、数论等。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	大神农架是什么意思大祥是什么意思大祭司是什么意思大禁是什么意思大禹是什么意思大禹传说是什么意思大禹治水图玉山子是什么意思大禹谟是什么意思大种植园是什么意思大科学是什么意思大科摩罗岛是什么意思大租是什么意思大秦是什么意思大秦婆罗门国是什么意思大秦寺是什么意思大秦景教流行中国碑是什么意思大秦铁路是什么意思大穷是什么意思大空位时代是什么意思大窑路窑群遗址是什么意思大窑遗址是什么意思大立菊是什么意思大端是什么意思大竹是什么意思大竹蛏是什么意思 неприкаянный 的意思 неприкосновенность 的意思 неприкосновенность的意思 неприкосновенный的意思 неприкосновенный 的意思 неприкрашенный的意思 неприкрашенный 的意思 неприкрепленный的意思 неприкрепленный 的意思 неприкрытый 的意思赌徒赌本赌棍赌气赌注赌犯赌窟赌誓赌金赌钱

修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。