國立虎尾科技大學 |

Logics for Computer and Data Sciences, and Artificial Intelligence

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logics for Computer and Data Sciences, and Artificial Intelligence/ by Lech T. Polkowski.
作者:	Polkowski, Lech T.
面頁冊數:	XVIII, 362 p. 31 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Computational intelligence. -
電子資源:	https://doi.org/10.1007/978-3-030-91680-0
ISBN:	9783030916800

Logics for Computer and Data Sciences, and Artificial Intelligence
Polkowski, Lech T.

Logics for Computer and Data Sciences, and Artificial Intelligence[electronic resource] /by Lech T. Polkowski. - 1st ed. 2022. - XVIII, 362 p. 31 illus.online resource. - Studies in Computational Intelligence,9921860-9503 ;. - Studies in Computational Intelligence,564.

Propositional logic -- First-order logic -- Propositional modal logic -- Epistemic, default and dynamic logics -- Temporal logics -- Many-valued logics -- Approximate reasoning: Rough logics -- Beyond frst-order logics.

This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts. The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars. By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text. .

ISBN: 9783030916800

Standard No.: 10.1007/978-3-030-91680-0doiSubjects--Topical Terms:

568984
Computational intelligence.

LC Class. No.: Q342

Dewey Class. No.: 006.3

Logics for Computer and Data Sciences, and Artificial Intelligence
LDR:02432nam a22004095i 4500 001 1092010
003 DE-He213
005 20220114075806.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783030916800 $9 978-3-030-91680-0
024 7 $a 10.1007/978-3-030-91680-0 $2 doi
035 $a 978-3-030-91680-0
050 4 $a Q342
072 7 $a UYQ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
100 1 $a Polkowski, Lech T. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1399713
245 1 0 $a Logics for Computer and Data Sciences, and Artificial Intelligence $h [electronic resource] / $c by Lech T. Polkowski.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XVIII, 362 p. 31 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Studies in Computational Intelligence, $x 1860-9503 ; $v 992
505 0 $a Propositional logic -- First-order logic -- Propositional modal logic -- Epistemic, default and dynamic logics -- Temporal logics -- Many-valued logics -- Approximate reasoning: Rough logics -- Beyond frst-order logics.
520 $a This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts. The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars. By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text. .
650 0 $a Computational intelligence. $3 568984
650 0 $a Engineering—Data processing. $3 1297966
650 0 $a Artificial intelligence. $3 559380
650 1 4 $a Computational Intelligence. $3 768837
650 2 4 $a Data Engineering. $3 1226308
650 2 4 $a Artificial Intelligence. $3 646849
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030916794
776 0 8 $i Printed edition: $z 9783030916817
776 0 8 $i Printed edition: $z 9783030916824
830 0 $a Studies in Computational Intelligence, $x 1860-949X ; $v 564 $3 1253640
856 4 0 $u https://doi.org/10.1007/978-3-030-91680-0
912 $a ZDB-2-INR
912 $a ZDB-2-SXIT
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)
950 $a Intelligent Technologies and Robotics (R0) (SpringerNature-43728)