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