Trending Bestseller

Logics for Computer and Data Sciences, and Artificial Intelligence

No reviews yet Write a Review
Paperback / softback
19 December 2022
RRP: $284.91
$280.64
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:

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. 


You Can Find This Title In

    Product Details
    ISBN-13
    9783030916824
    Author
    Lech T. Polkowski
    Publisher
    Springer Nature B.V.
    Published
    19 December 2022
    Format
    Paperback / softback

    This product hasn't received any reviews yet. Be the first to review this product!

    RRP: $284.91
    $280.64
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Logics for Computer and Data Sciences, and Artificial Intelligence

    RRP: $284.91
    $280.64

    Description

    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. 


    You Can Find This Title In

      This Title Is Categorised As