合一
在数理逻辑中，特别是应用于计算机科学中，两个项的同一是就特殊化次序而言的并(格的最小上界), 就是说，我们在项的集合上假定一个预序，其中 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億元 - Anue鉅亨 210114 1600
- 遏止法人炒房 藍委提案比照個人實施「房地合一稅」 - UDN 聯合新聞網 210206 1020
- 《生醫股》合一新藥授權助攻 - Yahoo奇摩股市 210117 1600
- 櫃買節後攻月線「它」才是關鍵 - 工商時報 210206 2100
- 健全房市 兩稅制擬翻修 - UDN 聯合新聞網 210206 0250
- 鼠年亮麗封關！台股漲96點收15,802點 全年漲3683點 - udn OOPS! 新鮮事 210205 1341
- 拆屋賣地兩大成本可抵房地合一稅 - 工商時報 210205 0100
- 明年學測老師比學生緊張 學校購上百萬設備迎「卷卡合一」 - UDN 聯合新聞網 210206 0944
- 今日最夯股／合一短線轉強後續還有什麼利多？ | 投資理財| 會員專區| 經濟日報 - 經濟日報 210202 2036
- 經濟日報社論／囤房稅、房地合一稅應一併改革 - UDN 聯合新聞網 210128 1600
- 「二合一」流動負壓室15分鐘快測新冠 - 加拿大星島日報 210206 1648
- Louis Vuitton FÉLICIE STRAP & GO「優雅版」二合一包，將是下一款Multi Pochette Accessories？ - POPBEE 210206 1137
- 路孔明專訪／中天全球大布局 今年高飛 - UDN 聯合新聞網 210118 1600
- 孫家銘觀點》黃捷罷免案未過給藍綠兩黨的啟示與深思 - 新頭殼 210206 2129
- 打炒房 擬兩方向修法 - 經濟日報 210204 0104
- 房地合一稅應退場？ 學者從2面向強調沒有談退場的理由 - Rti 中央廣播電臺 210115 1600
- 16檔飆漲 美德醫12倍最狂 - 中時新聞網 210206 0410
沒有留言:
張貼留言