- 模型
- ✍ 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:10:03
- 扑菌特(Trimethoprim/sulfamethoxazole, TMP/SMX)，较为人知的名称是复方新诺明、磺胺剂(co-trimoxazole)，是一种用来防治多种因为细菌而引起感染的抗生素，用以治疗各种细菌感
- #复方新诺明
- 非特异性间质肺炎
- ✍ dations ◷ 2021-07-14 16:10:35
- 非特异性间质性肺炎（Non-specific interstitial pneumonia，简称NSIP）属于一种特发性间质性肺炎。症状包含咳嗽、呼吸困难，以及疲倦。目前认为属于一种自体免疫有关，可能为未分化
- #非特异性间质肺炎
- 松冈洋右
- ✍ dations ◷ 2021-07-14 16:18:36
- 松冈洋右（1880年3月4日－1946年6月27日），日本外交官、政治家。处理过日本退出国际联盟，签定日德意三国联盟，日苏中立条约等第二次世界大战（太平洋战争）全面爆发前日本外交的多次重要
- #松冈洋右
- 植物学
- ✍ dations ◷ 2021-07-14 16:19:30
- 植物学是一门研究植物形态解剖、生长发育、生理生态、系统进化、分类以及与人类的关系的综合性科学，是生物学的分支学科。人类对植物的认识最早可以追溯到旧石器时代，人类在寻
- #植物学
- 柯霍
- ✍ dations ◷ 2021-07-14 16:20:01
- 海因里希·赫尔曼·罗伯特·科赫（德语：Heinrich Hermann Robert Koch，1843年12月11日－1910年5月27日），德国医师兼微生物学家，为细菌学始祖之一，与路易·巴斯德共享盛名。1905年，因结
- #柯霍
- IgA肾病
- ✍ dations ◷ 2021-07-14 16:25:07
- IgA肾病（英语：IgA nephropathy）是最常见的肾小球肾炎（glomerulonephritis），原发性IgA肾病患者通常在肾小球有IgA抗体的沉积，也有其他许多疾病都会引起肾小球中的IgA抗体的沉积，最常
- #IgA肾病
- 世界概况
- ✍ dations ◷ 2021-07-14 16:28:36
- 《世界概况》（英语：The World Factbook，又译作世界各国纪实年鉴）是由美国中央情报局出版的调查报告，发布世界各国及地区的概况，例如人口、地理、政治及经济等各方面的统计数据。因
- #世界概况
- 秋季
- ✍ dations ◷ 2021-07-14 16:34:13
- 秋季是一年四季之中的第三季。秋季的时候，自然景观最明显的变化在树木上面，城市里会开始清扫大量的落叶，山区则涌进不少观赏红叶的游客们。秋季是四季中的一季，在夏季与冬季之间
- #秋季
- 结膜
- ✍ dations ◷ 2021-07-14 16:47:14
- 结膜（conjunctiva）为眼部的一部分，位于眼睑内，并被覆于巩膜（眼白）表层。结膜在组织学上属于复层柱状上皮，并含有杯状细胞。结膜可分泌黏液和泪液来润滑眼球，然而其分泌的泪液量比泪
- #结膜
- 四川话
- ✍ dations ◷ 2021-07-14 16:52:24
- 四川话（四川话拼音：Si4chuan1hua4；国际音标：
），是流行于中国四川省、重庆市（巴蜀地区）及周边省份临近地区的主要汉语言，包括汉语西南官话中的成渝片及灌赤片。四川话目前约有1亿2千万
- #四川话
共12352页
首页 11976 11977 11978 11979 11980 11981 11982 11983 11984 11985 尾页
