Algebraic formalization of smart systems : theory and practice / Natalia Serdyukova, Vladimir Serdyukov.
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 j...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
[2018]
|
| Series: | Smart innovation, systems, and technologies ;
91. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xi 4500 | ||
|---|---|---|---|
| 001 | b10151908 | ||
| 003 | CoU | ||
| 005 | 20180619103527.8 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 180313s2018 sz ob 001 0 eng d | ||
| 019 | |a 1028652205 |a 1028851981 | ||
| 020 | |a 9783319770512 |q (electronic bk.) | ||
| 020 | |a 3319770519 |q (electronic bk.) | ||
| 020 | |z 9783319770505 | ||
| 020 | |z 3319770500 | ||
| 024 | 7 | |a 10.1007/978-3-319-77051-2 | |
| 035 | |a (OCoLC)spr1028552211 | ||
| 035 | |a (OCoLC)1028552211 |z (OCoLC)1028652205 |z (OCoLC)1028851981 | ||
| 037 | |a spr10.1007/978-3-319-77051-2 | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d N$T |d YDX |d GW5XE |d AZU |d OCLCF |d UPM |d EBLCP |d MERER | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a Q342 | |
| 100 | 1 | |a Serdyukova, Natalia, |e author. | |
| 245 | 1 | 0 | |a Algebraic formalization of smart systems : |b theory and practice / |c Natalia Serdyukova, Vladimir Serdyukov. |
| 264 | 1 | |a Cham, Switzerland : |b Springer, |c [2018] | |
| 300 | |a 1 online resource. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file |b PDF |2 rda. | ||
| 490 | 1 | |a Smart innovation, systems and technologies, |v volume 91. | |
| 504 | |a Includes bibliographical references and index. | ||
| 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. | ||
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed March 14, 2018) | |
| 650 | 0 | |a Computational intelligence. |0 http://id.loc.gov/authorities/subjects/sh94004659. | |
| 650 | 0 | |a Mathematical analysis. |0 http://id.loc.gov/authorities/subjects/sh85082116. | |
| 650 | 7 | |a Computational intelligence. |2 fast |0 (OCoLC)fst00871995. | |
| 650 | 7 | |a Mathematical analysis. |2 fast |0 (OCoLC)fst01012068. | |
| 700 | 1 | |a Serdyukov, Vladimir, |e author. | |
| 776 | 0 | 8 | |c Original |z 3319770500 |z 9783319770505 |w (OCoLC)1022082805. |
| 830 | 0 | |a Smart innovation, systems, and technologies ; |v 91. |0 http://id.loc.gov/authorities/names/no2010151051. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-77051-2 |z Full Text (via Springer) |
| 907 | |a .b101519084 |b 03-19-20 |c 06-26-18 | ||
| 998 | |a web |b 07-11-18 |c g |d b |e - |f eng |g sz |h 0 |i 1 | ||
| 907 | |a .b101519084 |b 07-02-19 |c 06-26-18 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b101519084 |b 07-11-18 |c 06-26-18 | ||
| 915 | |a I | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Engineering eBooks 2018 English+International | ||
| 999 | f | f | |i e09ecd9b-b4fd-57ae-a3e7-ba4a8adfd58f |s 9da92195-1829-59fd-8799-e32d12c90cbd |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e Q342 |h Library of Congress classification |i Ebooks, Prospector |n 1 |