合一
在数理逻辑中,特别是应用于计算机科学中,两个项的同一是就特殊化次序而言的并(格的最小上界), 就是说,我们在项的集合上假定一个预序,其中 t ≤ t 意味着 t 是通过代换(substitute)在 t 中某些项的一个或多个自由变量而从 t 获得的。s 和 t 的同一 u,如果存在的话,是 s 和 t 二者的代换实例的一个项。s 和 t 的任何公共的代换实例也是 u 的实例。
例如,对于多项式 X2 和 Y3 可以通过采纳 X = Z3 和 Y = Z2 而同一到 Z6。
- 合一GDR完成定價 股價衝高漲幅逾4% - 經濟日報 201028 0919
- 【公告】合一舉辦109年第三次線上法說會事宜 - Yahoo奇摩股市 201028 1912
- 合一糖尿病足藥 11月完成定價 - 經濟日報 201029 0156
- 賣房賠50萬元 沒報房地合一稅遭罰1,500元 - 經濟日報 201028 1033
- 三合一新世代無線路由器升級有感:WiFi 6 / Dual 10GbE / SD-WAN,QNAP QHora-301W 傳輸效能超出色 - INSIDE 硬塞的網路趨勢觀察 201027 1447
- 小資鍋具大變革 多功能合一好收納 - Yahoo奇摩新聞 201028 0810
- 【公告】合一2020年9月合併營收48.9萬元年增-44.49% - Yahoo奇摩股市 - Yahoo奇摩股市 201005 1500
- 三星推出「三合一無線閃充充電板」讓星粉們隨時電力滿檔! - Saydigi-Tech - 點子科技 201026 1109
- 傑菲亞娃三合一的「美好」:低碳旅遊環保淨灘秋意泡湯 - yamNews蕃新聞 201028 1843
- 【台股盤中】指數高檔整理 傳產股相對強勢 - Yahoo奇摩股市 201027 2030
- 投機炒房難擋?學者:獲利高到多繳稅也不在意 - HiNet 新聞社群 201028 1706
- 李進勇:九合一選舉綁公投 真的是惡夢 - 中央社即時新聞 201019 1500
- 小資鍋具大變革!疊疊鍋、空姐鍋夯賣 多功能合一好收納 - 三立新聞網 201028 0805
- 生技指數疲弱多空皆無表態 - 工商時報 201029 0050
- 權值股賣壓重 台股跌81點收12,793 - UDN 聯合新聞網 201028 1409
- 台灣房市怎麼了?房地合一稅43.6億元 揭露投機炒作玄機 - 經濟日報 201022 2003
- 發大財!韓國瑜存款23年爆增226倍 持「合一股」現賺3500萬 - ETtoday 新聞雲 201016 1500
- 65年老校大翻新 竹市育賢國中「四合一」育英樓啟用 - UDN 聯合新聞網 201027 1341
- 房地合一稅大增 長照稅收提前達成全年目標 - Yahoo奇摩股市 201016 1500
- 盤中零股交易熱 四族群夯 - UDN 聯合新聞網 201027 0120
沒有留言:
張貼留言