ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ТРЕНАЖЕР З ТЕМИ «ЧИСЛЕННЯ ВИСЛОВЛЮВАНЬ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» ТА РОЗРОБКА ЙОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Abstract

Мета – є розробка елементів тренажеру з теми «Числення висловлювань» дистанційного навчального курсу «Математична логіка». Об’єкт розробки – програма-тренажер для полегшення навчального процесу. Предмет розробки – тренажер з теми «Числення висловлювань», який буде поєднано в дистанційний навчальний курс «Математична логіка». Методи розробки – мова програмування Java, методи математичної логіки. Дипломна робота складається з чотирьох розділів, а саме: постановка задачі, інформаційний огляд, теоретична частина. Структура роботи побудована так, що дає змогу логічного представлення матеріалу та розкриття теми роботи.