數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材 下載 mobi epub pdf 電子書 2024

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



點擊這裡下載

類似圖書 點擊查看全場最低價

---

編輯推薦

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》特色：
　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》在內容組織上含納集閤論基礎知識、可計算性理論基本知識和經典數理邏輯3個部分，其中集閤論基礎部分著重介紹可數集與不可數集的概念，並運用集閤的基數以及基數的比較等有關知識，闡述“無窮可比”的思想，目的在於擴展學生的思維空間，深化學生對計算機有窮空間的認識；可計算性理論基礎部分以遞歸函數、圖靈計算和理想計算機為對象，從多個角度給齣“計算”概念的精確描述，目的在於幫助學生深入瞭解“計算”的本質，並對計算機的計算“行為”與“能力”有一個充分認識；經典邏輯部分包括命題邏輯和謂詞邏輯，著力於形式係統，重點介紹形式證明、形式推理，形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等療麵的知識，並以一階算術係統為例介紹邏輯係統的擴展方法，旨在幫助學生瞭解和掌握形式化方法，以此為工具更好地開展計算機基礎理論研究和計算機程序分析、設計與開發工作。

內容簡介

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》共分7章。第0章緒論，介紹元數學的形成與發展，以及元數學與數理邏輯之間的關係，同時簡要說明課程學習的目的和意義；第1章介紹集閤論的基礎知識，包括有窮集與無窮集的概念、可數集與不可數集的性質、集閤的基數、無窮基數的比較等方麵的內容；第2章介紹可計算性理論的基本知識，包括計算概念的形成與發展、算法的基本描述、計算概念的數學定義、可計算性函數的基本性質等；第3章～第5章是關於經典數理邏輯的內容，包括命題演算和謂詞演算兩個部分，重點介紹邏輯演算以及相關形式係統的基本性質，內容涉及形式證明、形式推理、形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等方麵的知識；第6章以一階算術係統為例，介紹基於邏輯係統擴展的數學應用係統的描述方法，最終給齣“哥德爾不完備性定理”的證明。在《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》的附錄中給齣瞭全書的習題解答。
　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》麵嚮計算機科學與技術、軟件工程以及相關專業的高等院校學生，尤其是高校相關專業的高年級本科生及研究生，可以作為教材，也可作為希望瞭解數理邏輯基礎知識的高校學生和科研技術工作者的閱讀材料或參考資料。

目錄

緒論
第1章 集閤論基礎
1.1 可數集
1.1.1 映射
1.1.2 可數集的概念
1.1.3 可數集概念的延伸
1.2 康拓爾對角綫方法
1.2.1 波爾查諾的無窮觀
1.2.2 康拓爾的證明
1.2.3 自然數集的冪集（N）
1.3 基數
1.3.1 基數的概念
1.3.2 基數大小關係性質
1.4 自然數與有窮集
1.4.1 集閤論觀點下的自然數
1.4.2 有窮集與有窮基數
1.5 無窮集與N。
1.5.1 最小的無窮量
1.5.2 無窮集的肚量
1.6 更高的超窮基數
1.6.1 冪集的基數
1.6.2 關於冪集的康拓爾定理
1.6.3 其他超窮集的基數
1.6.4 連續統與連續統假設
本章習題

第2章 可計算性理論基礎
2.1 計算概念的形成與發展
2.1.1 計算概念的初識——抽象思維的進步
2.1.2 計算概念的定義——計算本質的揭示
2.1.3 計算概念的發展——計算方式的進化
7.2 算法與能行過程
2.2.1 算法概念的由來
2.2.2 算法概念的描述
2.2.3 能行過程與可計算性
2.2.4 停機問題
2.3 可計算性概念的數學描述
2.3.1 遞歸函數
2.3.2 圖靈機與圖靈可計算函數
2.4 理想計算機
2.4.1 URM模型與指令係統
2.4.2 URM可計算函數
本章習題

第3章 形式命題演算
3.1 命題與命題演算形式係統
3.1.1 命題的概念
3.1.2 命題的錶示與翻譯
3.1.3 命題演算形式係統
3.2 命題演算形式推理
3.2.1 命題演算形式證明與定理
3.2.2 相對證明與演繹定理
3.3 命題公式的等價與替換
3.3.1 等價命題公式
3.3.2 等價命題替換定理
3.4 對偶命題公式
3.4.1 命題公式的對偶式
3.4.2 對偶原則
3.5 形式係統再認識
3.5.1 形式係統理論
3.5.2 形式係統L的簡化
3.6 形式係統的進一步討論
3.6.1 賦值與重言式
3.6.2 L的可靠性定理
3.6.3 L的充分性定理
本章習題

第4章 謂詞演算
4.1 謂詞錶達式
4.1.1 謂詞與量詞
4.1.2 謂詞錶達式與翻譯
4.2 一階語言
4.2.1 一階語言g與謂詞公式
……

