相關詞條
-
制約邏輯
制約邏輯是傳統的形式邏輯與正統數理邏輯(現代邏輯)有機結合的產物，它運用現代邏輯提供的嚴格精密的數學方制約邏輯法，去構造一個能確切地體現傳統形式邏輯的深...
-
貴州制約邏輯學會
制約邏輯(Lin’s Entailment logic)是我們中國人於1968年創立的嶄新邏輯科學體系，被稱為現代數學新領域，創立者為北京市政協委員、貴...
-
邏輯學
工程師林邦瑾創立了一門新的邏輯學說——制約邏輯，向前兩座豐碑提出了挑戰...教授推薦，林邦瑾在美國數學會刊物《文摘》上發表論文《制約邏輯簡介》。1985年12月，林邦瑾的專著《制約邏輯》在國內正式出版。制約邏輯獨樹一幟，震...
簡介 邏輯學 制約邏輯 當代邏輯的新領域--制約邏輯 附釋六 附釋五 -
邏輯學[哲學專業術語]
，當然會較一般人通常對於邏輯的看法為高。制約邏輯創立者 1968年，中國...——制約邏輯，向前兩座豐碑提出了挑戰。1978年，在中國邏輯學界元老沈有鼎教授...發表論文《制約邏輯簡介》。1985年12月，林邦謹的專著《制約邏輯...
釋義 特點 歷史起源 對稱邏輯學 研究對象 -
林邦瑾
。貴州制約邏輯學會名譽會長。 1959年畢業於清華大學自動化系，隨即進行邏輯學研究，於1968年創建嶄新科學體系--制約邏輯（Lin’s Entailment Logic）。1985年底出版專著《制約邏輯...
-
蔣學鋒
人物生平科研成果“制約邏輯在知識庫系統中的套用”、“模糊邏輯專家系統...的科研教學。在國內外首次將ER模型和制約邏輯結合構造CERLEL方法表達複雜知識聯繫和變化；提出並證明基於制約邏輯的消解原理，實現了統一地對“必然...
人物生平 主要成就 -
張學立
學立 貴州省制約邏輯學會首屆優秀成果一等獎 貴州省制約邏輯學會...
個人簡介 -
張學立[貴州民族大學黨委書記]
貴州省制約邏輯學會首屆優秀成果一等獎 貴州省制約邏輯學會 2003年11月...
人物履歷 任免信息 學術科研 主要論著 科研項目 -
龔啟榮
社科聯委員、貴州省科協第四屆委員、貴州制約邏輯學會理事長、貴州省邏輯教學...
-
洪聲貴
個人簡介曾任遼寧大學數學系系主任和計算機系首屆系主任。現任遼寧大學計算機系教授，廣東工業大學物元分析研究所研究員，大連理工大學兼職教授，新疆工業大學兼職教授。兼任遼寧省自動化制約邏輯學會理事長，中國現代設計法研究會...
個人簡介 主要業績
