國立虎尾科技大學 |

Algebraic formalization of smart systems = theory and practice /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Algebraic formalization of smart systems/ by Natalia Serdyukova, Vladimir Serdyukov.
Reminder of title:	theory and practice /
Author:	Serdyukova, Natalia.
other author:	Serdyukov, Vladimir.
Published:	Cham :Springer International Publishing : : 2018.,
Description:	xxxvii, 189 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Computational intelligence. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-77051-2
ISBN:	9783319770512

Algebraic formalization of smart systems = theory and practice /
Serdyukova, Natalia.

Algebraic formalization of smart systemstheory and practice /[electronic resource] :by Natalia Serdyukova, Vladimir Serdyukov. - Cham :Springer International Publishing :2018. - xxxvii, 189 p. :ill., digital ;24 cm. - Smart innovation, systems and technologies,v.912190-3018 ;. - Smart innovation, systems and technologies ;16..

The Problem of General Systems Theory's Formalization -- The Performance of a System by Using an Algebraic System of Factors Determining the System -- The Simulation of the System with the Help of Finite Group of Factors Determining the System -- External and Internal Properties of a System -- Formalization of System Links and Duality in Smart Systems Theory -- Algebraic Approach to the Risk Description -- The Transition from an Infinite Model of Factors that Determine the System to a Finite Model -- Algebraic Formalization of Sustainability Concept and Sustainability of Ranking Systems in Education.

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.

ISBN: 9783319770512

Standard No.: 10.1007/978-3-319-77051-2doiSubjects--Topical Terms:

568984
Computational intelligence.

LC Class. No.: Q342 / .S473 2018

Dewey Class. No.: 006.3

Algebraic formalization of smart systems = theory and practice /
LDR:02865nam a2200325 a 4500 001 924936
003 DE-He213
005 20180927140726.0
006 m d
007 cr nn 008maaau
008 190625s2018 gw s 0 eng d
020 $a 9783319770512 $q (electronic bk.)
020 $a 9783319770505 $q (paper)
024 7 $a 10.1007/978-3-319-77051-2 $2 doi
035 $a 978-3-319-77051-2
040 $a GP $c GP
041 0 $a eng
050 4 $a Q342 $b .S473 2018
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
082 0 4 $a 006.3 $2 23
090 $a Q342 $b .S482 2018
100 1 $a Serdyukova, Natalia. $3 1202312
245 1 0 $a Algebraic formalization of smart systems $h [electronic resource] : $b theory and practice / $c by Natalia Serdyukova, Vladimir Serdyukov.
260 $a Cham : $c 2018. $b Springer International Publishing : $b Imprint: Springer,
300 $a xxxvii, 189 p. : $b ill., digital ; $c 24 cm.
490 1 $a Smart innovation, systems and technologies, $x 2190-3018 ; $v v.91
505 0 $a The Problem of General Systems Theory's Formalization -- The Performance of a System by Using an Algebraic System of Factors Determining the System -- The Simulation of the System with the Help of Finite Group of Factors Determining the System -- External and Internal Properties of a System -- Formalization of System Links and Duality in Smart Systems Theory -- Algebraic Approach to the Risk Description -- The Transition from an Infinite Model of Factors that Determine the System to a Finite Model -- Algebraic Formalization of Sustainability Concept and Sustainability of Ranking Systems in Education.
520 $a 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.
650 0 $a Computational intelligence. $3 568984
650 0 $a Mathematical analysis. $3 527926
650 1 4 $a Engineering. $3 561152
650 2 4 $a Computational Intelligence. $3 768837
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 593924
700 1 $a Serdyukov, Vladimir. $3 1202313
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Smart innovation, systems and technologies ; $v 16. $3 885522
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-77051-2
950 $a Engineering (Springer-11647)