Logics for Computer and Data Sciences, and Artificial Intelligence

Logics for Computer and Data Sciences, and Artificial Intelligence
Author :
Publisher : Springer Nature
Total Pages : 372
Release :
ISBN-10 : 9783030916800
ISBN-13 : 3030916804
Rating : 4/5 (804 Downloads)

Book Synopsis Logics for Computer and Data Sciences, and Artificial Intelligence by : Lech T. Polkowski

Download or read book Logics for Computer and Data Sciences, and Artificial Intelligence written by Lech T. Polkowski and published by Springer Nature. This book was released on 2022-01-01 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Logics for Computer and Data Sciences, and Artificial Intelligence Related Books