Yahoo奇摩 網頁搜尋

搜尋結果

  1. 此條目介紹的是 主題。. 關於其他學科的條目,請見「 合一 (消歧義) 」。. 在 邏輯 和 計算機科學 中, 合一 ( unification ),是 方程求解 表達式 之間方程的算法過程。. 例如,使用 x, y, z 作為變量, 單元素集合 解的方程 {cons(x, cons(x, nil)) = cons(2, y)} 是一個 ...

  2. 在 逻辑 和 计算机科学 中, 合一 ( unification ),是 方程求解 表达式 之间方程的算法过程。. 例如,使用 x, y, z 作为变量, 单元素集合 解的方程 {cons(x, cons(x, nil)) = cons(2, y)} 是一个语法一阶合一问题,具有替换 {x ↦ 2, y ↦ cons(2, nil)} 作为其唯一解 ...

  3. 高阶合一用于证明助手,例如 Isabelle 和 Twelf ,并且高阶合一的受限形式(高阶模式合一)用于某些编程语言实现,例如 lambdaProlog ( 英语 : λProlog ),因为高阶模式具有表现力,但它们相关的合一过程保留了更接近一阶合一的理论属性。

  4. 維基百科,自由的百科全書. 天人合一 ,或稱 天人合德 、「 天人相應 」,是 中國 古代的一種 哲學 思想, 儒 、 道 、 釋 三家均有闡述。. 其基本思想是 人類 的 生理 、 倫理 、 政治 等 社會 現象是 自然 的直接反映。. 最早起源於 春秋戰國 時期,漢朝 董 ...

  5. 三教 ,又稱 道釋儒 或 儒釋道 ,在 漢人 、 中華 乃至 大中華 文化圈的經典文化中,指的是 道教 、 釋教 [註 1] 、 儒教 等三大主流宗教或信仰。. 三教概念的發展, 魏晉南北朝 是一個階段, 唐宋 是一個階段, 元明清 又是一個階段。. 在最初,雖然有三教連 ...

  6. 维基百科,自由的百科全书. 天人合一 ,或稱 天人合德 、“ 天人相应 ”,是 中国 古代的一种 哲学 思想, 儒 、 道 、 釋 三家均有闡述。. 其基本思想是 人类 的 生理 、 伦理 、 政治 等 社会 现象是 自然 的直接反映。. 最早起源于 春秋战国 时期,汉朝 董 ...

  7. 古代天人合一的观念可以分三个层面来理解自然哲学的合一为本认为天地万物包括人在内是物质的统一体道德哲学的合一以人之心性为基础,“天人合一是人格魅力和审美的最高境界而政治哲学的合一主要以儒家的仁道 ...

  1. 其他人也搜尋了