2631
4
0
2023-01-03 14:36:01
2024-04-12
本書旨在介紹建立形式語言、形式語義和證明三位一體的數(shù)理邏輯系統(tǒng)所涉及核心思想、概念、組成部分和過程，建立數(shù)理邏輯與數(shù)學和計算機科學的緊密關系，揭示數(shù)理邏輯中符號化語言、解釋、模型、模型扽的概念 以及遞歸、算法、分解組合、模塊化、等價替換等處理結構復雜性處理的方法和技術形成計算思維的核心以及計算機科學和計算機軟件與系統(tǒng)的天然基礎。為此，第一章：導論，介紹了數(shù)理邏輯發(fā)張背景和過程；第二章：離散數(shù)學基礎提供了必要的數(shù)學準備。本書選擇了數(shù)理邏輯中最基本的內容， 包括第三章：樸素的命題邏輯、第四章：形式命題邏輯演算、第五章：樸素的謂詞邏輯和第六章：一階形式謂詞演算，介紹非形式邏輯的形式化過程，形式邏輯系統(tǒng)的重要成分和意義。之后，第七章：數(shù)學系統(tǒng)，建立數(shù)理邏輯與數(shù)學的關系。最后，第八章：程序設計理論導論，介紹程序邏輯的核心基礎，介紹計算機程序的語言的語法定義， 語義定義以及程序正確性的規(guī)約與證明的基本概念和思想。具體包括程序語言的操作語義、指稱語義、和公理語義，將程序語言、程序設計和程序正確性證明建立在數(shù)理邏輯的語法、語義和證明的三要素基礎上。
雖然數(shù)學基礎和數(shù)學思維永遠是重要，程序設計的基本知識也是有益處的，本書假設額外的數(shù)學和程序設計的只是，適合大學與計算機專業(yè)相關的本科生和研究生，以及數(shù)學專業(yè)和其他工程技術專業(yè)的學生作為教材或參考書；也適合從事計算機科學和計算機軟件與系統(tǒng)研究和實踐的專業(yè)人員閱讀參考。
