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