首页 >
模型
✍ dations ◷ 2024-12-22 20:07:38 #模型
在数学学科模型论中,语言
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}} }
上的关系;如果有的话。在模型论中使用的术语模型,本质上是"结构"的同义词,但是意图用在不同的上下文中。典型的,术语"模型"在头脑中有一个特定理论的时候使用,并且只考虑为这个理论的模型,—就是说满足在这个理论中所有句子的结构。在另一方面,"结构"意图在缺乏对这种结构的行为的所知或规定的时候使用。
相关
- 石棉肺石绵沉滞症也称为石绵肺,是一种石绵纤维造成肺长期发炎及纤维化留疤(英语:Pulmonary fibrosis)的病症,症状有呼吸困难、咳嗽、喘鸣和胸痛,可能带来的并发症有肺癌、间皮瘤和肺性心
- 扁桃腺炎扁桃体炎(Tonsillitis),或称扁桃腺炎,通常会快速发病。扁桃体炎属于咽炎的一种。其症状包括咽喉痛、发烧、扁桃腺肿大、吞咽困难、颈部的淋巴结肿大(英语:Lymphadenopathy)。并发症
- 免疫学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学免疫学(英语:Immunology)是生物医学的一
- 处方处方(符号“℞”),是医师开给病人的医疗文书,是药剂师或司药员向病人发放药品的重要依据,内容一般包括患者姓名、年龄、联系方式、所用药品名称、用量(剂量)等。处方所载内容一般会
- 微观经济学微观经济学(英语:Microeconomics),又译微观经济学,有时称为价格理论,是现代经济学的一个分支,研究经济体系中最基本单元(个体、企业)的经济行为。微观经济学重视需求与供给,如何影响个
- 猪链球菌猪链球菌(Streptococcus suis)是一种革兰氏阳性致病菌。病菌可经飞沫或伤口触碰而感染人类。病菌会入侵脑膜,使患者出现发烧、神志不清和昏迷等病征。由于猪链球菌可能会侵袭
- Ir4f14 5d7 6s22, 8, 18, 32, 15, 2蒸气压第一:880 kJ·mol−1 第二:1600 kJ·mol主条目:铱的同位素铱是原子序77号的元素,其元素符号为Ir,是一种十分刚脆,银白色的铂系过渡金属
- 赫尔德约翰·戈特弗里德·赫尔德(德语:Johann Gottfried Herder,姓或译赫德;1744年8月25日-1803年12月18日),德国哲学家、路德派神学家、诗人。其作品《论语言的起源》(德语:Abhandlung üb
- 菲利普·皮内尔菲利普·皮内尔(Philippe Pinel 法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000",
- 语源学语源学(英语:Etymology,希腊语:ετυμολογία),是一门研究字词来源的学科。英语的“Etymology”一词本身源于“希腊语:έτυμος”(真实)与“希腊语:λόγος”(字、理性或