The Resource Algebraic formalization of smart systems : theory and practice, Natalia Serdyukova, Vladimir Serdyukov, (electronic book)
Algebraic formalization of smart systems : theory and practice, Natalia Serdyukova, Vladimir Serdyukov, (electronic book)
Resource Information
The item Algebraic formalization of smart systems : theory and practice, Natalia Serdyukova, Vladimir Serdyukov, (electronic book) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Liverpool.This item is available to borrow from 1 library branch.
Resource Information
The item Algebraic formalization of smart systems : theory and practice, Natalia Serdyukova, Vladimir Serdyukov, (electronic book) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Liverpool.
This item is available to borrow from 1 library branch.
 Summary
 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
 Language
 eng
 Extent
 1 online resource.
 Contents

 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
 Isbn
 9783319770505
 Label
 Algebraic formalization of smart systems : theory and practice
 Title
 Algebraic formalization of smart systems
 Title remainder
 theory and practice
 Statement of responsibility
 Natalia Serdyukova, Vladimir Serdyukov
 Language
 eng
 Summary
 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
 Cataloging source
 N$T
 http://library.link/vocab/creatorName
 Serdyukova, Natalia
 Dewey number
 006.3
 Index
 index present
 LC call number
 Q342
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorName
 Serdyukov, Vladimir
 Series statement
 Smart innovation, systems, and technologies
 Series volume
 volume 91
 http://library.link/vocab/subjectName

 Computational intelligence
 Mathematical analysis
 Label
 Algebraic formalization of smart systems : theory and practice, Natalia Serdyukova, Vladimir Serdyukov, (electronic book)
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 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
 Control code
 SPR1028552211
 Dimensions
 unknown
 Extent
 1 online resource.
 File format
 unknown
 Form of item
 online
 Isbn
 9783319770505
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/9783319770512
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 on1028552211
 (OCoLC)1028552211
 Label
 Algebraic formalization of smart systems : theory and practice, Natalia Serdyukova, Vladimir Serdyukov, (electronic book)
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 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
 Control code
 SPR1028552211
 Dimensions
 unknown
 Extent
 1 online resource.
 File format
 unknown
 Form of item
 online
 Isbn
 9783319770505
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/9783319770512
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 on1028552211
 (OCoLC)1028552211
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Algebraicformalizationofsmartsystemstheory/jB44OBugZ1c/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Algebraicformalizationofsmartsystemstheory/jB44OBugZ1c/">Algebraic formalization of smart systems : theory and practice, Natalia Serdyukova, Vladimir Serdyukov, (electronic book)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Algebraic formalization of smart systems : theory and practice, Natalia Serdyukova, Vladimir Serdyukov, (electronic book)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Algebraicformalizationofsmartsystemstheory/jB44OBugZ1c/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Algebraicformalizationofsmartsystemstheory/jB44OBugZ1c/">Algebraic formalization of smart systems : theory and practice, Natalia Serdyukova, Vladimir Serdyukov, (electronic book)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>