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

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