- 模型
- ✍ 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:16:49
- 现代生物分类群体从它们的
共同祖先遗传分化的图示。进化论介绍（英语：Introduction to evolution）
演化的证据
共同起源
共同起源的证据群体遗传学 · 遗传多样性
突变 · 自
- #演化生物学
- 腹膜炎
- ✍ dations ◷ 2021-07-14 16:18:29
- 腹膜炎，是指一种发生于腹膜的炎症反应。该反应主要由细菌感染、化学物质、物理性伤害等因素引起，且很可能因没有及时治疗而危及生命。其症状可能包含剧烈疼痛、腹部肿胀、发烧
- #腹膜炎
- 糖尿病肾病
- ✍ dations ◷ 2021-07-14 16:18:48
- 糖尿病肾病（拉丁语：nephropatia diabetica；英语：diabetic nephropathy 或 diabetic kidney disease）也被称为金摩尔史迪尔-威尔逊综合征（Kimmelstiel–Wilson syndrome）、结节性糖
- #糖尿病肾病
- 血液及免疫系统
- ✍ dations ◷ 2021-07-14 16:21:31
- 人体解剖学 - 人体生理学
组织学 - 胚胎学
人体寄生虫学 - 免疫学
病理学 - 病理生理学
细胞学 - 营养学
流行病学 -
药理学 - 毒理学血液学（英语：Hematology或haematology）是
- #血液及免疫系统
- 膀胱
- ✍ dations ◷ 2021-07-14 16:25:02
- 膀胱是哺乳动物贮尿的囊状器官，功能是暂存和排泄小便。经肾脏过滤之后的含有代谢产物的体液流入膀胱，形成尿液；当排尿时，膀胱壁的肌肉收缩，出口处的括约肌放松。膀胱是中空的、由
- #膀胱
- 雷帕霉素
- ✍ dations ◷ 2021-07-14 16:27:18
- 雷帕霉素（Rapamune），又名西罗莫司（Sirolimus），为大环内酯类化合物，现主要运用于肾移植的抗排异治疗。其通过抑制白细胞介素-2从而阻碍激活T细胞及B细胞来抑制免疫。其首次发现于复
- #雷帕霉素
- 金胺O
- ✍ dations ◷ 2021-07-14 16:43:32
- 金胺O是一种二芳基甲烷萤光染料，常态下为黄色针状结晶。极易溶于水，易溶于乙醇。金胺O可用于抗酸细菌（例如Mycobacterium）, 其方法类似抗酸染色法。 也被当做希夫试剂的萤光版来
- #金胺O
- 研究机构
- ✍ dations ◷ 2021-07-14 16:44:13
- 研究中心，或称研究所、研究院、研究机构，是指以研究或研发为目的之设施、组织或机构。所做的研究通常都会聚焦于一个特定的领域。一个研究中心可能同时具有不同的学科或专业，同
- #研究机构
- 介词悬空
- ✍ dations ◷ 2021-07-14 16:52:55
- 介词悬空(Preposition stranding，英语有时又作P-stranding)是一种语法上的结构，在其中，带有受词的介词出现在与其支配的受词直接相连的地方之外的地方(也就是说介词“悬”在了
- #介词悬空
- 证据
- ✍ dations ◷ 2021-07-14 16:53:51
- 证据（英语：Evidence）是刑事诉讼法上，用来确定当事人主张为真实的证明。警察办案或是法院审理案子，一定证据确凿才能破案或将嫌犯判刑。证据之重要，可从华府著名华裔律师陶龙生（蒋介
- #证据
共12352页
首页 11976 11977 11978 11979 11980 11981 11982 11983 11984 11985 尾页
