ISBN: | 7-215-00025-7 價格: CNY2.65 |
語種: | chi |
題名: | 語言邏輯基礎/ 馬 佩主編 , |
出版發行: | 出版地: 鄭州 出版社:河南人民出版社出版日期: 1987.9 |
載體形態: | 361頁 20厘米 |
摘要: | 下編並對幾門語言邏輯分支問題邏輯、模態邏輯、時態邏輯進行比較系統的介紹。 |
題名自由詞: | 語言 邏輯 |
主題: | 語言學-邏輯研究 |
主題: | 邏輯-語言學研究 |
中圖分類: | H0-05 版次: 3 |
科圖分類: | 41.1038 版次: 1974 |
主要著者: | 馬佩主編 |
索書號 | H0-05/M16 |
相關詞條
-
《語言、真理和邏輯》
《語言、真理和邏輯》又翻譯為《語言、真理與邏輯》。於1936年英國出版,為艾耶爾的成名作,也是代表作之一。對於邏輯實證主義的主要觀點作了系統的論述,也是...
內容簡介 邏輯實證主義 主要論點 背景資料 -
《語言與現代邏輯》
《語言與現代邏輯》書中周斌武以通俗易懂的方式講述了現代邏輯包括命題演算、謂詞演算、模態邏輯、時態邏輯、問句邏輯、模糊邏輯、內涵邏輯等分支的實用常識,並運...
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
語言與現代邏輯
語言與現代邏輯是一本復旦大學出版社出版的圖書。作者是周斌武,張國梁。
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
數字邏輯基礎與Verilog硬體描述語言
內容介紹《高等院校信息技術規劃教材:數字邏輯基礎與Verilog硬體描述語言》主要介紹了數字邏輯的理論基礎、組合電路的分析方法、常用邏輯功能電路的Ver...
內容介紹 -
邏輯基礎
《邏輯基礎》是清華大學人文學院的系列教材之一,是專門為大學文科學生以及自學者,特別是那些沒有理科背景的讀者編寫的現代邏輯教科書。《邏輯基礎》的編寫參考了...
版權資訊 作者簡介 編輯推薦 目錄 -
語言,真理和邏輯
《語言、真理和邏輯》又翻譯為《語言、真理與邏輯》。於1936年英國出版,為艾耶爾的成名作,也是代表作之一。對於邏輯實證主義的主要觀點作了系統的論述,也是...
內容簡介 實證主義 主要論點 背景資料 -
邏輯編程語言
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言,最早於1972年由柯爾麥倫納(Colmeraner)及其...
關於邏輯程式語言 Prolog語言的基本概念 特點 -
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果,涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
邏輯與語言
本書按照大致的年代進行,選擇篇目所秉承的原則是:一是在分析哲學發展過程中造成某種重要的影響;二是其思想具有某種原創性。但實際編選過程中還有一個技術性考慮...
版權資訊 目錄