相關詞條
-
現代邏輯引論
十一章 歸納邏輯現代邏輯是傳統邏輯發展的最新階段，是用形式化的方法研究...。特別是較為深入地論述了公理集合論與悖論，模型論和邏輯語義學，證明論和...邏輯那樣完善，但還是應致力於研究，以迎接新的突破。本書設計和構思了統一...
-
泛演化邏輯引論
《泛演化邏輯引論》，作者是何新，由時事出版社於2005年出版，描述的是特殊的邏輯關係和邏輯結構，這種邏輯關係和結構具有動態的性質，並且超越了古典形式邏輯...
內容簡介 本書目錄 -
《邏輯與演繹科學方法論導論》
波蘭邏輯學家塔爾斯基的《數理邏輯和數學方法論導論》原名是《論數理邏輯和演繹方法》(該書1936年最初用波蘭文出版，又於1937年出版了確切的德文譯本。)...
內容提要 塔爾斯基 周禮全簡介 經典邏輯推理以實質蘊涵為基礎 有效推理都可不具同義反覆性 -
南京大學現代邏輯與邏輯套用研究所
在985工程二期建設中，本所承擔了國家哲學社會科學創新基地項目“邏輯與宗教文化專題研究”和“現代邏輯與當代資本主義批判方法論研究”，取得了關於“分析的宗...
概況 歷史 -
次協調邏輯與人工智慧
《次協調邏輯與人工智慧》共十四章和四個附錄。主要分為：次協調邏輯及其基本原理、創建次協調邏輯新系統的嘗試和次協調邏輯在人工知識領域中的套用三編。
版權資訊 媒體推薦 目錄 -
二十世紀意義理論的發展與語言邏輯的興起
《二十世紀意義理論的發展與語言邏輯的興起》是由陳道德編著，中國社會科學出版社出版的圖書。該書是我國第一部系統闡述和研究語言邏輯形成以及發展的專著。
內容簡介 作者簡介 本書目錄 -
趣味邏輯
《趣味邏輯》，作者彭漪漣、餘式厚，2005年由北京大學出版社出版。本書從概念、命題、推理、邏輯基本規律等方面，通過通俗而有趣的故事，向讀者介紹邏輯基本知...
內容簡介 編輯推薦 作者簡介 目錄 -
邏輯之旅：從哥德爾到哲學
《邏輯之旅：從哥德爾到哲學》是美籍華裔數學家、邏輯學家、哲學家王浩二十年傾力之作，書中包括哥德爾一些未發表的哲學觀點，接續上一本《哥德爾》的論題並將其擴...
內容簡介 作者簡介 譯者簡介 本書目錄 相關書評 -
數學史[研究歷史]
數學史是研究數學科學發生髮展及其規律的科學，簡單地說就是研究數學的歷史。它不僅追溯數學內容、思想和方法的演變、發展過程，而且還探索影響這種過程的各種因素...
歷史介紹 研究範圍 研究內容 發展階段 重要意義
