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 |