Ukrainian
Summary:До навчального посібника ввійшли розділи, які використовують основні поняття теорії множини та відношень, загальної алгебри, математичної логіки і теорії алгоритмів. Розглянуто основні поняття та методи теорії графів. Представлено формальні логічні мови, такі як логіка висловлювань, лінійна темпоральна логіка та логіка предикатів першого порядку. Одним з найбільших розділів даного посібника є розділ з теорії складності обчислень за Тьюрінгом.
Russian
Summary:В учебноепособие вошли разделы, которые используют основные понятия теории множеств и отношений, общей алгебры, математической логики и теории алгоритмов. Рассмотрены основные понятия и методы теории графов.Представлены формальные логические языки, такие как логика высказываний, линейная темпоральная логика и логика предикатов первого порядка.Одним из самых больших разделов данного пособия есть раздел по теории сложности вычислений по Тьюрингу.