合一
在数理逻辑中，特别是应用于计算机科学中，两个项的同一是就特殊化次序而言的并(格的最小上界), 就是说，我们在项的集合上假定一个预序，其中 t ≤ t 意味着 t 是通过代换(substitute)在 t 中某些项的一个或多个自由变量而从 t 获得的。s 和 t 的同一 u，如果存在的话，是 s 和 t 二者的代换实例的一个项。s 和 t 的任何公共的代换实例也是 u 的实例。
例如，对于多项式 X2 和 Y3 可以通过采纳 X = Z3 和 Y = Z2 而同一到 Z6。
- 合一新藥通過美國配方專利 有利未來授權談判 - 中央社即時新聞 210203 1024
- 合一治療糖尿病足潰瘍新藥 獲美霸王專利 - 經濟日報 210203 0058
- 合一9.5億授權金 到手 - 經濟日報 210115 1600
- 合一抗體新藥授權案 依約收足簽約金逾8億元 - 鉅亨網 210114 1852
- 鼠年亮麗封關！台股漲96點收15,802點 全年漲3683點 - udn OOPS! 新鮮事 210205 1341
- 《生醫股》合一新藥授權助攻 - Yahoo奇摩股市 210117 1600
- 陸降核酸混檢費 台幣65元不到 - UDN 聯合新聞網 210206 0249
- 今日最夯股／合一短線轉強後續還有什麼利多？ | 投資理財| 會員專區| 經濟日報 - 經濟日報 210202 2036
- 拆屋賣地兩大成本可抵房地合一稅 - 工商時報 210205 0100
- 金鼠年16檔飆漲美德醫12倍最狂 - 工商時報 210206 0100
- 〈金鼠年封關〉資金行情加持 鼠年10檔飆股生醫、IC族群領風騷 - 鉅亨網 210205 1755
- 財部嚴打炒房要亮撒手鐧 - 工商時報 210206 0100
- 路孔明專訪／中天全球大布局 今年高飛 - UDN 聯合新聞網 210118 1600
- 金鼠年封關紅 台股全年大漲3683點漲幅30% - 經濟日報 210205 1406
- 房地合一稅應退場？ 學者從2面向強調沒有談退場的理由 - Rti 中央廣播電臺 210115 1600
- 《研究報告》電票電支合一 公股銀快攻嗶支付 - Yahoo奇摩股市 210201 0847
- 中天全球大布局今年高飛| 今晨必讀| 會員專區| 經濟日報 - 經濟日報 210118 1600
- 財長：先檢討房地合一稅 - UDN 聯合新聞網 210113 1600
- 打炒房 擬兩方向修法 - 經濟日報 210204 0104
- 謝金河／GME帶給台股的投資啟示 - UDN 聯合新聞網 210204 1319
沒有留言:
張貼留言