第5章 謂詞演算形式係統
第6章 一階算術形式係統與哥德爾不完備性定理
附錄A 習題解答
參考文獻
數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材 下載 mobi epub pdf txt 電子書 格式

評分☆☆☆☆☆

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》在內容組織上含納集閤論基礎知識、可計算性理論基本知識和經典數理邏輯3個部分，其中集閤論基礎部分著重介紹可數集與不可數集的概念，並運用集閤的基數以及基數的比較等有關知識，闡述“無窮可比”的思想，目的在於擴展學生的思維空間，深化學生對計算機有窮空間的認識；可計算性理論基礎部分以遞歸函數、圖靈計算和理想計算機為對象，從多個角度給齣“計算”概念的精確描述，目的在於幫助學生深入瞭解“計算”的本質，並對計算機的計算“行為”與“能力”有一個充分認識；經典邏輯部分包括命題邏輯和謂詞邏輯，著力於形式係統，重點介紹形式證明、形式推理，形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等療麵的知識，並以一階算術係統為例介紹邏輯係統的擴展方法，旨在幫助學生瞭解和掌握形式化方法，以此為工具更好地開展計算機基礎理論研究和計算機程序分析、設計與開發工作。《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》特色：

評分☆☆☆☆☆

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》在內容組織上含納集閤論基礎知識、可計算性理論基本知識和經典數理邏輯3個部分，其中集閤論基礎部分著重介紹可數集與不可數集的概念，並運用集閤的基數以及基數的比較等有關知識，闡述“無窮可比”的思想，目的在於擴展學生的思維空間，深化學生對計算機有窮空間的認識；可計算性理論基礎部分以遞歸函數、圖靈計算和理想計算機為對象，從多個角度給齣“計算”概念的精確描述，目的在於幫助學生深入瞭解“計算”的本質，並對計算機的計算“行為”與“能力”有一個充分認識；經典邏輯部分包括命題邏輯和謂詞邏輯，著力於形式係統，重點介紹形式證明、形式推理，形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等療麵的知識，並以一階算術係統為例介紹邏輯係統的擴展方法，旨在幫助學生瞭解和掌握形式化方法，以此為工具更好地開展計算機基礎理論研究和計算機程序分析、設計與開發工作。《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》特色：

評分☆☆☆☆☆

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》在內容組織上含納集閤論基礎知識、可計算性理論基本知識和經典數理邏輯3個部分，其中集閤論基礎部分著重介紹可數集與不可數集的概念，並運用集閤的基數以及基數的比較等有關知識，闡述“無窮可比”的思想，目的在於擴展學生的思維空間，深化學生對計算機有窮空間的認識；可計算性理論基礎部分以遞歸函數、圖靈計算和理想計算機為對象，從多個角度給齣“計算”概念的精確描述，目的在於幫助學生深入瞭解“計算”的本質，並對計算機的計算“行為”與“能力”有一個充分認識；經典邏輯部分包括命題邏輯和謂詞邏輯，著力於形式係統，重點介紹形式證明、形式推理，形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等療麵的知識，並以一階算術係統為例介紹邏輯係統的擴展方法，旨在幫助學生瞭解和掌握形式化方法，以此為工具更好地開展計算機基礎理論研究和計算機程序分析、設計與開發工作。《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》特色：

評分☆☆☆☆☆

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》在內容組織上含納集閤論基礎知識、可計算性理論基本知識和經典數理邏輯3個部分，其中集閤論基礎部分著重介紹可數集與不可數集的概念，並運用集閤的基數以及基數的比較等有關知識，闡述“無窮可比”的思想，目的在於擴展學生的思維空間，深化學生對計算機有窮空間的認識；可計算性理論基礎部分以遞歸函數、圖靈計算和理想計算機為對象，從多個角度給齣“計算”概念的精確描述，目的在於幫助學生深入瞭解“計算”的本質，並對計算機的計算“行為”與“能力”有一個充分認識；經典邏輯部分包括命題邏輯和謂詞邏輯，著力於形式係統，重點介紹形式證明、形式推理，形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等療麵的知識，並以一階算術係統為例介紹邏輯係統的擴展方法，旨在幫助學生瞭解和掌握形式化方法，以此為工具更好地開展計算機基礎理論研究和計算機程序分析、設計與開發工作。《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》特色：

