Logical approach to systems theory

Logical Approach to Systems Theory (LAST) provides the foundations for the second order treatment of system models and an effective framework for applying basic concepts in systems theory to the design of information systems. The main characteristics of LAST are: 1. type-free representation of syste...

Full description

Saved in:
Bibliographic Details
Main Authors: Takahashi, Shingo, Takahara, Yasuhiko, 1935- (Author)
Format: Livre numérique
Language:Anglais
Published: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Series:Lecture notes in control and information sciences 204
Subjects:
Online Access:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Logical approach to systems theory, Shingo Takahashi and Yasuhiko Takahara, London, Springer, 1995, xi, 174 p., Lecture notes in control and information sciences, 3-540-19956-X
• Logical Approach to Systems Theory, Texte imprimé, 9783662195239
LEADER 03118nam a22003857a 4500
001 969350
008 110927q2000 xxe ||| |||| 00| 0 eng d
009 PPN155172107
020 |a 9783540393733 (PDF) 
041 0 |a eng 
082 |a 003 
082 |a 620 
100 1 |a Takahashi, Shingo. 
245 1 0 |a Logical approach to systems theory   |c by Shingo Takahashi and Yasuhiko Takahara. 
260 |a Berlin [etc.] :  |b Springer. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
490 0 |a Lecture notes in control and information sciences  |v 204  |x 1610-7411 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
505 0 |a Outline of basic concepts -- System models and their structures -- Similarity of system models -- Canonical system model as realization -- Hierarchy -- Systems properties -- Futher topics on morphism and universality -- Summary and future problems. 
506 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
506 |a Accès soumis à abonnement pour tout autre établissement 
506 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 
520 |a Logical Approach to Systems Theory (LAST) provides the foundations for the second order treatment of system models and an effective framework for applying basic concepts in systems theory to the design of information systems. The main characteristics of LAST are: 1. type-free representation of system models; 2. distinction of system models from their structures; 3. hierarchical structure expansion, which describes inheritance of structures. The basic concept of LAST mainly focuses on a system model structure, morphism for similarity and universality of realization. This book provides a comprehensive treatment of the basic concepts and additional discussion of such important issues as hierarchy and system properties. 
650 |a Logique symbolique et mathématique 
650 |a Systèmes, Théorie des 
650 |a Ingénierie 
700 1 |a Takahara, Yasuhiko,  |d 1935-  |4 aut 
776 0 |0 023355948  |t Logical approach to systems theory  |f Shingo Takahashi and Yasuhiko Takahara  |c London  |n Springer  |d 1995  |p xi, 174 p.  |s Lecture notes in control and information sciences  |z 3-540-19956-X 
776 0 |t Logical Approach to Systems Theory  |b Texte imprimé  |z 9783662195239 
856 4 |q PDF  |u https://doi.org/10.1007/BFb0036273  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-JD254XNC-X  |z Accès sur la plateforme Istex 
856 4 |5 452349901:750674954  |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0036273  |z Accès Université d'Orléans 
856 4 |5 180339901:754023451  |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0036273  |z Accès INSA CVL 
997 |0 969350  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/Autre ressource numérique/