Методичні вказівки до практичних занять з курсу «Математична логіка та теорія алгоритмів
Loading...
Date
Authors
ORCID
DOI
item.page.thesis.degree.name
item.page.thesis.degree.level
item.page.thesis.degree.discipline
item.page.thesis.degree.department
item.page.thesis.degree.grantor
item.page.thesis.degree.advisor
item.page.thesis.degree.committeeMember
Journal Title
Journal ISSN
Volume Title
Publisher
Донбаський державний педагогічний університет
Abstract
Даний навчальний посібник розроблено для практичних занять з математичної логіки. Він охоплює теми: алгебра висловлень, числення висловлень та логіка предикатів. Кожен параграф відповідає одному практичному заняттю і має наступну структуру: тема заняття, мета заняття, необхідні теоретичні відомості, приклади розв’язування задач, вправи для аудиторної роботи та задачі для самостійної.
Description
Keywords
Citation
Методичні вказівки до практичних занять з курсу «Математична логіка та теорія алгоритмів. Розділ “Математична логіка”» для спеціальності 014 Середня освіта (Математика) / уклад.: Н. В. Кайдан, З. Д. Пащенко. Слов’янськ : Вид. Б. I. Маторiна, 2019. 92 с.