Algebraic Formalization of Smart Systems

Theory and Practice

  • Natalia Serdyukova
  • Vladimir Serdyukov

Part of the Smart Innovation, Systems and Technologies book series (SIST, volume 91)

Table of contents

  1. Front Matter
    Pages i-xxxvii
  2. Natalia Serdyukova, Vladimir Serdyukov
    Pages 1-20
  3. Natalia Serdyukova, Vladimir Serdyukov
    Pages 117-136
  4. Natalia Serdyukova, Vladimir Serdyukov
    Pages 149-169

About this book


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.


Smart Systems Framework Intelligent Systems Algebraic Formalization of Smart Systems Implementation of Smart Systems Theory and Practice of Smart Systems

Authors and affiliations

  • Natalia Serdyukova
    • 1
  • Vladimir Serdyukov
    • 2
  1. 1.Plekhanov Russian University of EconomicsMoscowRussia
  2. 2.and Institute of Education Management of the Russian Academy of EducationBauman Moscow State Technical UniversityMoscowRussia

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Engineering Engineering (R0)
  • Print ISBN 978-3-319-77050-5
  • Online ISBN 978-3-319-77051-2
  • Series Print ISSN 2190-3018
  • Series Online ISSN 2190-3026
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences