Abstract:
Посібник містить стислий виклад основ математичної логіки та теорії алгоритмів, а саме алгебру висловлень, числення висловлень, логіку предикатів, числення предикатів, рекурсивні функції, алгоритм як абстрактна машина. Для ілюстрації теоретичного матеріалу приведена достатня кількість вправ та прикладів, частика яких розв’язана в тексті, частина пропонується для самостійної роботи. Книжка розрахована для початкового вивчення предмету, проте охоплює досить повний виклад матеріалу, передбаченого програмою для фізико-математичних факультетів університетів. Для студентів математичних спеціальностей вищих навчальних закладів, вчителів математики та учнів старших класів спеціалізованих шкіл.
