Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Logics for Computer and Data Sciences, and Artificial...
Stock Image
Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030916824_new
Buy New
US$ 202.42
Shipping:
US$ 15.74
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Logics for Computer and Data Sciences, and Artificial Intelligence
Published by
Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3030916820
ISBN 13: 9783030916824
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 761710402
Buy New
US$ 192.82
Shipping:
US$ 56.43
From Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Logics for Computer and Data Sciences, and Artificial Intelligence
ISBN 10: 3030916820
ISBN 13: 9783030916824
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 380 pp. Englisch. Seller Inventory # 9783030916824
Stock Image
Logics for Computer and Data Sciences, and Artificial Intelligence
Published by
Springer International Publishing, 2022
ISBN 10: 3030916820
ISBN 13: 9783030916824
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 41187478/2
Stock Image
Logics for Computer and Data Sciences, and Artificial Intelligence
Published by
Springer International Publishing, 2022
ISBN 10: 3030916820
ISBN 13: 9783030916824
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 41187478/1
Seller Image
Logics for Computer and Data Sciences, and Artificial Intelligence
Published by
Springer Nature Switzerland, 2022
ISBN 10: 3030916820
ISBN 13: 9783030916824
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Logics for Computer and Data Sciences, and Artificial Intelligence | Lech T. Polkowski | Taschenbuch | xviii | Englisch | 2022 | Springer Nature Switzerland | EAN 9783030916824 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 125848546
Stock Image
Logics For Computer And Data Sciences, A
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783030916824
Stock Image
Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP. Seller Inventory # 26396290854
Seller Image
Logics for Computer and Data Sciences, and Artificial Intelligence
Published by
Springer International Publishing, Springer Nature Switzerland Dez 2022, 2022
ISBN 10: 3030916820
ISBN 13: 9783030916824
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch. Seller Inventory # 9783030916824
Seller Image
Logics for Computer and Data Sciences, and Artificial Intelligence
Published by
Springer International Publishing, Springer Nature Switzerland, 2022
ISBN 10: 3030916820
ISBN 13: 9783030916824
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783030916824