Algebraic Formalization of Smart Systems: Theory and Practice: 91 - Brossura

Serdyukova, Natalia; Serdyukov, Vladimir

 
9783030083588: Algebraic Formalization of Smart Systems: Theory and Practice: 91
Brossura
ISBN 10: 3030083586 ISBN 13: 9783030083588
Casa editrice: Springer, 2019

Sinossi

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 basedon 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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2019
Lingua
Inglese
ISBN 10 
3030083586
ISBN 13 
9783030083588
Rilegatura
Copertina flessibile
Numero di pagine
228
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783319770505: Algebraic Formalization of Smart Systems: Theory and Practice: 91

Edizione in evidenza

ISBN 10:  3319770500 ISBN 13:  9783319770505
Casa editrice: Springer-Nature New York Inc, 2018
Rilegato