Методичні вказівки до практичних занять з курсу «Математична логіка та теорія алгоритмів
Дата
2019
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Донбаський державний педагогічний університет
Анотація
Даний навчальний посібник розроблено для практичних занять з математичної логіки. Він охоплює теми: алгебра висловлень, числення висловлень та логіка предикатів. Кожен параграф відповідає одному практичному заняттю і має наступну структуру: тема заняття, мета заняття, необхідні теоретичні відомості, приклади розв’язування задач, вправи для аудиторної роботи та задачі для самостійної.
Опис
Ключові слова
Бібліографічний опис
Методичні вказівки до практичних занять з курсу «Математична логіка та теорія алгоритмів. Розділ “Математична логіка”» для спеціальності 014 Середня освіта (Математика) / уклад.: Н. В. Кайдан, З. Д. Пащенко. Слов’янськ : Вид. Б. I. Маторiна, 2019. 92 с.