本書主要介紹邏輯動態(tài)系統(tǒng)在應(yīng)用方面的最新研究進展，特別關(guān)注在下列領(lǐng)域的應(yīng)用研究：有限自動機、圖論、運籌學(xué)與控制論以及布爾網(wǎng)絡(luò)等。在有限自動機領(lǐng)域，本書討論了自動機的動態(tài)建模問題、可達(dá)性問題及可控性問題。在圖論領(lǐng)域，本書重點介紹了利用邏輯系統(tǒng)的方法去研究圖的結(jié)構(gòu)分析問題，以及圖的結(jié)構(gòu)分解在運籌學(xué)中的應(yīng)用，例如多軌道任務(wù)分配問題的可解性條件等。在布爾網(wǎng)絡(luò)方面，本書著重分析了布爾網(wǎng)絡(luò)預(yù)測集的辨識問題以及代數(shù)化簡等問題。本書適合控制科學(xué)與工程、工業(yè)自動化、系統(tǒng)科學(xué)、控制理論、數(shù)學(xué)、人工智能等專業(yè)的師生及

《數(shù)學(xué)基礎(chǔ)研究》是后期維特根斯坦有關(guān)數(shù)學(xué)哲學(xué)的研究結(jié)晶。其主要內(nèi)容是根據(jù)其后期新的哲學(xué)理解對當(dāng)時流行的數(shù)學(xué)基礎(chǔ)研究中的形式主義思潮、邏輯主義思潮、直覺主義思潮進行分析和批評。本書譯者是北京大學(xué)哲學(xué)系教授、著名的維特根斯坦專家韓林合先生�！稊�(shù)學(xué)基礎(chǔ)研究》是譯者參考維特根斯坦的手稿，重新編輯而成，并以譯者的多年的研究為基礎(chǔ)做出大量的注釋。