Unlimited

Authorized users

Can lend chapters, not whole ebooks

Logics for computer and data sciences, and artificial intelligence / Lech T. Polkowski.

9783030916800 (electronic bk.)
3030916804 (electronic bk.)
9783030916794 (print)
3030916790

Cham, Switzerland : Springer, 2022.

English

1 online resource (xviii, 362 pages) : illustrations.

10.1007/978-3-030-91680-0 doi

QA76.9.L63

005.101/5113

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.

Includes bibliographical references and index.

Access limited to authorized users.

text file PDF

Online resource; title from PDF title page (SpringerLink, viewed January 4, 2022).

Studies in computational intelligence ; v. 992. 1860-9503

Print version: 9783030916794

Online Resources > Ebooks
All Resources