Кайдан, Н. В.Пащенко, З. Д.2025-01-042019Методичні вказівки до практичних занять з курсу «Математична логіка та теорія алгоритмів. Розділ “Математична логіка”» для спеціальності 014 Середня освіта (Математика) / уклад.: Н. В. Кайдан, З. Д. Пащенко. Слов’янськ : Вид. Б. I. Маторiна, 2019. 92 с.https://dspace.mipolytech.education/handle/mip/1605Даний навчальний посібник розроблено для практичних занять з математичної логіки. Він охоплює теми: алгебра висловлень, числення висловлень та логіка предикатів. Кожен параграф відповідає одному практичному заняттю і має наступну структуру: тема заняття, мета заняття, необхідні теоретичні відомості, приклади розв’язування задач, вправи для аудиторної роботи та задачі для самостійної.ukMethodical instructions