相關詞條
-
泛函關係
在形式邏輯和相關的數學分支中，泛函謂詞或函式符號是套用於一個對象項而生成另一個對象項的邏輯符號。 泛函謂詞有時也叫做映射，但是這個術語還有其他意義。 在...
簡介 -
互動式定理證明與程式開發Coq歸納構造演算的藝術
.............563.6.1泛證明策略...........563.6.2證明維護問題..............1556.3.6在遞歸函式上完成證明.....1918歸納謂詞1938.1歸納屬性1938.1.1幾個例子 ...
圖書簡介 目錄 -
高階邏輯
在數學中它們也叫做運算元(運算符)或泛函。微積分中的導數就是常見的例子，因為它映射一個函式到另一個函式。演算在無類型 lambda 演算，所有函式都是...類型出現在量化中；粗略的說，一階邏輯中禁止量化謂詞。允許這么做的系統請參見...
套用 性質 演算 -
二階算術
；研究費馬猜想引入的理想數概念已滲入到現代代數、幾何和泛函分析等廣大的數學領域...語言L。它是在一階算術語言L的基礎上，增加二階變元(即取值於函式或謂詞...=，個體常元0(零)，一元常函式S(後繼)及兩個二元常函詞+(加)和×(乘...
概念 一階算術 遞歸論 初等數論 -
c++0x
C++0x是C++11標準成為正式標準之前的草案臨時名字。C++是具有國際標準的程式語言，通常稱作ANSI/ISO C++，1998年國際標準組織（IS...
國際標準 核心語言 表現強化 表現加強 使用性 -
替代公理
概述 在公理化集合論和使用它的邏輯、數學和計算機科學分支中，替代公理模式是 Zermelo-Fraenkel 集合論的一個公理模式，它本質上斷言一個集合在一個映射(泛函謂詞)下的像也是一個集合。它對於構造特定...
概述 參考 -
中白詞
。若謂詞之道小。不足盡所長。此其所以為片石與。是又郢書而燕說矣。丙寅秋日...。可以群。可以怨。沱潛洋洋。岷嶓峨峨。泛彼柏舟。容與逍遙。為鶴鳴。為沔水...。繽紛壓寒碧。縹緲仙雲。隱逐鈿車。祝英台近 夜坐枕函欹。釵玉墮。深院晚涼臥...
基本信息 介紹 全文 -
詩格
遠騎，垂柳映連營。〕飛動體。飛動體者，謂詞若飛騰而動是。詩曰：〔流波將月...。〕又曰：〔泛色松煙舉，凝華菊露滋。〕（此即婉轉之體。）清切體。清切體者，謂詞清而切者是。詩曰：〔寒葭凝露色，落葉動秋聲。〕又曰：〔猿聲出峽斷...
《評詩格》 王昌齡作品 唐佚名撰作品 《文苑詩格》 唐朝新定詩格 -
C++探秘：68講貫通C++
31.1類的結構186 34.2分類213 46.1泛型函式324
基本信息 內容簡介 前言 媒體評述 目錄 -
信息技術概念詳解
信息技術概念詳解“信息技術” 英文對照 information technology; it; information tech...
“信息技術” 在工具書中的解釋 “信息技術” 在學術文獻中的解釋 信息技術概念詳解
