Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
结构
Wikipedia 维基中文 免费百科全书
Download this dictionary
结构 (数理逻辑)
在数学学科
模型论
中,
语言
的
结构
(也叫做 '
-结构',并通常写为哥特体大写)是一个
有序对
,它的第一个成员是
论域
或
全集
(对应于可能带有定义在其上的关系和
函数
的集合,并通常写为相应于结构名字的罗马体大写),它的第二个成员是一个
释义
,就是
的一个偏函数,它完全定义在
的非逻辑符号之上,使得
的常量符号对应于
上的元素,如果有的话;
的
函数符号
对应于
上的函数,如果有的话;而
的关系符号对应于
上的关系;如果有的话。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许