相關詞條
-
計算機邏輯
計算機邏輯描述套用於計算機科學和人工智慧的邏輯。
-
計算機
電子計算機(electronic computer),通稱電腦,是計算機(computer)用途和數量都較廣的一種,是現代的一種利用電子技術和相關原理根...
計算機套用領域 歷史 原理 計算機的數字電路實現 輸入輸出設備 -
計算機電子線路與數字邏輯
邏輯函式的表示法 邏輯函式的代數化簡法 組合邏輯電路的特點
內容簡介 目錄 -
高階邏輯
高階邏輯又稱廣義謂詞邏輯。它是一階邏輯(見一階理論及其元邏輯)的推廣。
高階邏輯 正文 配圖 相關連線 -
邏輯與計算機設計基礎
邏輯與計算機設計基礎從當代工程觀點講述了邏輯與計算機設計方面的內容,自出版以來已被全球超過25萬人使用。本書以清晰的解釋和逐步延伸的實例來幫助讀者理解內...
內容簡介 圖書目錄 -
Computer Science Logic 計算機科學邏輯
tern section seman
內容介紹 -
一階邏輯
一階邏輯(first order logic,FOL)也叫一階謂詞演算,允許量化陳述的公式,是使用於數學、哲學、語言學及計算機科學中的一種形式系統。一階...
簡介 概念 語法 辭彙表 生成規則 -
計算機科學
計算機科學是一門包含各種各樣與計算和信息處理相關主題的系統學科,從抽象的算法分析、形式化語法等等,到更具體的主題如程式語言、程式設計、軟體和硬體等。作為...
簡介 研究領域 研究課題 相關獎項 統分類 -
數字邏輯
數字邏輯,是數字電路邏輯設計的簡稱,其內容是套用數字電路進行數字系統邏輯設計。電子數字計算機是由具有各種邏輯功能的邏輯部件組成的,這些邏輯部件按其結構可...
-
計算機組成[系統結構的邏輯實現]
計算機組成指的是系統結構的邏輯實現,包括機器機內的數據流和控制流的組成及邏輯設計等。主要分為五個部分:控制器,運算器,存儲器,輸入設備,輸出設備。
概念 硬體組成部分 軟體