Елементи математичної логіки та теорії алгоритмів

Авдеюк, Павло Іванович; Зеленський, Олексій Віталійович

dc.contributor.author	Авдеюк, Павло Іванович
dc.contributor.author	Зеленський, Олексій Віталійович
dc.date.accessioned	2022-11-01T13:14:09Z
dc.date.available	2022-11-01T13:14:09Z
dc.date.issued	2019
dc.identifier.citation	Авдеюк П. І., Зеленський О. В. Елементи математичної логіки та теорії алгоритмів : навчально-методичний посібник / П. І. Авдеюк, О. В. Зеленський. — Кам’янець-Подільський : Кам’янець-Подільський національний університет імені Івана Огієнка, 2019. — 160 с.	uk_UA
dc.identifier.uri	http://elar.kpnu.edu.ua:8081/xmlui/handle/123456789/6693
dc.description.abstract	Посібник містить стислий виклад основ математичної логіки та теорії алгоритмів, а саме алгебру висловлень, числення висловлень, логіку предикатів, числення предикатів, рекурсивні функції, алгоритм як абстрактна машина. Для ілюстрації теоретичного матеріалу приведена достатня кількість вправ та прикладів, частика яких розв’язана в тексті, частина пропонується для самостійної роботи. Книжка розрахована для початкового вивчення предмету, проте охоплює досить повний виклад матеріалу, передбаченого програмою для фізико-математичних факультетів університетів. Для студентів математичних спеціальностей вищих навчальних закладів, вчителів математики та учнів старших класів спеціалізованих шкіл.	uk_UA
dc.language.iso	uk_UA	uk_UA
dc.publisher	Кам’янець-Подільський національний університет імені Івана Огієнка	uk_UA
dc.title	Елементи математичної логіки та теорії алгоритмів	uk_UA
dc.type	Book	en