相關詞條
-
自適應邏輯系統
自適應邏輯系統(Adaptive logic system，簡稱ALS)是這樣一種控制系統，它能夠修正自己的特性以適應對象和擾動的動特性的變化。這種自適...
基本概念 自適應邏輯系統的分類 自適應邏輯控制的套用 自適應邏輯系統存在的問題 -
形式化方法導論
《形式化方法導論》是2015年12月1日出版的圖書，作者是張廣泉。
內容簡介 圖書目錄 -
非經典邏輯系統發生學研究
《非經典邏輯系統發生學研究》是2011年南開大學出版社出版的圖書，作者是任曉明，桂起權。
內容簡介 目錄 -
網路協定的形式化分析與設計
《網路協定的形式化分析與設計》是2003年電子工業出版社出版的圖書，作者是古天龍。
內容簡介 圖書目錄 -
面向計算機科學的數理邏輯系統建模與推理
《面向計算機科學的數理邏輯系統建模與推理》是2007年機械工業出版社出版的圖書，作者是哈斯瑞安。
內容簡介 作者簡介 目錄 -
《邏輯哲學》
》等。 內容歸納 第一章：經典邏輯是由弗雷格、皮爾士、羅素等人創立的現代邏輯系統...經典邏輯的某些假定或預設而創立的邏輯系統，它們至少在某些定理上與經典邏輯...。不同的邏輯學家對後承關係做出了不同的技術性規定，從而建立了不同的邏輯系統...
概述 作者簡介 內容歸納 經典邏輯理論 -
模糊邏輯及其代數分析
內容簡介書論述模糊邏輯形式化系統及相關代數結構問題，主要是作者近年...的基本概念與基本理論)；基於t-模的可換模糊邏輯研究(包括模糊命題邏輯系統...(包括非可換模糊命題邏輯系統PL，psBL，psMTL，PL*，PUL...
內容簡介 作者簡介 目錄 習題1 習題2 -
幻影思維學
主要包含比較系統、思維的傾向性、運算、邏輯系統、理論系統、幻影空間等六個...構建了一個形式化公理系統。思維的傾向性認為思維過程的發展具備一種傾向性...等並作為表示思維的工具。邏輯系統是對邏輯進行思考，形成的對邏輯、數學和語言...
幻影思維理論 1、比較系統 2、思維的傾向性 3、運算 4、邏輯系統 -
《當代分析哲學》
：能否用數學的方法把邏輯構造成一種完全形式化的算術系統？在布爾...邏輯史上第一套一階謂詞演算系統。與傳統的邏輯系統相比，這套演算系統的最大...明確地闡述了這種純形式化演算系統對哲學的重要意義：“如果說哲學的任務是通過...
圖書出版信息 內容簡介 當代分析哲學的基本特徵 當代分析哲學簡史 -
邏輯語義學研究
邏輯方法主要是指形式化方法，大意是指用一套特製的表意符號（其意義可以解釋...的對象構成，並且聯繫所採用的方法也是嚴格地用形式化的方法給出（通常這種方法...的語義理論或L的語義學。下面我們來討論邏輯系統的直觀語義與形式語義的關係...
圖書信息 語義學與邏輯語義學 邏輯語義學屬於語義學 邏輯語義 邏輯系統
