Показати скорочений опис матеріалу
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 |