Skip to main content
Springer Nature Librarian Portal
Germany
You have 0 items in your cart
Log in
Menu

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0
View Cart
  • eBook:Logics for Computer Science

    Logics for Computer Science

    Classical and Non-Classical
    Anita Wasilewska
    978-3-319-92591-2
    2018
    Edition 1
    • Offers a comprehensive, intuitive understanding of different logics and discusses some of their applications to Computer Science, and also makes readers understand the need of, and existence of Symbolic Logic as a scientific field
    • Book chapters are as self-contained as possible so that they can be combined in different sequences depending of the level of a course one wants to teach it and of material one wants to teach, whether in Computer Science, Mathematics, or Artificial Intelligence
    • Includes long intuitive introductions to each chapter, many detailed examples explaining each of the introduced notions and definitions, and well-chosen sets of exercises with carefully written solutions. It also contains samples of quizzes and tests after each chapter
    • Includes links to the author's companion lecture slides for each chapter: several hundred presentations which summarize the ideas presented in the chapters for ease of comprehension
    • Includes supplementary material: sn.pub/extras

    €419

Is this helpful?

Yes No

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.