001443359 000__ 03048cam\a2200553Ii\4500
001443359 001__ 1443359
001443359 003__ OCoLC
001443359 005__ 20230310003540.0
001443359 006__ m\\\\\o\\d\\\\\\\\
001443359 007__ cr\un\nnnunnun
001443359 008__ 220104s2022\\\\sz\a\\\\ob\\\\001\0\eng\d
001443359 019__ $$a1290814247$$a1290840071$$a1294365985$$a1294369461$$a1296666592
001443359 020__ $$a9783030916800$$q(electronic bk.)
001443359 020__ $$a3030916804$$q(electronic bk.)
001443359 020__ $$z9783030916794$$q(print)
001443359 020__ $$z3030916790
001443359 0247_ $$a10.1007/978-3-030-91680-0$$2doi
001443359 035__ $$aSP(OCoLC)1290725312
001443359 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCO$$dDCT$$dOCLCF$$dN$T$$dDKU$$dOCLCO$$dUKAHL$$dOCLCQ
001443359 049__ $$aISEA
001443359 050_4 $$aQA76.9.L63
001443359 08204 $$a005.101/5113$$223
001443359 1001_ $$aPolkowski, Lech,$$eauthor.
001443359 24510 $$aLogics for computer and data sciences, and artificial intelligence /$$cLech T. Polkowski.
001443359 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001443359 300__ $$a1 online resource (xviii, 362 pages) :$$billustrations.
001443359 336__ $$atext$$btxt$$2rdacontent
001443359 337__ $$acomputer$$bc$$2rdamedia
001443359 338__ $$aonline resource$$bcr$$2rdacarrier
001443359 347__ $$atext file$$bPDF$$2rda
001443359 4901_ $$aStudies in computational intelligence,$$x1860-9503 ;$$vvolume 992
001443359 504__ $$aIncludes bibliographical references and index.
001443359 5050_ $$aPropositional 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.
001443359 506__ $$aAccess limited to authorized users.
001443359 520__ $$aThis 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.
001443359 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 4, 2022).
001443359 650_0 $$aComputer logic.
001443359 650_0 $$aArtificial intelligence.
001443359 650_6 $$aLogique informatique.
001443359 650_6 $$aIntelligence artificielle.
001443359 655_0 $$aElectronic books.
001443359 77608 $$iPrint version:$$z3030916790$$z9783030916794$$w(OCoLC)1280390923
001443359 830_0 $$aStudies in computational intelligence ;$$vv. 992.$$x1860-9503
001443359 852__ $$bebk
001443359 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-91680-0$$zOnline Access$$91397441.1
001443359 909CO $$ooai:library.usi.edu:1443359$$pGLOBAL_SET
001443359 980__ $$aBIB
001443359 980__ $$aEBOOK
001443359 982__ $$aEbook
001443359 983__ $$aOnline
001443359 994__ $$a92$$bISE