數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) 2024 pdf epub mobi 電子書 下載

☆☆☆☆☆
簡體網頁||繁體網頁

數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) pdf epub mobi 著者簡介

宋方敏，南京大學計算機科學與技術係教授，博士生導師。主要研究領域是數理邏輯和量子計算，曾主持國傢自然科學基金項目，863項目和中法閤作項目的研究，在國內外核心刊物上發錶論文50餘篇。在教學上，為本科生主講“離散數學”和“數理邏輯”課程，為研究生主講“計算理論”課程。

吳駿，南京大學計算機科學與技術係講師。主要研究領域是邏輯在人工智能中的應用、算法博弈論與機製設計，曾主持及參與國傢自然科學基金、科技部重點研發計劃等多項科研項目，在國內外學術會議與期刊上發錶論文十餘篇。在教學上，為本科生主講“數理邏輯”課程，為研究生主講“智能Agent”課程。

---

數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) pdf epub mobi 圖書描述

宋方敏、吳駿編著的《數理邏輯十二講(麵嚮CS2013計算機專業規劃教材)》為數理邏輯的入門教材，主要介紹命題邏輯和一階邏輯。本書既引入自然推理風格的Gentzen係統，又引入永真推理風格的Hilbert係統，詳細證明四個基本定理：完全性定理、緊性定理、Gentzen的Hauptsatz和Herbrand定理。本書最後介紹模態邏輯。

通過本書的學習，學生將掌握數理邏輯的基本概念、基本理論、基本推理，以及公理係統和形式化方法。本書作為計算機科學的基礎教材，對培養學生的科學素養以及提高解決問題的能力具有重要的意義。

數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) 2024 pdf epub mobi 電子書 下載

---

數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) pdf epub mobi 圖書目錄

前言
第一講 命題邏輯
第二講 Boole代數
第三講 一階邏輯語言
第四講 一階邏輯的自然推理係統
第五講 集閤論的公理係統
第六講 完全性定理
第七講 Herbrand定理
第八講 命題邏輯的永真推理係統
第九講 一階邏輯的永真推理係統
第十講 Gentzen的Hauptsatz
第十一講 緊性定理
第十二講 模態邏輯概述
參考文獻
· · · · · · (收起)

---

下載链接在页面底部

點擊這裡下載

    

---

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

---

想要找書就要到 本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

---

發表於2024-12-23

數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) 2024 pdf epub mobi 電子書 下載

數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) 2024 pdf epub mobi 電子書 下載

數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) 2024 pdf epub mobi 電子書 下載

---

喜欢 數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) 電子書 的读者还喜欢

數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) pdf epub mobi 讀後感

圖書標籤: 數理邏輯  數學  思維   

數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) pdf epub mobi 用戶評價

數理邏輯十二講(麵嚮CS2013計算機專業規劃教材) 2024 pdf epub mobi 電子書 下載

• 
  Theory of Recursive Functions and Effective Computability 2024 pdf epub mobi 電子書 下載
• 
  弗雷格邏輯哲學與現代數理邏輯思潮 2024 pdf epub mobi 電子書 下載
• 
  Model Theory 2024 pdf epub mobi 電子書 下載
• 
  Computability and Randomness 2024 pdf epub mobi 電子書 下載
• 
  A Course In Mathematical Logic 2024 pdf epub mobi 電子書 下載
• 
  Logic in Games 2024 pdf epub mobi 電子書 下載
• 
  遞歸論 2024 pdf epub mobi 電子書 下載
• 
  Collected Works 2024 pdf epub mobi 電子書 下載
• 
  Handbook of Practical Logic and Automated Reasoning 2024 pdf epub mobi 電子書 下載
• 
  公理集閤論導引 2024 pdf epub mobi 電子書 下載
• 
  A Friendly Introduction to Mathematical Logic 2024 pdf epub mobi 電子書 下載
• 
  Topoi 2024 pdf epub mobi 電子書 下載
• 
  Logical Foundations of Mathematics and Computational Complexity 2024 pdf epub mobi 電子書 下載
• 
  Collected Works 2024 pdf epub mobi 電子書 下載
• 
  A Concise Introduction to Mathematical Logic 2024 pdf epub mobi 電子書 下載
• 
  Introduction to Higher-Order Categorical Logic 2024 pdf epub mobi 電子書 下載
• 
  數理邏輯導論 2024 pdf epub mobi 電子書 下載
• 
  Formal Logic 2024 pdf epub mobi 電子書 下載
• 
  Collected Works 2024 pdf epub mobi 電子書 下載
• 
  Recursively Enumerable Sets and Degrees 2024 pdf epub mobi 電子書 下載