Algebraic Formalization of Smart Systems

Theory and Practice

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, General Computing
Cover of the book Algebraic Formalization of Smart Systems by Natalia Serdyukova, Vladimir Serdyukov, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Natalia Serdyukova, Vladimir Serdyukov ISBN: 9783319770512
Publisher: Springer International Publishing Publication: March 8, 2018
Imprint: Springer Language: English
Author: Natalia Serdyukova, Vladimir Serdyukov
ISBN: 9783319770512
Publisher: Springer International Publishing
Publication: March 8, 2018
Imprint: Springer
Language: English

This book reveals the general laws of the theory of smart systems with the help of a very powerful and expressive language of algebraic formalization. It also shows how this language can be used to substantiate practical results in the field of smart systems, which previously had only an empirical justification. Further, it proposes a translation of the theory of smart systems from verbal language to a much more expressive language of algebraic formalization, allowing the laws of the theory of smart systems to be seen in a different light.

In 1937 L. Bertalanffy proposed the concept of an algebraic system and the development of a mathematical apparatus for describing systems. In the 1970s, A.I. Mal'tsev developed a theory of algebraic systems connecting algebra and logic for studying algebraic and logical objects. In the 1990s, the concept of purities by predicates was introduced by one of the authors, and the book includes some of its applications. The concept, which is based on the theory of algebraic systems, allows clarification of the connections between quantitative and qualitative analysis of a system.

The book is intended for readers who use elements of artificial intelligence in their work.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book reveals the general laws of the theory of smart systems with the help of a very powerful and expressive language of algebraic formalization. It also shows how this language can be used to substantiate practical results in the field of smart systems, which previously had only an empirical justification. Further, it proposes a translation of the theory of smart systems from verbal language to a much more expressive language of algebraic formalization, allowing the laws of the theory of smart systems to be seen in a different light.

In 1937 L. Bertalanffy proposed the concept of an algebraic system and the development of a mathematical apparatus for describing systems. In the 1970s, A.I. Mal'tsev developed a theory of algebraic systems connecting algebra and logic for studying algebraic and logical objects. In the 1990s, the concept of purities by predicates was introduced by one of the authors, and the book includes some of its applications. The concept, which is based on the theory of algebraic systems, allows clarification of the connections between quantitative and qualitative analysis of a system.

The book is intended for readers who use elements of artificial intelligence in their work.

More books from Springer International Publishing

Cover of the book The Objective Monitoring of Physical Activity: Contributions of Accelerometry to Epidemiology, Exercise Science and Rehabilitation by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Cardio-Oncology by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Lecture Notes on Wavelet Transforms by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Big Data and Visual Analytics by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Internet Science by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Introduction to Fluorescence Sensing by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Measuring and Analysing the Use of Ontologies by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book The Political Economy of Development in Southeastern Europe by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Strain Variation in the Mycobacterium tuberculosis Complex: Its Role in Biology, Epidemiology and Control by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Annual Update in Intensive Care and Emergency Medicine 2018 by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Twenty-First Century Marianne Moore by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book The Great Canoes in the Sky by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Spatial Network Data by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Innovation in Medicine and Healthcare 2017 by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Search for Sterile Neutrinos with the MINOS Long-Baseline Experiment by Natalia Serdyukova, Vladimir Serdyukov
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy