-
>
中醫(yī)基礎(chǔ)理論
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫(yī)內(nèi)科學·全國中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
-
>
中醫(yī)診斷學--新世紀第五版
-
>
中藥學·全國中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
數(shù)理邏輯引論 版權(quán)信息
- ISBN:9787568540353
- 條形碼:9787568540353 ; 978-7-5685-4035-3
- 裝幀:平裝-膠訂
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:>>
數(shù)理邏輯引論 本書特色
本書的主要內(nèi)容是討論經(jīng)典二值邏輯演算系統(tǒng)的語形和研義研究.而經(jīng)典二值邏輯系統(tǒng)是一種反映演繹推理規(guī)律的邏輯演算系統(tǒng).但人類思維過程是極為豐富和復雜的,人類思維活動中的種種推理方式?jīng)Q非演繹推理所能完全囊括。
數(shù)理邏輯引論 內(nèi)容簡介
全書共分為5章,其中第1章和第3章主要是從數(shù)學模型和數(shù)學背景的角度去討論命題邏輯與謂詞邏輯的涵義與構(gòu)造,其論述盡量側(cè)重于直觀,而不講究形式系統(tǒng)意義下的那種嚴格.第2章與第4章則主要是從形式系統(tǒng)的構(gòu)造與展開的角度去分別研究命題邏輯與謂詞邏輯的基本內(nèi)容.第5章是有關(guān)經(jīng)典二值邏輯系統(tǒng)的嚴格的語義研究.
數(shù)理邏輯引論 目錄
數(shù)理邏輯引論 作者簡介
朱梧槚,南京航空航天大學計算機科學與技術(shù)學院,教授、博士生導師,長期致力于數(shù)學基礎(chǔ)與計算機科學理論的研究。 肖奚安,解放軍理工大學理學院數(shù)學系,教授。 朱朝暉,南京航空航天大學計算機科學與技術(shù)學院,教授。研究方向為計算機科學中的邏輯學、進程代數(shù)。 周勇,南京航空航天大學計算機科學與技術(shù)學院,副教授。
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
有舍有得是人生
- >
伊索寓言-世界文學名著典藏-全譯本
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
李白與唐代文化
- >
羅庸西南聯(lián)大授課錄
- >
回憶愛瑪儂
- >
名家?guī)阕x魯迅:故事新編