評分☆☆☆☆☆

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》在內容組織上含納集閤論基礎知識、可計算性理論基本知識和經典數理邏輯3個部分，其中集閤論基礎部分著重介紹可數集與不可數集的概念，並運用集閤的基數以及基數的比較等有關知識，闡述“無窮可比”的思想，目的在於擴展學生的思維空間，深化學生對計算機有窮空間的認識；可計算性理論基礎部分以遞歸函數、圖靈計算和理想計算機為對象，從多個角度給齣“計算”概念的精確描述，目的在於幫助學生深入瞭解“計算”的本質，並對計算機的計算“行為”與“能力”有一個充分認識；經典邏輯部分包括命題邏輯和謂詞邏輯，著力於形式係統，重點介紹形式證明、形式推理，形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等療麵的知識，並以一階算術係統為例介紹邏輯係統的擴展方法，旨在幫助學生瞭解和掌握形式化方法，以此為工具更好地開展計算機基礎理論研究和計算機程序分析、設計與開發工作。《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》特色：

評分☆☆☆☆☆

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》在內容組織上含納集閤論基礎知識、可計算性理論基本知識和經典數理邏輯3個部分，其中集閤論基礎部分著重介紹可數集與不可數集的概念，並運用集閤的基數以及基數的比較等有關知識，闡述“無窮可比”的思想，目的在於擴展學生的思維空間，深化學生對計算機有窮空間的認識；可計算性理論基礎部分以遞歸函數、圖靈計算和理想計算機為對象，從多個角度給齣“計算”概念的精確描述，目的在於幫助學生深入瞭解“計算”的本質，並對計算機的計算“行為”與“能力”有一個充分認識；經典邏輯部分包括命題邏輯和謂詞邏輯，著力於形式係統，重點介紹形式證明、形式推理，形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等療麵的知識，並以一階算術係統為例介紹邏輯係統的擴展方法，旨在幫助學生瞭解和掌握形式化方法，以此為工具更好地開展計算機基礎理論研究和計算機程序分析、設計與開發工作。

評分☆☆☆☆☆

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》在內容組織上含納集閤論基礎知識、可計算性理論基本知識和經典數理邏輯3個部分，其中集閤論基礎部分著重介紹可數集與不可數集的概念，並運用集閤的基數以及基數的比較等有關知識，闡述“無窮可比”的思想，目的在於擴展學生的思維空間，深化學生對計算機有窮空間的認識；可計算性理論基礎部分以遞歸函數、圖靈計算和理想計算機為對象，從多個角度給齣“計算”概念的精確描述，目的在於幫助學生深入瞭解“計算”的本質，並對計算機的計算“行為”與“能力”有一個充分認識；經典邏輯部分包括命題邏輯和謂詞邏輯，著力於形式係統，重點介紹形式證明、形式推理，形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等療麵的知識，並以一階算術係統為例介紹邏輯係統的擴展方法，旨在幫助學生瞭解和掌握形式化方法，以此為工具更好地開展計算機基礎理論研究和計算機程序分析、設計與開發工作。《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》特色：

評分☆☆☆☆☆

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》在內容組織上含納集閤論基礎知識、可計算性理論基本知識和經典數理邏輯3個部分，其中集閤論基礎部分著重介紹可數集與不可數集的概念，並運用集閤的基數以及基數的比較等有關知識，闡述“無窮可比”的思想，目的在於擴展學生的思維空間，深化學生對計算機有窮空間的認識；可計算性理論基礎部分以遞歸函數、圖靈計算和理想計算機為對象，從多個角度給齣“計算”概念的精確描述，目的在於幫助學生深入瞭解“計算”的本質，並對計算機的計算“行為”與“能力”有一個充分認識；經典邏輯部分包括命題邏輯和謂詞邏輯，著力於形式係統，重點介紹形式證明、形式推理，形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等療麵的知識，並以一階算術係統為例介紹邏輯係統的擴展方法，旨在幫助學生瞭解和掌握形式化方法，以此為工具更好地開展計算機基礎理論研究和計算機程序分析、設計與開發工作。

評分☆☆☆☆☆

　　《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》在內容組織上含納集閤論基礎知識、可計算性理論基本知識和經典數理邏輯3個部分，其中集閤論基礎部分著重介紹可數集與不可數集的概念，並運用集閤的基數以及基數的比較等有關知識，闡述“無窮可比”的思想，目的在於擴展學生的思維空間，深化學生對計算機有窮空間的認識；可計算性理論基礎部分以遞歸函數、圖靈計算和理想計算機為對象，從多個角度給齣“計算”概念的精確描述，目的在於幫助學生深入瞭解“計算”的本質，並對計算機的計算“行為”與“能力”有一個充分認識；經典邏輯部分包括命題邏輯和謂詞邏輯，著力於形式係統，重點介紹形式證明、形式推理，形式係統的語法、語義等概念以及邏輯係統的可靠性與充分性等療麵的知識，並以一階算術係統為例介紹邏輯係統的擴展方法，旨在幫助學生瞭解和掌握形式化方法，以此為工具更好地開展計算機基礎理論研究和計算機程序分析、設計與開發工作。《數理邏輯/中國高等學校計算機科學與技術專業（應用型）規劃教材》特色：

類似圖書 點擊查看全場最低價