Інформатика

Концептуальна модель персонального комп'ютера. Функціональний опис ресурсів. Розробленняімітаційної моделіНЕ 2.4 Моделювання систем масового обслуговування.Принципи та методи моделювання систем масового обслуговування.НЕ 2.5 Моделювання мереж Петрі.Принципи та методи моделювання мереж Петрі.НЕ 2.6 Аналіз результатів імітаційного моделювання. Способипідвищення надійності та їх реалізація.Аналіз та способи підвищення надійності результатів імітаційногомоделювання.Основна література до курсу:1. Томашевський В.М. Моделювання систем. – К.: Видавнича група BHV,2005. – 352 с.2. Моисеев Н.Н. Математические задачи системного анализа. – М.: Наука,1981. – 488 с.3. Заренин Ю.Г. и др. Надежность и єффективность АСУ. –– К.: Техніка,1975. – 368 с.4. Коваленко И.Н., Филиппова А.А. Теория вероятностей иматематическая статистика. – М.: Высшая школа, 1973. – 368 с.5. Скороход А.В., Теорія ймовірностей і елементи теорії випадковихпроцесів, К., 1974. – 432 c.6. Петров А.А Математическое моделирование экономического развития.– М.: Знание, 1984. – 64 с.«Теорія алгоритмів»108 години (3.5 кредити)Мета викладання дисципліни: – ознайомити студентів:- з різними формальними уточненнями базового поняття теоріїпрограмування – алгоритму і його властивостями та виробити навикизастосування теоретичних знань у практичній діяльності;- з означенням та способами задання нумерацій та їх застолсуваннямиУ результаті вивчення курсу студент має набути таких компетенцій:- знати означення алгоритму та його основні властивості;- знати теоретичні засади формальних моделей алгоритму та АОФ;- розробляти та реалізовувати алгоритми для основних АОФ в різнихформальних моделях алгоритму;- знати означення і способи задання нумерацій;- розв’язувати канторові рівняння- застосовувати канторові нумерації для побудови гьоделевих нумерацій різних формальнихмоделей алгоритму, ПРФ, ЧРФ, РФ.- вміти моделювати на ЕОМ різні формальні моделі алгоритму.Вивчення курсу здійснюється за двома змістовими модулям:Змістовий модуль 1« Формальні моделі алгоритмів та