Language:
繁體中文
English
日文
說明(常見問題)
南開科技大學
圖書館首頁
編目中圖書申請
登入
回首頁
（回前一個查詢頁籤）
[ author_sort:"張靄珠" ]
切換:
標籤
|
MARC模式
|
ISBD
半符號邏輯 : 傳統邏輯與符號邏輯的橋樑
紀錄類型:
書目-電子資源 : 單行本
副題名:
傳統邏輯與符號邏輯的橋樑
作者:
張靄珠
出版地:
上海
出版者:
復旦大學出版社;
出版年:
2004
標題:
數理邏輯 - 研究 -
電子資源:
中華數字書苑--點擊此處查看電子書全文
附註:
需要下載並安裝APABI Reader軟件閱讀電子圖書
摘要註:
本書共分7章，探索構件的一種新的邏輯推理體系──半符號化推理演繹體系。該體系集形式邏輯和數理邏輯二者之所長，在保留形式邏輯推理、演繹直觀性的前提下，借助數理邏輯的符號演算體系進行邏輯推理。
ISBN:
7309042379
半符號邏輯 : 傳統邏輯與符號邏輯的橋樑
張靄珠
半符號邏輯
[電子資源] : 傳統邏輯與符號邏輯的橋樑 / 張靄珠著 - 上海 : 復旦大學出版社, 2004.
需要下載並安裝APABI Reader軟件閱讀電子圖書.
ISBN 7309042379
數理邏輯 -- 研究
半符號邏輯 : 傳統邏輯與符號邏輯的橋樑
LDR
:00981clm0 22002053 450
001
1000027425
005
20170807110944.0
009
APABI200600000543
010
0
$a
7309042379
$d
CNY7.00
100
$a
20080324d2004 em y0chiy0121 e
101
0
$a
chi
102
$a
cn
200
1
$a
半符號邏輯
$f
張靄珠著
$e
傳統邏輯與符號邏輯的橋樑
$b
電子資源
204
0
$a
電子資源
210
$a
上海
$c
復旦大學出版社
$d
2004
300
$a
需要下載並安裝APABI Reader軟件閱讀電子圖書
330
$a
本書共分7章，探索構件的一種新的邏輯推理體系──半符號化推理演繹體系。該體系集形式邏輯和數理邏輯二者之所長，在保留形式邏輯推理、演繹直觀性的前提下，借助數理邏輯的符號演算體系進行邏輯推理。
606
$a
數理邏輯
$x
研究
$2
cth
$3
1000029672
687
$a
O141
$v
4
700
1
$a
張靄珠
$3
1000035744
801
0
$a
CN
$b
方正APABI
$c
20080324
856
4
$u
http://cec.lib.apabi.com:80/product.asp?BookID=ISBN7%2d309%2d04237%2d9
$z
中華數字書苑--點擊此處查看電子書全文
997
$a
ISBN7-309-04237-9
0 筆讀者評論
館藏地:
全部
線上資料庫
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
備註欄
附件
OE0021021
線上資料庫
線上資源
線上電子書
OE
一般(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入