Page 12 - 4592

системі, обміну сигналами між елементами системи, формування

вихідних сигналів за зміни станів елементів. Імітаційні моделі
дозволяють врахувати такі різнорідні властивості елементів
системи, як неперервність та дискретність, детермінізм та
стохастичність, лінійність та не лінійність. Концепція ООП,

власне, реалізує парадигму імітаційного моделювання.
Серед методів теоретичних досліджень можна виділити
наступні:

- історичний;
- системний;
- логічний;

- когнітивний.
Дані методи, застосовуються для вирішення і аналізу
складних математичних задач за допомогою використання

інформаційних технологій. До методів теоретичних досліджень
також можна віднести:
- метод сходження від абстрактного до корректного;
- метод формалізації;

- аксіоматичний метод.
Формалізація це метод вивчення різноманітних об’єктів,
явищ, елементів, зв’язків шляхом їх відображення та

відображення їх структури за допомогою штучних мов, в
переважно математичних.
Переваги формалізації:
– забезпечує узагальненість до вирішення проблем;

– стислість, чіткість подачі інформації;
– однозначність інформації, тобто уникаємо
багатозначності звичної мови.

– формалізація дає змогу формалізувати знакові моделі
об’єктів і замінювати значення реальних процесів при
дослідженні моделей.

Серед великої різноманітності загальних наукових методів
окремо виділяють історичний і логічний які дозволяють
відтворити досліджуваний об’єкт і уявити собі як він розвивався.

Загально науковий статус має:
- математичний (кількісне визначення предметів та явищ),
- аксіоматичний,

12