亚洲一区二区三区香蕉,中文字幕无码第三

　　《互模擬理論的邏輯研究》從邏輯的角度研究互模擬，主要以模型論、集合論和模態(tài)邏輯的知識為背景，意在從歷史層面揭示互模擬在模態(tài)邏輯和非良基集合論中的發(fā)展過程，從理論層面探討互模擬的基本理論和作用。
　　《互模擬理論的邏輯研究》的內(nèi)容主要包括互模擬的發(fā)展歷程、互模擬的基本理論和性質(zhì)、互模擬與模態(tài)等價之間的關(guān)系、基于互模擬的模態(tài)模型構(gòu)造技術(shù)、基于互模擬的非良基集合的分類和方程組的解引理、基于互模擬的模態(tài)邏輯與非良基集合論之間的內(nèi)在聯(lián)系、“雙模擬”的概念和性質(zhì)。
　　《互模擬理論的邏輯研究》可供數(shù)學(xué)、邏輯學(xué)和計算機專業(yè)的研究生閱讀.也可供那些對集合論和模型論感興趣的讀者閱讀、參考。

更多科學(xué)出版社服務(wù)，請掃碼獲取。

　　姚從軍是我2011年招收，2014年出站的博士后，自此我們結(jié)下了師生之緣，我們是亦師亦友的關(guān)系。他在中國社會科學(xué)院哲學(xué)研究所博士后流動站的任務(wù)是協(xié)助導(dǎo)師完成國家社科基金的重大課題。在做課題的那些日子里，從軍尊重師長、勤奮好學(xué)，以旺盛的精力攻讀了大量專業(yè)文獻(xiàn)；在研究團隊中，他寬容大度，樂于助人，積極參與了團隊的各種學(xué)術(shù)活動，這些都給我留下了深刻的印象。
　　從軍自2002年攻讀邏輯學(xué)碩士研究生以來，孜孜不倦地專攻現(xiàn)代邏輯，尤其是模態(tài)邏輯和語言邏輯。今天呈現(xiàn)在讀者面前的《互模擬理論的邏輯研究》一書，是從軍承擔(dān)的國家社會科學(xué)基金項目“互模擬理論的邏輯研究”（12BZX060）的結(jié)項成果，是他數(shù)年辛勤勞作的結(jié)晶，是他科研生涯階段性的標(biāo)志。祝賀從軍的收獲！
　　在20世紀(jì)80年代左右，人們在計算機科學(xué)、模態(tài)邏輯和集合論中大體上同時發(fā)現(xiàn)了互模擬的概念。今天，互模擬理論在模態(tài)邏輯、集合論和計算機科學(xué)領(lǐng)域已經(jīng)發(fā)揮了日益重要的作用。在模態(tài)邏輯方面，自從本特姆（Benthem）定理問世之后，互模擬被廣泛地運用于模態(tài)邏輯的研究中，目前已成為模態(tài)邏輯模型論的一個核心概念；在集合論中，互模擬的研究不斷向深度和廣度擴展，互模擬理論也是非良基集合論的核心；在計算機科學(xué)中，互模擬理論廣泛地應(yīng)用在并發(fā)系統(tǒng)的研究中。當(dāng)今，互模擬概念不斷被用到新的形式化理論中，這對于邏輯學(xué)，特別是哲學(xué)邏輯的進(jìn)一步發(fā)展將會起到更大的促進(jìn)作用。

你還可能感興趣

我要評論