掃一掃
關(guān)注中圖網(wǎng)
官方微博
>
模態(tài)邏輯(第二版)
本類五星書更多>
-
>
貨幣大歷史:金融霸權(quán)與大國興衰六百年
-
>
(精)方力鈞作品圖錄
-
>
《藏書報》2021合訂本
-
>
(精)中國當(dāng)代書畫名家作品集·范碩:書法卷+繪畫卷(全2卷)
-
>
(噴繪樓閣版)女主臨朝:武則天的權(quán)力之路
-
>
書里掉出來一只狼+狼的故事-全2冊
-
>
奇思妙想創(chuàng)意玩具書(精裝4冊)
模態(tài)邏輯(第二版) 版權(quán)信息
- ISBN:9787310067176
- 條形碼:9787310067176 ; 978-7-310-06717-6
- 裝幀:暫無
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:
模態(tài)邏輯(第二版) 內(nèi)容簡介
模態(tài)邏輯是非經(jīng)典邏輯中發(fā)展*成熟、成果*豐富的一個分支。《模態(tài)邏輯(第二版)》是在2015年由南開大學(xué)出版社出版的《模態(tài)邏輯》的基礎(chǔ)上修訂完成的。本教材在單模態(tài)語言的基礎(chǔ)上,引入和使用了多模態(tài)語言,介紹了一些模態(tài)邏輯中目前比較新的、流行的概念和方法,如:加標(biāo)轉(zhuǎn)移結(jié)構(gòu)、互模擬等,有助于學(xué)生了解模態(tài)邏輯發(fā)展的前沿、學(xué)習(xí)模態(tài)邏輯的*新知識、掌握模態(tài)邏輯*新的概念和方法。本書適合邏輯學(xué)專業(yè)教師和學(xué)生閱讀參考
書友推薦
- >
新文學(xué)天穹兩巨星--魯迅與胡適/紅燭學(xué)術(shù)叢書(紅燭學(xué)術(shù)叢書)
- >
唐代進士錄
- >
我與地壇
- >
推拿
- >
經(jīng)典常談
- >
回憶愛瑪儂
- >
伊索寓言-世界文學(xué)名著典藏-全譯本
- >
月亮與六便士
本類暢銷