Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Analysis of interaction IPi with TMi is made, types of modification of TMi, which are made under influence of IPi are researched. It’s shown that synthesis of IPi with TMi is made on different levels of abstract reflection of interacting components. This allows ensuring correct transformations which take place in TMi, during implementation of processes of synthesis IPi with TMi. Beside semantic parameters and their values imagination about priorities which characterize separate components of text models is introduced. Such extension allows better taking into account of semantic of separate text components during making processes of synthesis of IPi with TMi, which leads to increase of abilities of adequate description of social objects by means of text models.
Słowa kluczowe
Rocznik
Tom
Strony
65--72
Opis fizyczny
Bibliogr. 10 poz.
Twórcy
autor
- Maritime University of Szczecin; Academy Printed, Lwow, Ukraina
autor
- Ukraińska Akademia Drukarstwa, Lwów
Bibliografia
- 1. MENDELSON E.: Introduction to mathematical logic. Nauka, M. 1071.
- 2. KAPITONOVA Y.V., KRIVIY S.L., LETICHEVSKIY O.A., LUTSKIY G.M., PECHURIN M.K.: Basics of discrete mathematics. Naukova Dumka, Kyiv 2002.
- 3. LAPTEV V.S.: C++ Express course. BHV-Petersburg, SPb. 2004.
- 4. ROMANOV E.L.: C++ language in tasks, questions and answers. NGTU, Novosibirsk 2003.
- 5. Informatics. Introductory course. Piter, SPb. 2000.
- 6. TAPSCOTT D.: Electronic digital society. INT-press, M. 1999.
- 7. MUKHAEV R.T.: Sociology. Study book for universities. Kniga-service, M. 2003.
- 8. SOKOLOV A.V., SHANGIN V.F.: Protection of information In distributed corporate networks and systems. DMK-press, M. 2002.
- 9. CHERNYAVSKIY D.S.: Synergy and information. Editeral URSS, M. 2004.
- 10. TAKEUTI G.: Theory of proofs. Mir, M. 1978.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-614aefb3-f5a1-45d3-b61c-f47eeb033ab9