T-模式
T-模式（也叫做约定T）是位于 Alfred Tarski 的真理的语义理论的任何实现的核心位置的归纳定义，表达了真理在逻辑运算符上的交换性。 T-模式经常用自然语言表达，但它们很容易接纳多类谓词逻辑或模态逻辑的形式化；比如叫做 T-理论的公式化。T-理论构成了哲学逻辑中很多基础工作的基础，它们被应用于分析哲学中很多重要争论。它们也是在模型论背后的基础直觉；或者说模型论实现了它们。 参见 真理的语义理论 公式 (数理逻辑) 註釋 外部链…
文章归档 · 2022-11
相继式
在证明论中，相继式（sequent）是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。 解释 相继式有如下形式 :\Gamma\vdash\Sigma 这里的Γ和Σ二者是逻辑公式的序列（就是说公式的数目和出现次序都是重要的）。符号\vdash通常被称为十字转门（turnstile）或T型符号（tee），并经常被读做"产生"或"证明"。它不是语言中的符号，而用来讨论证明的元语言中的符号。在相继式中，Γ叫做相继式的前件（anteced…
柯尼希-费舍尔展开
柯尼希-费舍尔展开(Cornish-Fisher expansion)是一种渐近展开式，用于逼近一个概率分布的分位数 。这个展开成立时，它可以比中心极限定理提供更精确的分位数逼近。 每一个Cornish-Fisher展开的成立与否，依赖于其相应的Edgeworth展开的正确性。Cornish-Fisher展开是其对应的Edgeworth展开的逆。 这个展开以E. A. Cornish和著名统计学家R. A. 费舍尔命名，他们于1937年…
原子公式
在数理逻辑中， 原子公式（英語：Atomic formula）或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。 原子是在逻辑系统中"最小"的公式。在逻辑系统中的合式公式通常通过识别所有有效的原子公式，和给出从两个原子公式建立公式的规则而递归的定义。从原子公式制作的公式是复合公式。 例如，在命题逻辑中你有如下的公式构造规则: 任何命题变量 p 是合式原子公式。 给定任何公式 A，…
感受
感受指感官偵測到外境的能量變化後，於個體內產生的生化反應；大腦將這些神經訊號接收處理後，就會得出感知。 「感受」是生物的基本能力，為辨別有無生命活動的重要憑據，也是影響情緒的主要因素之一，屬於心理學上研究的一個範疇。 感受的重要性 感受是外境與內心的核心介面，個體對外境所有的理解和認知，經驗的累積，都是基於感受。 感受和心靈的關係非常密切，任何的感受，都會產生特定的心理活動，反之，特定的心理活動，也會產生相應的感受。 比方說，聽到辱罵，…
楊泰升
杨泰升（），陕西临洮府蘭州人。明朝政治人物。 生平 萬曆四十六年（1618年）戊午科陕西乡试举人，天啓五年（1625年）联捷乙丑科進士，官宝坻县知县。 遗迹 兰州皋兰山下的五泉山有杨泰升所书“水石人心”匾额。 参考文献
生成语言学
生成语言学是语言学中关于生成语法的一种学说。对不同的人来说，“生成语法”可能表示不同的意思，涉及有不同的范围，意思也可能重叠。 生成语言学用完全直接明析的方式来解决语法的研究与应用问题，不同人可能会以不同的方式来处理。 根据其正式定义，生成语法指的是一种完全明析的语法。它由有限个数的法则组成，应用这些法生成一个特定语言中符合语法的句子（通常来讲这些句子的数目可以是无穷的）。这个术语及其定义最早由诺姆·乔姆斯基给出，并且由许多语言学字典沿…
语言能力
语言能力，又称为语言学能力、語言才能、語言本能，是指一个人所拥有的关于其母语的知识和技能。例如，了解字词都是什么含义，如何将字词组成句子以及字词如何发音等等。Noam Chomsky在他1965年的专著《Aspects of the Theory of Syntax》（句法理论之方方面面）之中首次采用了术语“*'（语言能力）”。语言能力是乔姆斯基语言性能／语言能力之间区别之中的两个要素之一。 参见 语言学 诺姆·乔姆斯基 参考文献 Ch…
乔姆斯基谱系
乔姆斯基体系是计算机科学中刻画形式文法表达能力的一个分类谱系，是由语言学家诺姆·乔姆斯基于1956年提出的。它包括四个层次： 0-型文法（无限制文法或短语结构文法）包括所有的文法。该类型的文法能够产生所有可被图灵机识别的语言。可被图灵机识别的语言是指能够使图灵机停机的字串，这类语言又被称为递归可枚举语言。注意递归可枚举语言与递归语言的区别，后者是前者的一个真子集，是能够被一个总停机的图灵机判定的语言。 1-型文法（上下文相关文法）生成上…
1995年洲際盃
1995年洲際盃在1995年11月28日，於東京的國立霞丘陸上競技場舉行。賽事由1994–95年歐洲冠軍聯賽冠軍荷蘭的阿積士，對陣1995年南美自由盃冠軍巴西的甘美奧。 最終，阿積士贏得賽事冠軍。 比賽場館 ，國立霞丘陸上競技場舉行]] 詳細 |valign="top"| |valign="top" width="50%"| |} 最佳球員： Danny Blind（阿積士） 相關條目 1994–95年歐洲冠軍聯賽 1995年南美自由盃…
分析树
分析树（parse tree），也称具体语法树（concrete syntax tree），是一个反映某种形式语言字符串的语法关系的有根有序树。分析树一般按照两种相反的法则生成，一种是,一种是短语结构语法。分析树和抽象語法樹是不同的。
盘尾蜂鸟属
*'（学名：Ocreatus*）为蜂鸟科的一个属。 下属物种 本属包括以下物种： 参考文献
盘尾蜂鸟
，是雨燕目蜂鸟科的一种鸟类。 盘尾蜂鸟体重约3克，翼长约42.6毫米，嘴峰长约17.6毫米，喙宽度约2毫米，喙厚度约1.7毫米，跗蹠长约4.5毫米，尾长约51.1毫米。盘尾蜂鸟在其分布区内为留鸟，其栖息在密集的高大树木组成的森林中，食性为草食性，主要食物来源是植物的花蜜。 亚种 ：分布于委内瑞拉北部的沿海山区。 ：分布于哥伦比亚至委内瑞拉西北部。 ：分布于哥伦比亚的安第斯山脉东部。 ：分布于哥伦比亚的安第斯山脉西部和中部。 ：分布于厄瓜…
深层结构
深层结构是語法理論中構成句子結構基礎的抽象語法關係，人們藉此解釋句子所表示的意思。在這一分析層次上可以區別陳述和詢問兩類句子，能夠區別否定句和肯定句或主動句和被動句。例如，主動句「狗追貓」和被動句「貓被狗追」兩種語態的意思是相同的。 深層結構與表層結構之別 深層結構與表層結構相對稱，表層結構是對人們所講和所聽的語句的直接語法分析層次，即依上述句子中詞和詞綴的特別順序（the+dog+s......）的分析。 深層結構與表層結構的區別，是…
监利一中
监利一中全称为湖北省监利市第一中学，始建于1914年，其现校区位于湖北省监利市华容路。1950年代中葉起就成為湖北省省级示范性高中。1999年8月，监利一中搬遷至新地址。 参考文献
盐城号导弹护卫舰
“盐城”号导弹护卫舰（舷号546）简称“盐城”舰，是中国人民解放军海军第十艘054A型导弹护卫舰，可以单独或者协同海军其他兵力攻击敌水面舰艇及潜艇，具有较强的远程警戒和防空作战能力。盐城舰由沪东造船厂开工建造，于2011年4月27日下水，2012年6月5日入列，服役于北海舰队驱逐舰第一支队。盐城舰舰名取自江苏省盐城市，其入列命名授旗仪式于2012年6月5日在山东省青岛市某军港举行。 历史 2012年10月2日，“盐城”号导弹护卫舰与“哈…
城中姐妹花2之子夜情人
《城中姐妹花》（英文：Midnight Lovers）深獲海外觀眾欣賞，所以在1995年再次傾全台美女，炮製續集《子夜情人》。本劇由龍紹基監製，主力描寫幾段令男女主角難以自拔的三角戀。更情商得“肥媽”瑪莉亞演出夜店奇女子一角，為劇集加添綽頭。《子夜情人》，一個揭露現代舞娘辛酸史的電視劇。 劇情 講述歡場患難與共的“母女情”及狎妓者對舞小姐始亂終棄的不幸故事亦會交織於劇中。 主角 萬綺雯、王薇、林韋辰 參考資料
台灣國際電玩展
台灣國際電玩展（英語：Taiwan Amusement Exhibition）是由上造國際公關顧問公司自行辦理的電子遊戲展覽，主要展示大型機台的電子遊戲，是台灣史上第一個電子遊戲展覽，最早在1993年辦理，且當年在台北市與台中市辦了兩屆。後來，在1996年的最後一次辦理之下，這項展覽也被浩天資訊主辦的台灣電子遊戲機國際產業展（英語：GTI Expo）取代，並正式走入歷史。 展覽背景 台灣的電子遊戲產業在1990年代屬於發展階段，遊樂場與…
益民街道 (合肥市)
益民街道，是中华人民共和国安徽省合肥市庐阳区曾经下辖的一个乡镇级行政单位。 历史沿革 1949年3月，合肥市第三区人民政府成立德胜街政府。1960年5月成立西市区人民公社廻龙桥分社。1965年11月成立西市区廻龙桥街道。1969年4月成立益民街道革命委员会。1976年10月改制为益民街道。2012年3月，撤销益民街道，所辖环城南路社区与舒城路社区全域和人民巷社区桐城路以东部分划入逍遥津街道，迴龙桥社区、庐江路社区和人民巷社区桐城路以西部…
史達軒查·柏夫洛域
#REDIRECT 斯特拉希尼亚·帕夫洛维奇