- •1. Приклади використання моделей лінійного програмування для розв’язання задач управління на заліничному транспорті
- •2. Задачі нелінійного програмування
- •3. Сітьові задачі управління транспортними системами
- •3.1. Елементи теорії графів
- •3.2. Сітьові моделі транспортних задач
- •3.3. Задача про максимальний потік на сітках
- •3.4. Сітьове планування та управління на залізничному транспорті
- •3.5. Поняття про сіті петрі та принципи моделювання транспортної системи за допомогою сітей петрі
- •4. Задачі динамічного програмування
- •4.1. Задача про найкоротший шлях як сітьова здп
- •4.2. Приклад постановки та розв’язання марковської задачі прийняття рішень
- •5. Задачі теорії масового обслуговування в широкому колі їх постановок та прикладів
- •5.1. Приклад постановки і розв’язання задачі знаходження ймовірностей станів у системі обігу вагонів на залізничному вузлі
- •5.2. Метод динаміки середніх
- •6. Елементи класичної логіки
6. Елементи класичної логіки
Завершальний розділ викладання дисципліни виник як вимога познайомити студентів з основами математичної, або формальної логіки, засвоєння мови якої сприяє набуттю навичок правильних міркувань і переконливої аргументації, чіткого формулювання думок і висновків, формування загальної культури мислення. Очевидно, що перелічені якості повинні бути притаманні будь-якому фахівцю та управлінцю. Тобто, з одного боку, цей розділ можна розглядати як інструмент, який використовується при постановці та коректному розв’язанні розглянутих у наданому курсі задач. А з другого боку, його можна розглядати як окрему наукову дисципліну, яка закладає фундамент для вивчення узагальненої класичної логіки, а саме теорії нечітких множин та нечіткої логіки, причиною появи якої стала наявність нечітких наближених міркувань при описі процесів, систем, об’єктів.
Класичні розділи математичної логіки складаються з: алгебри висловлювань; числення висловлювань; логіки предикатів. Всі ці поняття у достатньому обсязі вводяться, обговорюються та наповнюються прикладами у конспекті лекцій “Дискретна математика. Висловлювання” [11], написаному викладачами кафедри.
ЛІТЕРАТУРА
Математичне програмування : Методичні вказівки і завдання з теми для студентів економічних спеціальностей заочної скороченої форми навчання. Ч 1 / [Ковалішина I.B.] – Харків : ХарДАЗТ, 1999. – 48с. [№3534].
Математичне програмування : Завдання і методичні вказівки до виконання контрольної роботи. Частина 1 / [Думіна O.O,, Удодова O.I.] – Харків : УкрДАЗТ, 2007. – 54с. [№1358].
Математичне програмування : Методичні вказівки і завдання з теми для студентів економічних спеціальностей заочної скороченої форми навчання. Ч 2 / [Ковалішина I.B.] – Харків : ХарДАЗТ, 1999. – 46с. [№3535].
Математичне програмування : Завдання і методичні вказівки до виконання контрольної роботи. Частина 2. / [Думіна O.O., Резуненко М.Є., Удодова O.I., Шувалова Ю.С.] – Харків : УкрДАЗТ, 2009. – 54с. [№1441].
Дослідження операцій : Методичні вказівки для студентів економічних спеціальностей денної та безвідривної форми навчання / [Юрчак Н.С., Волохова Н.І., Думіна О.О.] – Харків : УкрДАЗТ, 2005. – 58с. [№ 1298].
Акулиничев В.М. Математические методи в эксплуатации железных дорог: учеб. пособие для вузов ж.-д. трансп. / В.М. Акулиничев, В.А. Кудрявцев, А.Н. Корешков – М. : Транспорт, 1981. – 223 с.
Таха Хэмди А. Введение в исследование операций : пер. с англ. – М. : Издательский дом ″Вильямс″, 2001. - 912 с.
Єфременко Р.О. Елементи теорії марковських ланцюгів : Конспект лекцій / Єфременко Р.О., Глушакова Г.Ю., Резуненко М.Є. . – Харків : УкрДАЗТ, 2004. – 42 с.
Єфременко Р.О. Елементи теорії масового обслуговування : Конспект лекцій / Єфременко Р.О., Глушакова Г.Ю., Резуненко М.Є. . – Харків : УкрДАЗТ, 2004. – 42 с.
Ломотько Д.В. Частина 1. Розподіл імовірності станів системи обороту вагонів на залізничному вузлі. Загальне рішення / Д.В. Ломотько, С.Д. Бронза, М.Ж. Овчієв // Інформаційно-керуючі системи на залізничному транспорті, 2012, №6, с.15-18.
Думіна О.О. Дискретна математика. Висловлювання обслуговування. Частина 1 : Конспект лекцій / Думіна О.О., Колбасіна Є.Ю., Удодова О.І., Шувалова Ю.С. – Харків : УкрДАЗТ, 2012. – 26 с.