首页 >
模型
✍ dations ◷ 2025-04-03 16:41:47 #模型
在数学学科模型论中,语言
L
{displaystyle {mathcal {L}}}
的结构
A
{displaystyle {mathfrak {A}}}
(也叫做 '
L
{displaystyle {mathcal {L}}}
-结构',并通常写为哥特体大写)是一个有序对,它的第一个成员是论域或全集
A
{displaystyle {mathit {A}} }
(对应于可能带有定义在其上的关系和函数的集合,并通常写为相应于结构名字的罗马体大写),它的第二个成员是一个释义
I
{displaystyle {mathcal {I}}}
,就是
L
{displaystyle {mathcal {L}}}
的一个偏函数,它完全定义在
L
{displaystyle {mathcal {L}}}
的非逻辑符号之上,使得
L
{displaystyle {mathcal {L}}}
的常量符号对应于
A
{displaystyle {mathit {A}} }
上的元素,如果有的话;
L
{displaystyle {mathcal {L}}}
的函数符号对应于
A
{displaystyle {mathit {A}} }
上的函数,如果有的话;而
L
{displaystyle {mathcal {L}}}
的关系符号对应于
A
{displaystyle {mathit {A}} }
上的关系;如果有的话。在模型论中使用的术语模型,本质上是"结构"的同义词,但是意图用在不同的上下文中。典型的,术语"模型"在头脑中有一个特定理论的时候使用,并且只考虑为这个理论的模型,—就是说满足在这个理论中所有句子的结构。在另一方面,"结构"意图在缺乏对这种结构的行为的所知或规定的时候使用。
相关
- 声门声门(glottis)是两瓣声带之间的开口。在言语发生中,以声带的振动作为声音源的音称为浊音。声门是肺部压出的空气通过声带的出口。发生过程中牵涉到声门的音素称为声门音。声门
- 乙型肝炎病毒乙型肝炎病毒(英语:Hepatitis B virus)简称乙肝病毒(HBV)。是一种DNA病毒,属于嗜肝DNA病毒科(hepadnavividae)。根据目前所知,HBV就只对人和猩猩有易感性,引发乙型病毒性肝炎疾病。完
- 帕尼培南帕尼培南(其国际非专利药品名称为“Panipenem”)是一种碳青霉烯类抗生素。为进一步提高安全性,该抗生素与有机离子运送抑制剂倍他米隆以1∶1的比例合成为复合制剂(帕尼培南-倍他
- 抗菌药之时间表以下为抗菌药开始发售之时间,并不是发明年份。
- 碳水化合物糖类(Carbohydrate)又称碳水化合物,是多羟基醛或多羟基酮及其缩聚物和某些衍生物的总称,一般由碳、氢与氧三种元素所组成,广布于自然界。糖类的另一个名称为“碳水化合物”,其由来
- 最小抑菌浓度最小抑菌浓度(英文:minimum inhibitory concentration:MIC)是指经过一夜的培养后,能使细菌的发育受到阻滞并被观察到的抗细菌药的最小浓度。MIC在诊断实验室里是抗细菌药对细菌
- 复层噬菌体科复层噬菌体属 Tectivirus复层噬菌体科(Tectiviridae),也译作复层病毒科,tecti来自拉丁文的tectus,有有盖的之意。主要宿主为细菌。代表种:
- 外阴念珠菌性阴道炎(英语:Candidal vulvovaginitis),是一种常见的、由白色念珠菌引起的阴道炎症。念珠菌还可寄生在人的口腔、皮肤、阴道等,并可自身互相传染。念珠菌阴道炎的病原体
- 静脉曲张静脉曲张(英语:Varicose veins)是不正常扩张的静脉。它的英文是源自拉丁文varix。静脉曲张的类型包括:患有下肢静脉曲张者的小腿静脉会明显凸出,甚至出现不雅观的膨胀和扭曲。静
- 第三人称人称是与语言中的行为动作相关的话语角色。“妈妈喂宝宝吃饭”和“我喂你吃饭”,意思可能相同,但前者是用有词汇意义的名词来表示与“喂”相关的人的具体身份,后者才是用功能性