相關詞條
-
邏輯分析儀
邏輯分析儀是利用時鐘從測試設備上採集和顯示數位訊號的儀器，最主要作用在於時序判定。而邏輯分析儀可以擁有從16個通道、32個通道、64個通道和上百個通道數...
技術指標 工作原理 特點 分類 觸發方式 -
預設邏輯
預設邏輯是 Ray Reiter提出的用來形式化有預設假定的推理的非單調邏輯。
預設邏輯 預設邏輯的語法 例子 限制 -
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果，涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
機率邏輯
機率邏輯是歸納邏輯的一種現代類型。特點是運用現代的邏輯與數學工具，主要是運用數理邏輯與機率理論對歸納邏輯、歸納方法進行形式化、數量化的研究。
機率邏輯 正文 配圖 相關連線 -
時態邏輯
時態邏輯。非經典邏輯的一個分支學科。其研究對象是，把含有時態動詞的語句形式化，並且把含有這種語句的推理系統化。
時態邏輯 正文 配圖 相關連線 -
序列反應時
序列反應時即serial reaction time ，簡稱SRT。20世紀80年代末到90年代初，內隱學習研究中出現了新的研究範式----序列學習範式...
SRT的基本程式和原理 序列反應時的變式 -
邏輯法
邏輯法是人們認識推理事物的一種思維方法.它包括比較，分析與綜合，論證推理等方面，在日常生活和很多正式場合發揮很大作用。,邏輯方法簡稱邏輯法。所謂邏輯方法...
定義 主要內容 邏輯方法在法庭運用 -
邏輯演算
邏輯演算是用形式化方法處理邏輯推理，特別是數學中所用推理。由於形式化了的推理過程與代數演算具有相似性,故也稱之為邏輯演算。
邏輯演算 正文 配圖 相關連線 -
邏輯先在性
邏輯先在性所陳述的並不是事物之間在時間序列中的先後順序，而是事物之間在"邏輯"上的"優先地位"。總體而言，它可以分為"自在"意義的邏輯先在性和"自為"意...
簡介 -
srt[序列反應時]
序列反應時即serial reaction time ，簡稱SRT。20世紀80年代末到90年代初，內隱學習研究中出現了新的研究範式----序列學習範式...
基本程式 變式
