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 Tungsten Carbides by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Elite Education and Internationalisation by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Advancement of Optical Methods in Experimental Mechanics, Volume 3 by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Data-Driven Process Discovery and Analysis by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Rule of Law and Fundamental Rights by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Econophysics and Data Driven Modelling of Market Dynamics by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Silicon and Plant Diseases by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Psychiatry Interrogated by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Researching Newsreels by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Quantitative Methods for Food Safety and Quality in the Vegetable Industry by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Martin Luther King by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Liability for Antitrust Law Infringements & Protection of IP Rights in Distribution by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Water and Power by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Varying Gravity by Natalia Serdyukova, Vladimir Serdyukov
Cover of the book Clinical Management of Pulmonary Disorders and Diseases 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