长江大学学报（自然版）理工上旬刊
長江大學學報（自然版）理工上旬刊
장강대학학보（자연판）리공상순간
Journal of Yangtze University(Natural Science Edition)
2013年
8期
17-18
,共2页
模型论方法%和谐理论%Lindenbaum定理%极大线性无关组
模型論方法%和諧理論%Lindenbaum定理%極大線性無關組
모형론방법%화해이론%Lindenbaum정리%겁대선성무관조
模型论研究形式语言及其解释(模型)之间的关系,是形武语言的语法和语义的关系的理论.模型论的主要方法是构造模型.用新的模型论方法得到了几个相关结论,并且利用得到的结论证明了模型论中的Lindenbaum定理和高等代数中向量组极大线性无关组可以由任何一个线性无关组扩充的结论.
模型論研究形式語言及其解釋(模型)之間的關繫,是形武語言的語法和語義的關繫的理論.模型論的主要方法是構造模型.用新的模型論方法得到瞭幾箇相關結論,併且利用得到的結論證明瞭模型論中的Lindenbaum定理和高等代數中嚮量組極大線性無關組可以由任何一箇線性無關組擴充的結論.
모형론연구형식어언급기해석(모형)지간적관계,시형무어언적어법화어의적관계적이론.모형론적주요방법시구조모형.용신적모형론방법득도료궤개상관결론,병차이용득도적결론증명료모형론중적Lindenbaum정리화고등대수중향량조겁대선성무관조가이유임하일개선성무관조확충적결론.
