滿額折
數理邏輯引論(修訂版)（簡體書）
- 系列名：高等學校“十二五”規劃教材
- ISBN13：9787560361468
- 出版社：哈爾濱工業大學出版社
- 作者：李濤
- 裝訂／頁數：平裝／139頁
- 規格：20.8cm*14.4cm (高/寬)
- 版次：二版
- 出版日：2016/08/01
相關商品
商品簡介
目次
商品簡介
數理邏輯是離散數學的重要組成部分之一，是計算機科學的數學基礎。《數理邏輯引論（修訂版）》內容主要側重于邏輯演算，即命題邏輯演算和一階謂詞邏輯演算，這些內容是構成數理邏輯其他分支的共同基礎。全書共分5章，分別介紹了數理邏輯的研究對象、研究內容和研究方法；命題邏輯的基本概念、命題邏輯演算形式系統的組成、基本定理及其性質定理；一階謂詞邏輯演算形式系統的基本概念、組成、基本定理及其性質定理、一階語言的語義等。
《數理邏輯引論（修訂版）》可用作高等院校計算機專業離散數學的教材或教學參考書，也可供從事計算機科學、人工智能方面的科技人員參考。
《數理邏輯引論（修訂版）》可用作高等院校計算機專業離散數學的教材或教學參考書，也可供從事計算機科學、人工智能方面的科技人員參考。
目次
第1章 緒論
1．1 數理邏輯的發展簡史
1．2 形式化公理系統
1．3 數理邏輯與計算機科學
第2章 命題邏輯的基本概念
2．1 命題與聯結詞
2．1．1 命題符號化
2．1．2 命題聯結詞及真值表
2．1．3 命題公式及真值
2．1．4 邏輯蘊涵與邏輯等價
2．2 范式
2．2．1 基本概念
2．2．2 范式的求解
2．2．3 主范式
2．3 聯結詞的擴充與歸約
2．4 對偶式
習題
第3章 命題演算形式系統
3．1 命題邏輯演算形式系統
3．1．1 命題演算形式系統的組成
3．1．2 命題演算形式系統的基本定理
3．1．3 PC的性質定理
3．2 自然演繹推理系統
3．2．1 自然演繹推理系統組成
3．2．2 自然演繹推理系統的基本定理
習題
第4章 一階謂詞邏輯演算基本概念
4．1 引言
4．2 一階謂詞演算基本概念
4．3 自然語句的形式化
習題
第5章 一階謂詞演算形式系統
5．1 一階謂詞演算形式系統組成
5．2 FC的基本定理
5．3 一階謂詞形式系統的語義
5．4 FC的性質定理
5．5 其他形式的一階謂詞演算系統
5．5．1 FCM謂詞演算系統
5．5．2 FND謂詞演算系統
習題
參考文獻
1．1 數理邏輯的發展簡史
1．2 形式化公理系統
1．3 數理邏輯與計算機科學
第2章 命題邏輯的基本概念
2．1 命題與聯結詞
2．1．1 命題符號化
2．1．2 命題聯結詞及真值表
2．1．3 命題公式及真值
2．1．4 邏輯蘊涵與邏輯等價
2．2 范式
2．2．1 基本概念
2．2．2 范式的求解
2．2．3 主范式
2．3 聯結詞的擴充與歸約
2．4 對偶式
習題
第3章 命題演算形式系統
3．1 命題邏輯演算形式系統
3．1．1 命題演算形式系統的組成
3．1．2 命題演算形式系統的基本定理
3．1．3 PC的性質定理
3．2 自然演繹推理系統
3．2．1 自然演繹推理系統組成
3．2．2 自然演繹推理系統的基本定理
習題
第4章 一階謂詞邏輯演算基本概念
4．1 引言
4．2 一階謂詞演算基本概念
4．3 自然語句的形式化
習題
第5章 一階謂詞演算形式系統
5．1 一階謂詞演算形式系統組成
5．2 FC的基本定理
5．3 一階謂詞形式系統的語義
5．4 FC的性質定理
5．5 其他形式的一階謂詞演算系統
5．5．1 FCM謂詞演算系統
5．5．2 FND謂詞演算系統
習題
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。