語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Towards paraconsistent engineering
~
Akama, Seiki.
FindBook
Google Book
Amazon
博客來
Towards paraconsistent engineering
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Towards paraconsistent engineering/ edited by Seiki Akama.
其他作者:
Akama, Seiki.
出版者:
Cham :Springer International Publishing : : 2016.,
面頁冊數:
xvi, 234 p. :ill. (some col.), digital ;24 cm.
內容註:
Introduction -- Why Paraconsistent Logics? -- An Application of Paraconsistent Logic to Physics: Complementarity -- Two Genuine 3-Valued Paraconsistent Logics -- A Survey of Annotated Logics -- A Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering -- Programming with Annotated Logics -- A Review on Rough Sets and Possible World Semantics for Modal Logics -- Paraconsistency, Chellas's Conditional Logics, and Association Rules -- A Beautiful Theorem -- Temporal Logic Modeling of Biological Systems -- Jair Minoro Abe on Paraconsistent Engineering.
Contained By:
Springer eBooks
標題:
Logic, Symbolic and mathematical. -
電子資源:
http://dx.doi.org/10.1007/978-3-319-40418-9
ISBN:
9783319404189
Towards paraconsistent engineering
Towards paraconsistent engineering
[electronic resource] /edited by Seiki Akama. - Cham :Springer International Publishing :2016. - xvi, 234 p. :ill. (some col.), digital ;24 cm. - Intelligent systems reference library,v.1101868-4394 ;. - Intelligent systems reference library ;v.24..
Introduction -- Why Paraconsistent Logics? -- An Application of Paraconsistent Logic to Physics: Complementarity -- Two Genuine 3-Valued Paraconsistent Logics -- A Survey of Annotated Logics -- A Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering -- Programming with Annotated Logics -- A Review on Rough Sets and Possible World Semantics for Modal Logics -- Paraconsistency, Chellas's Conditional Logics, and Association Rules -- A Beautiful Theorem -- Temporal Logic Modeling of Biological Systems -- Jair Minoro Abe on Paraconsistent Engineering.
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.
ISBN: 9783319404189
Standard No.: 10.1007/978-3-319-40418-9doiSubjects--Topical Terms:
532051
Logic, Symbolic and mathematical.
LC Class. No.: QA9.25
Dewey Class. No.: 511.3
Towards paraconsistent engineering
LDR
:02209nmm a2200325 a 4500
001
2043627
003
DE-He213
005
20160725155637.0
006
m d
007
cr nn 008maaau
008
170217s2016 gw s 0 eng d
020
$a
9783319404189
$q
(electronic bk.)
020
$a
9783319404172
$q
(paper)
024
7
$a
10.1007/978-3-319-40418-9
$2
doi
035
$a
978-3-319-40418-9
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA9.25
072
7
$a
UYQ
$2
bicssc
072
7
$a
COM004000
$2
bisacsh
082
0 4
$a
511.3
$2
23
090
$a
QA9.25
$b
.T737 2016
245
0 0
$a
Towards paraconsistent engineering
$h
[electronic resource] /
$c
edited by Seiki Akama.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2016.
300
$a
xvi, 234 p. :
$b
ill. (some col.), digital ;
$c
24 cm.
490
1
$a
Intelligent systems reference library,
$x
1868-4394 ;
$v
v.110
505
0
$a
Introduction -- Why Paraconsistent Logics? -- An Application of Paraconsistent Logic to Physics: Complementarity -- Two Genuine 3-Valued Paraconsistent Logics -- A Survey of Annotated Logics -- A Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering -- Programming with Annotated Logics -- A Review on Rough Sets and Possible World Semantics for Modal Logics -- Paraconsistency, Chellas's Conditional Logics, and Association Rules -- A Beautiful Theorem -- Temporal Logic Modeling of Biological Systems -- Jair Minoro Abe on Paraconsistent Engineering.
520
$a
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.
650
0
$a
Logic, Symbolic and mathematical.
$3
532051
650
1 4
$a
Engineering.
$3
586835
650
2 4
$a
Computational Intelligence.
$3
1001631
650
2 4
$a
Artificial Intelligence (incl. Robotics)
$3
890894
650
2 4
$a
Mathematical Logic and Foundations.
$3
892656
650
2 4
$a
Logic.
$3
529544
650
2 4
$a
Logics and Meanings of Programs.
$3
892495
700
1
$a
Akama, Seiki.
$3
2132615
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer eBooks
830
0
$a
Intelligent systems reference library ;
$v
v.24.
$3
1566491
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-40418-9
950
$a
Engineering (Springer-11647)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9283079
電子資源
11.線上閱覽_V
電子書
EB QA9.25 .T737 2016
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入