Кваліфікаційна робота на тему «Навчальний тренувальний інструмент та його програмування з теми «Квантори. Формули логіки предикатів» дистанційного курсу «Математична логіка»

Abstract

Мета кваліфікаційної роботи – проєктування тренувального інструменту та його програмування з теми «Квантори. Формули логіки предикатів» дистанційного курсу «Математична логіка». Об’єктом розробки в даній роботі є створення програмних засобів дистанційного вивчення дисципліни «Математична логіка». Предмет розробки – програмний продукт, що реалізує тренажер для закріплення знань під час вивчення кванторів та формул логіки предикатів. Головне завдання – алгоритмізація та програмна реалізація роботи тренажеру з теми «Квантори. Формули логіки предикатів» . Методи розробки — методика застосування кванторів та формул логіки предикатів. Серед програмного забезпечення – середовище розробки Visual Studio, мова програмування C# із застосуванням Windows Form.