DSpace Repository

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

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account