輸入歸結（input resolution）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：輸入歸結
- 外文名：input resolution
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
一種歸結策略。要求在每次歸結的兩個子句中，至少有一個是輸入子句，即原始子句集中的子句。
出處
《計算機科學技術名詞 》第三版。
輸入歸結
相關詞條
- 順序輸入/輸出
I/O列表必須包括在I/O語句中，一個I/O列表的錯誤歸結為是一種編譯的錯誤。非格式化順序I/O語句的兩種格式是：READ(U,ERR=L₁,NED=L₂)K WRITE(U,ERR=L₁,NED=L₂)K 這裡U是指定的一個邏輯單元號 L₁是指定的一...
- 漢字輸入編碼
漢字輸入編碼是漢字編碼方案的一種，為便於將漢字送入中文處理終端或系統，用預先設計好的方法，將漢字音、形、義有關要素變成數字、字母或鍵位名稱的轉換方法，可歸結為5種類型。方案介紹 為便於將漢字送入中文處理終端或系統，用預先...
- 歸結反演
歸結反演亦稱消解反演，是一種證明定理的計算機過程。所使用的證明方法與數學中的反證法思想十分相似，歸結反演除了可用於定理證明外，還可用來求取問題的答案。歸結反演的定義 套用歸結原理證明結論為真的過程稱為歸結反演。設F為已知前提...
- 拼音輸入法
產品創新的一個重要方面就是功能創新，拼音輸入法也不例外，為了更多的吸引用戶，一些拼音輸入法不斷推陳出新，推出了很多人性化和實用化的功能，通過對用戶的反饋和調查來看，拼音輸入法必備的功能可歸結為以下十項：詞庫功能：詞庫功能...
- 輸入表
這時我們就會想，那么EXE主程式是如何找到這些需要導入的函式呢，這就要歸結於“輸入表”了，輸入表就相當於EXE檔案與DLL檔案溝通的鑰匙，形象的可以比喻成兩個城市之間交流的高速公路，所有的導入函式信息都會寫入輸入表中，在PE檔案映射到...
- 主機(計算機除去輸入輸出設備以外的主要機體部分)
網際網路上現在聯有近億台的計算機，這些計算機不管它們是什麼機型，運行什麼作業系統，使用什麼軟體，都可以歸結為兩大類：客戶機和伺服器。客戶機是訪問別人信息的機器。當您通過郵電局或別的ISP的撥接時，您的電腦就被臨時分配了一...
- Robinson第一定理
歸結規則生成的子句叫做兩個輸入子句的歸結（resolvent）。當兩個子句包含多於一對的互補文字的時候，歸結規則可以（獨立的）套用到每個這種文字對上。但是，只有要消去（resolve）的文字對可以去除：所有其他文字對仍保留在歸結後的子句中。
- IO(計算機用語)
這就要歸結於各種存儲技術的使用了，在這些存儲技術中使用最廣的就是高速快取(Cache)和磁碟冗餘陣列(RAID)了，本文就將探討快取和磁碟陣列提高存儲IO性能的方法。高速快取 在當下的各種存儲產品中，按照速度從快到慢應該就是記憶體>快閃記憶體>...
- 加法器
因為g, p的值只有“00”、“01”、“11”這三種組合，結合布爾代數性質A⊙0=、A⊙1=A可知，s3的值最終可以歸結為3個表達式：gs3, 3和(gs3⊙c0)，同樣，s2值的3個表達式為gs2, 2和(gs2⊙c0)，s1為gs1, 1和(gs1⊙c0)。...
- 新手學五筆打字
我們知道文字輸入法可分為拼音和字形輸入兩大類，無論你選擇哪種字輸入程式，歸結起來都脫離不了這個範疇。對於沒有學過拼音的讀者來講，字根輸入法因為原理與手寫習慣有關聯，所以更容易上手．字根輸入法中最具代表性的就是五筆輸入法...
