相關詞條
-
《語言與現代邏輯》
《語言與現代邏輯》書中周斌武以通俗易懂的方式講述了現代邏輯包括命題演算、謂詞演算、模態邏輯、時態邏輯、問句邏輯、模糊邏輯、內涵邏輯等分支的實用常識，並運...
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
語言與現代邏輯
語言與現代邏輯是一本復旦大學出版社出版的圖書。作者是周斌武，張國梁。
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
邏輯
邏輯就是思維的規律，邏輯學就是關於思維規律的學說。有時邏輯和邏輯學兩個概念通用。邏輯和邏輯學的發展，經過了具象邏輯—抽象邏輯—具象邏輯與抽象邏輯相統一的...
基本信息 基本解釋 概述 從形式邏輯到對稱邏輯 -
預設邏輯
預設邏輯是 Ray Reiter 提出的用來形式化有預設假定的推理的非單調邏輯。 預設邏輯可以表達像“預設的，某個事物是真的”的事實；相反的，標準邏輯只...
預設邏輯的變體 轉換 複雜性 實現 -
品牌的邏輯
講授品牌戰略頂層設計與成功實施的奧妙 作者廿餘年研究精粹·先鋒電商最佳實踐·全球品牌知識經典
目錄 推薦序 作者簡介 -
邏輯架構
邏輯架構，作為一門形式科學，通過對推論的形式系統和自然語言論證二者的研究，邏輯研究和分類語句和論證的結構。
* 經典邏輯 -
非單調邏輯
非單調邏輯是近年來人工智慧領域的一個活躍研究分支，是人工智慧進一步發展的核心問題之一。人工智慧研究的發展，迫使人們去面對人的常識和常識推理的形式化問題。
非單調邏輯 預設推理 溯因推理 信仰修正 其它 -
硬碟邏輯鎖
所謂“硬碟邏輯鎖”是使用了某些DOS的一個錯誤製成的。它採用了“循環分區表”的技術，使某些有這個錯誤的DOS無法用任何設備啟動，包括軟碟等移動設備。當D...
概念 解決辦法 -
科學[認識世界的實踐方法]
科學，指的就是分科而學，後指將各種知識通過細化分類（如數學、物理、化學等）研究，形成逐漸完整的知識體系。它是關於探索自然規律的學問，是人類探索研究感悟宇...
詞語 定義 原理 特徵 詮釋 -
教你認識汽車電子控制器
麻友良主編的《教你認識汽車電子控制器》簡要介紹了計算機的基本原理，系統介紹了單片機的硬體構成與軟體的作用，並在此基礎上，介紹了典型汽車電子控制系統的組成...
內容簡介 圖書目錄
