Geodesic
Formalized models of ontological systems
Kybernetika, Tome 18 (1982) no. 6, pp. 545-554 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 00A25, 00A71, 03B65, 03C90, 68Q45, 68Q55, 68U20, 93A10 
@article{KYB_1982_18_6_a5,
     author = {R\r{u}\v{z}i\v{c}ka, Milan},
     title = {Formalized models of ontological systems},
     journal = {Kybernetika},
     pages = {545--554},
     year = {1982},
     volume = {18},
     number = {6},
     mrnumber = {707400},
     zbl = {0505.93006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1982_18_6_a5/}
}
TY  - JOUR
AU  - Růžička, Milan
TI  - Formalized models of ontological systems
JO  - Kybernetika
PY  - 1982
SP  - 545
EP  - 554
VL  - 18
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/KYB_1982_18_6_a5/
LA  - en
ID  - KYB_1982_18_6_a5
ER  - 
%0 Journal Article
%A Růžička, Milan
%T Formalized models of ontological systems
%J Kybernetika
%D 1982
%P 545-554
%V 18
%N 6
%U http://geodesic.mathdoc.fr/item/KYB_1982_18_6_a5/
%G en
%F KYB_1982_18_6_a5
Růžička, Milan. Formalized models of ontological systems. Kybernetika, Tome 18 (1982) no. 6, pp. 545-554. http://geodesic.mathdoc.fr/item/KYB_1982_18_6_a5/

[1] J. Beneš: Teorie systémů. Academia. Praha 1974.

[2] J. Ježek: Univerzální algebra a teorie modelů. SNTL, Praha 1976. | MR

[3] J. B. Novik: O modelirovanii složnych sistem. Moskva 1972.

[4] R. Bek M. Růžička: On modelling of large variable systems of higher order by means of language systems. Kybernetika 15 (1979), 6, 408-418. | MR

[5] M. Růžička: Some fundamental notions of large variable systems. Kybernetika 17 (1981), 5, 435-450.

[6] M. Růžička: Input-output systems, their types and applications for the automata theory. Kybernetika 18 (1982), 2, 131 - 144. | MR

[7] R. Bek: Logika pro kurs automatizovaných systémů. ČVUT, Praha 1976.