幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

數理邏輯的思想與方法(第2版十二五普通高等教育本科國家級規劃教材)

  • 作者：編者:李娜|責編:楊豐坡
  • 出版社：南開大學
  • ISBN：9787310050628
  • 出版日期：2016/04/01
  • 裝幀：平裝
  • 頁數：306
人民幣：RMB 49 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    全書包括六章。第一章，主要介紹集合、集合運算的基本思想和方法。這一章的目的在於為以後各章的使用奠定基礎。第二章至第四章，介紹命題邏輯的基本思想和方法。第五章和第六章介紹狹謂詞邏輯的基本思想和方法。
作者介紹
編者:李娜|責編:楊豐坡
目錄
第一章  集合論初步
  第一節  基本概念
    1.1.1  關於集合的定義
    1.1.2  集合的表示方法
    1.1.3  羅素悖論
    1.1.4  集合的包含和相等關係
    1.1.5  空集和冪集
    1.1.6  練習
  第二節  集合的基本運算
    1.2.1  並集及其運算
    1.2.2  交集及其運算
    1.2.3  差集及其運算
    1.2.4  全集
    1.2.5  集合運算之間的關係
    1.2.6  練習
  第三節  關係
    1.3.1  有序對和n元有序組
    1.3.2  笛卡兒乘積
    1.3.3  關係的概念
    1.3.4  關係的性質
    1.3.5  幾種特殊的二元關係
    1.3.6  練習
  第四節  映射
    1.4.1  映射的概念和性質
    1.4.2  映射的合成
    1.4.3  兩個集合之間的一一對應
    1.4.4  練習
第二章  命題和命題形式
  第一節  命題真值聯結詞
    2.1.1  簡單命題及複合命題
    2.1.2  五個基本的真值聯結詞
    2.1.3  初始聯結詞
    2.1.4  練習
  第二節  命題形式重言式
    2.2.1  命題形式
    2.2.2  真值表方法
    2.2.3  真值函項
    2.2.4  重言式
    2.2.5  重言式的作用
    2.2.6  重言式的判定方法
    2.2.7  練習
  第三節  範式
    2.3.1  範式
    2.3.2  優範式
    2.3.3  範式的作用和應用
    2.3.4  兩種運算
    2.3.5  練習
第三章  命題邏輯
  第一節  形式系統
    3.1.1  公理系統

    3.1.2  命題演算
    3.1.3  形式系統
    3.1.4  語法和語義
    3.1.5  練習
  第二節  命題語言
    3.2.1  命題語言的字母表
    3.2.2  命題語言的形成規則
    3.2.3  定義
    3.2.4  練習
  第三節  命題演算的公理系統
    3.3.1  演繹的基礎
    3.3.2  命題演算
    3.3.3  練習
  第四節  命題演算的自然推理系統
    3.4.1  FPC的推理規則
    3.4.2  練習
  第五節  FPC中的可證公式
  第六節  命題語義學
    3.6.1  真值賦值
    3.6.2  重言式和重言后承
    3.6.3  練習
第四章  命題邏輯系統的特徵
  第一節  可演繹性
    4.1.1  可演繹性
    4.1.2  練習
  第二節  相容性
  第三節  可靠性
  第四節  完全性
  第五節  獨立性
第五章  狹謂詞邏輯
  第一節  一階語言
    5.1.1  一階語言概述
    5.1.2  一階語言的字母表
    5.1.3  一階公式
    5.1.4  約束變項和自由變項
    5.1.5  練習
  第二節  謂詞演算的公理系統
    5.2.1  演繹的基礎
    5.2.2  謂詞演算
    5.2.3  練習
  第三節  謂詞演算的自然推理系統
  第四節  FQC中的可證公式
    5.4.1  FQC中的可證公式
    5.4.2  練習
  第五節  狹謂詞邏輯的語義學
    5.5.1  一階語言的語義
    5.5.2  練習
  第六節  前束範式
    5.6.1  代入引理
    5.6.2  前束範式

    5.6.3  練習
第六章  狹謂詞邏輯系統的特徵
  第一節  可演繹性
  第二節  相容性
  第三節  可靠性
  第四節  完全性
  第五節  系統的等價性
  第六節  帶等詞和運算符號的狹謂詞邏輯
部分練習參考答案
主要參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032