- 模型
- ✍ dations ◷ 2021-07-14 16:54:15
- 在数学学科模型论中，语言
L
{\displaystyle {\mathcal {L}}}
的结构
- #模型
- 子集
- ✍ dations ◷ 2021-07-14 16:54:14
- 子集，为某个集合中一部分的集合，故亦称部分集合。若
A
{\displaystyle A}
和
B
{\displ
- #子集
- 加里
- ✍ dations ◷ 2021-07-14 16:54:14
- 哈斯凯尔·布鲁克·加里（英语：Haskell Brooks Curry /ˈhæskəl ˈkɜːri/，1900年9月12日－1982年9月1日），生于美国马萨诸塞州米里镇，数理逻辑学家，专长于组合子逻辑理论。尽管组合
- #加里
- 机率
- ✍ dations ◷ 2021-07-14 16:54:14
- 概率，旧称几率，又称机率、机会率或或然率，是数学概率论的基本概念，是一个在0到1之间的实数，是对随机事件发生之可能性的度量。概率常用来量化对于某些不确定命题的想法，命题一般会
- #机率
- 训诂学
- ✍ dations ◷ 2021-07-14 16:54:14
- 训诂学（英语：Philology 或 Exegesis）是指传统研究古书中词义的学科，是中国传统的语文学——小学的一个分支。训诂学在译解古代词义的同时，也分析古代书籍中的语法、修辞现象。是
- #训诂学
- 亚里斯多德
- ✍ dations ◷ 2021-07-14 16:54:14
- 亚里士多德（希腊语：Αριστοτέλης，Aristotélēs，前384年6月19日－前322年3月7日），古希腊哲学家，柏拉图的学生、亚历山大大帝的老师。他的著作牵涉许多学科，包括了物理学、形
- #亚里斯多德
- 幂集
- ✍ dations ◷ 2021-07-14 16:54:14
- 数学上，给定集合
S
{\displaystyle S}
，其幂集
P
- #幂集
- 关系
- ✍ dations ◷ 2021-07-14 16:54:13
- 在数学上，关系是对如等于 =或序<等二元关系的广义化。参考一个如“X认为Y喜欢Z”之类的关系，其实际情形如下：上表的每一行都代表着一个事实，并给出“X认为Y喜欢Z”此类形式的断
- #关系
- 邱奇-图灵论题
- ✍ dations ◷ 2021-07-14 16:54:13
- 邱奇-图灵论题（英语：Church–Turing thesis，又称邱奇-图灵猜想，邱奇论题，邱奇猜想，图灵论题）是一个关于可计算性理论的假设。该假设论述了关于函数特性的，可有效计算的函数值（用更现
- #邱奇-图灵论题
- 哥德尔
- ✍ dations ◷ 2021-07-14 16:54:13
- 库尔特·弗雷德里希·哥德尔（德语：Kurt Friedrich Gödel，1906年4月28日－1978年1月14日），出生于奥匈帝国的数学家、逻辑学家和哲学家，维也纳学派（维也纳小组）的成员。哥德尔是二十世
- #哥德尔
- 克莱尼
- ✍ dations ◷ 2021-07-14 16:54:13
- 斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，1909年1月5日－1994年1月25日）美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论计算机科学的基础。
- #克莱尼
- 自然演绎
- ✍ dations ◷ 2021-07-14 16:54:11
- 在数理逻辑中，自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。这种方式对比于使用公理的公理系统。自然演绎来源自对共通于弗雷格、罗素和希尔
- #自然演绎
- 布尔
- ✍ dations ◷ 2021-07-14 16:54:11
- 乔治·布尔（英语：George Boole，1815年11月2日－1864年12月8日，英语发音 ），英格兰数学家和哲学家，数理逻辑学先驱。乔治·布尔生于英格兰的林肯郡。在备课的时候，布尔不满意当时的数学
- #布尔
- 结构分析
- ✍ dations ◷ 2021-07-14 16:54:11
- 结构分析是用来确定作用在物理结构和其组件上的荷载所引起的荷载效应。
这种分析包含了多种结构存在形式，比如建筑、桥梁、车辆、机械、家具、生活用品、岩层、义肢和生物组
- #结构分析
- 原始递归函数
- ✍ dations ◷ 2021-07-14 16:54:11
- 在可计算性理论中，原始递归函数（英语：primitive recursive functions）对计算的完全的形式化而言是形成重要构造板块的一类函数。它们使用递归和复合作为中心运算来定义，并且是递
- #原始递归函数
- 指涉
- ✍ dations ◷ 2021-07-14 16:54:11
- 参考或指涉（英语：Reference）是两个对象之间的关系，此种关系由“指定”或“连接”之概念维系。在此关系中，前一个对象被称作“提及”（refer to）了后者；而后一个被提及的对象被称作前
- #指涉
- 唯实论
- ✍ dations ◷ 2021-07-14 16:54:11
- 实在论（英语：realism），也译为唯实论，西方哲学本体论的一种观点，认为本体论中的现实（Reality），是独立于人类感官、信仰、概念与想法之外的。现今世界认为的实在论，与古希腊、或中古经院
- #唯实论
- 史慕扬
- ✍ dations ◷ 2021-07-14 16:54:10
- 雷蒙·梅里儿·思木里安（英语：Raymond Smullyan，1919年5月25日－2017年2月6日）出生于纽约皇后区的远洛克威，2017年2月6日逝世于纽约市，是一位美国数学家，逻辑学家，哲学家，魔术师和钢琴
- #史慕扬
- 量化
- ✍ dations ◷ 2021-07-14 16:54:10
- 在语言和逻辑中，量化是指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子，我们称我们已经
- #量化
- 名称
- ✍ dations ◷ 2021-07-14 16:54:10
- 名称（或名字）即对一切事物，概念,感觉给定的标签，以便区分不同事物、同一事物的不同个体，分为人名和事物名称。姓名为姓氏和人名的合称，雅称“尊姓大名”。事物名称指对自然界一切
- #名称
- 类
- ✍ dations ◷ 2021-07-14 16:54:10
- 在集合论及其数学应用中，类是集合（或其他数学物件）的搜集（collection），可以依所有成员所共享的性质被无歧定义。有些类是集合（例如由所有偶数构成的类），但有些则不是（如所有序数所构成
- #类
- 合式公式
- ✍ dations ◷ 2021-07-14 16:54:10
- 在形式系统与逻辑中，WFF是合式公式（well-formed formula）的缩写。给定一个形式文法，WFF是这个文法生成的任何字符串。例如，在命题演算中符号序列
(
- #合式公式
- 事实
- ✍ dations ◷ 2021-07-14 16:54:09
- 事实（英语：Fact）可以指在过去和现在被验证且中立的信息，在科学中指可证明的概念。传闻不可当作事实。确认事实的真实性的过程，称为事实查核英文的“Fact”一词来自拉丁文中的Fact
- #事实
- 次协调逻辑
- ✍ dations ◷ 2021-07-14 16:54:09
- 次协调逻辑是尝试处理矛盾的逻辑。次协调逻辑是不琐碎的（non-trivial）逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在标准逻辑中，从矛盾中可以推导
- #次协调逻辑
- 论证
- ✍ dations ◷ 2021-07-14 16:54:09
- 在逻辑中，论证是基于叫做前提的一组断言，证明叫做结论的断言的真实性的尝试。演绎和归纳推理的证明过程形成了论证，并假定了某种交流方式，它可以是书写的文本、演讲或交谈。一般
- #论证
- 公理语义学
- ✍ dations ◷ 2021-07-14 16:54:09
- 公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
- #公理语义学
- 图灵
- ✍ dations ◷ 2021-07-14 16:54:09
- 艾伦·麦席森·图灵，OBE，FRS（英语：Alan Mathison Turing，又译阿兰·图灵，Turing也常翻译成涂林或者杜林，1912年6月23日－1954年6月7日）是英国计算机科学家、数学家、逻辑学家、密码分
- #图灵
- 勒文海姆
- ✍ dations ◷ 2021-07-14 16:54:08
- 李奥帕德·勒文海姆（生于1878年6月26日，德国克雷费尔德；死于1957年5月5日，柏林）是一位德国数学家，主要成就在数理逻辑方面。纳粹政权强迫勒文海姆退休，因为在纽伦堡法案，他被认为只
- #勒文海姆
- 公信力
- ✍ dations ◷ 2021-07-14 16:54:08
- 公信力指对信息或其来源可信度的主观及客观组成。传统意义上，公信力有两个基本要素：可信度和专业度，两者都由主观和客观组成。可信度更多地建立在主观因素基础上，但也包括客观衡
- #公信力
- 命题公式
- ✍ dations ◷ 2021-07-14 16:54:08
- 在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定
- #命题公式
- 生命征象
- ✍ dations ◷ 2021-07-14 16:09:54
- 生命体征（英语：Vital signs），或称生命迹象，医学术语，是一组4到6个最重要的人体基本生理功能(维持生命)的表征。这些测量结果被用于评估个体的身体健康，提供潜在疾病的线索，并显示出
- #生命征象
- 口腔颌面外科
- ✍ dations ◷ 2021-07-14 16:11:15
- 口腔颌面外科（英语：Oral and Maxillofacial Surgery）是一个现代医疗的外科，该外科主要治理头部、颈部、脸部、下颌、口腔和颌面部位，包括软组织和硬组织的损伤和疾病，并通过药物及
- #口腔颌面外科
- 内皮
- ✍ dations ◷ 2021-07-14 16:16:55
- 内皮细胞或血管内皮是一薄层的专门上皮细胞，由一层扁平细胞所组成。它形成血管的内壁，是血管管腔内血液及其他血管壁（单层鳞状上皮）的界面。内皮细胞是沿着整个循环系统，由心脏直
- #内皮
- OSM
- ✍ dations ◷ 2021-07-14 16:29:30
- n/an/an/an/an/an/an/an/an/an/a抑癌蛋白M（英语：Oncostatin M，缩写OSM，也译作制癌蛋白M、抑瘤素M）是由人类基因 OSM 编码的蛋白质，由209个氨基酸残基组成。OSM是一种多效的细胞因
- #OSM
- 秘书处
- ✍ dations ◷ 2021-07-14 16:29:51
- 联合国秘书长联合国秘书处（英语：United Nations Secretariat；法语：le Secrétariat des Nations unies）是联合国六个主要机构之一，与联合国大会、安全理事会、经济及社会理事会、
- #秘书处
- 康德
- ✍ dations ◷ 2021-07-14 16:41:51
- 伊曼努尔·康德（德语：Immanuel Kant；德语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000
- #康德
- PAS染色法
- ✍ dations ◷ 2021-07-14 16:43:36
- PAS染色法（Periodic Acid-Schiff stain）在组织学上，主要用来检测组织中的糖类，过碘酸把糖类相邻两个碳上的羟基氧化成醛基，再用Schiff试剂和醛基反应使呈现紫红色。通常用于霉菌
- #PAS染色法
- 本内迪克特试剂
- ✍ dations ◷ 2021-07-14 16:44:59
- 本尼迪克特试剂（英语：Benedict's reagent），也称班氏试剂、本氏液、本尼迪克试液、本纳德试剂或本尼迪特试剂，是一种浅蓝色化学试剂。其命名来自于一位美国化学家斯坦利·本尼迪克
- #本内迪克特试剂
- 建教合作
- ✍ dations ◷ 2021-07-14 16:49:59
- 合作教育（英语：Cooperative education，港澳称为合作教育，台湾称为建教合作），是一种结合课堂教学与实际工作经验的结构化教学方法。作为教学过程的一部分，合作教育经验通常被计入学
- #建教合作
- 尖团合流
- ✍ dations ◷ 2021-07-14 16:53:39
- 尖团音是指存在于汉语中的两组对立的声母。在官话里、（漢語拼音：i, ü）前的声母、、（拼音：z, c, s）称为尖音，声母、、（拼音：j, q, x）称为团音。民国成立不久后于1913年建立的国语规范
- #尖团合流
共12352页
首页 11976 11977 11978 11979 11980 11981 11982 11983 11984 11985 尾页
