About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Růžička, Milan
Formalized models of ontological systems. (English). Kybernetika, vol. 18 (1982), issue 6, pp. 545-554
MSC: 00A25, 00A71, 03B65, 03C90, 68Q45, 68Q55, 68U20, 93A10 | MR 707400 | Zbl 0505.93006
References:
[1] J. Beneš: Teorie systémů. Academia. Praha 1974.
[2] J. Ježek: Univerzální algebra a teorie modelů. SNTL, Praha 1976. MR 0546057
[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 0562373
[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 0679785
[7] R. Bek: Logika pro kurs automatizovaných systémů. ČVUT, Praha 1976.
Partner of
EuDML logo