Наведено елементи комбінаторного аналізу, зокрема, число різних k-елементів <$Epi>-множинин n-елементної множини, перестановки та розміщення упорядкованих множин, а також методи рекурентних співвідношень, включень та вилучень, продуктивних функцій. Розкрито основні поняття загальної алгебри, теорії програмних інваріантів. Описано елементи теорії алгоритмів і математичної логіки, зокрема, числових висловлювань; наведено методи перевірки тотожної істинності формул числення висловлювань. Висвітлено теорії скінченних і абстрактних автоматів, наведено моделі алгоритмів і програм. Досліджено властивості формальних граматик і мов. Розглянуто особливості застосування теорії автоматів і графів у комп'ютерних інформаційних технологіях.

Приведены элементы комбинационного анализа, в частности, числа разных k-элементов <$Epi>-множеств n-элементного множества, перестановки и размещений упорядочных множеств, а также методы рекурентных соотношений, включений и выключений, продуктивных функций. Раскрыты основные понятия общей алгебры, теории программных инвариантов. Определены элементы теории алгоритмов и математической логики, в частности, числовых выражений, приведены методы проверки тождественной истинности формул числовых выражений. Освещены теории окончательных и абстрактных автоматов, приведены модели алгоритмов и программ. Исследованы свойства формальных грамматик и языков. Рассмотрены особенности использования теории автоматов и графов в компьютерных информационных технологиях.

Індекс рубрикатора НБУВ: В126я73-1

Шифр НБУВ: ВА624356 Пошук видання у каталогах НБУВ 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Кривий Сергій Лук"янович (фізико-математичні науки)
• Печурін Микола Капітонович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"