Авдеюк, Павло Іванович; Зеленський, Олексій Віталійович
(Кам’янець-Подільський національний університет імені Івана Огієнка, 2019)
Посібник містить стислий виклад основ математичної логіки та теорії алгоритмів, а саме алгебру висловлень, числення висловлень, логіку предикатів, числення предикатів, рекурсивні функції, алгоритм як абстрактна машина. Для ...