高雄醫學大學圖書館 |

語系/ Language: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

半符號邏輯 : 傳統邏輯與符號邏輯的橋樑

~

張靄珠

半符號邏輯 : 傳統邏輯與符號邏輯的橋樑

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	傳統邏輯與符號邏輯的橋樑
作者:	張靄珠
出版地:	上海
出版者:	復旦大學出版社;
出版年:	2004
標題:	數理邏輯 - 研究 -
電子資源:	http://cec.lib.apabi.com:80/product.asp?BookID=ISBN7%2d309%2d04237%2d9
摘要註:	本書共分7章，探索構件的一種新的邏輯推理體系──半符號化推理演繹體系。該體系集形式邏輯和數理邏輯二者之所長，在保留形式邏輯推理、演繹直觀性的前提下，借助數理邏輯的符號演算體系進行邏輯推理。
ISBN:	7309042379

半符號邏輯 : 傳統邏輯與符號邏輯的橋樑
張靄珠

半符號邏輯 : 傳統邏輯與符號邏輯的橋樑 / 張靄珠著 - 上海 : 復旦大學出版社, 2004.
ISBN 7309042379
數理邏輯 -- 研究

半符號邏輯 : 傳統邏輯與符號邏輯的橋樑
LDR:00976nam0 2200217 i 450 001 90744
003 2110200 3299260
005 20101111095514.0
009 0299260
010 0 $a 7309042379 $d CNY7.00
100 $a 20091214d2004 em y0chiy0121 e
101 0 $a chi
102 $a cn
200 1 $a 半符號邏輯 $f 張靄珠著 $e 傳統邏輯與符號邏輯的橋樑
204 0 $a 電子資源
210 $a 上海 $d 2004 $c 復旦大學出版社
330 $a 本書共分7章，探索構件的一種新的邏輯推理體系──半符號化推理演繹體系。該體系集形式邏輯和數理邏輯二者之所長，在保留形式邏輯推理、演繹直觀性的前提下，借助數理邏輯的符號演算體系進行邏輯推理。
337 $a 需要下載並安裝APABI Reader軟件閱讀電子圖書
606 $a 數理邏輯 $x 研究 $3 96342
687 $2 80000 $3 3772 $a O141 $v 4
700 1 $a 張靄珠 $3 27002
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 讀者評論

多媒體

評論

新增評論分享你的心得，請勿在此評論區張貼涉及人身攻擊、情緒謾罵、或內容涉及非法的不當言論，館方有權利刪除任何違反評論規則之發言，情節嚴重者一律停權，以維護所有讀者的自由言論空間。

Export

取書館別

變更密碼

登入