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

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