|
Електронний архів Полтавського університету економіки і торгівлі >
Навчально-науковий інститут денної освіти >
Кафедра комп'ютерних наук та інформаційних технологій >
Кваліфікаційні роботи (проєкти) бакалаврів та магістрів (ННІДО КНІТ) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://dspace.puet.edu.ua/handle/123456789/7552
|
| Название: | ПОЯСНЮВАЛЬНА ЗАПИСКА ДО ДИПЛОМНОЇ РОБОТИ на тему ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ДЛЯ ТРЕНАЖЕРА З ТЕМИ «МЕТОДИ ПЕРЕВІРКИ ТОТОЖНОЇ ІСТИННОСТІ ЛОГІЧНИХ ФОРМУЛ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» |
| Авторы: | Куценко, Віталій Володимирович |
| Ключевые слова: | тренажер
дистанційне навчання
математична логіка
дистанційний курс
МЕТОДИ ПЕРЕВІРКИ ТОТОЖНОЇ ІСТИННОСТІ ЛОГІЧНИХ ФОРМУЛ |
| Дата публикации: | 17-Янв-2020 |
| Аннотация: | Мета роботи – розробка елементів програмного забезпечення для тренажера з теми «Методи перевірки тотожної істинності логічних формул» дистанційного навчального курсу «Математична логіка».
Об’єктом розробки в даній роботі є процес дистанційного навчання математичним дисциплінам.
Предметом розробки – програмний продукт, що реалізує тренажер для закріплення знань із застосування методів перевірки тотожної істинності.
Головне завдання – розробити алгоритм роботи тренажера з теми «Методи перевірки тотожної істинності логічних формул» та створити її програмну реалізацію.
Методи розробки – методика застосування методів перевірки тотожної істинності логічних формул. Серед програмного забезпечення –середовище розробки IDE NetBeans, об'єктно-орієнтована мова програмування Java |
| URI: | http://dspace.puet.edu.ua/handle/123456789/7552 |
| Располагается в коллекциях: | Кваліфікаційні роботи (проєкти) бакалаврів та магістрів (ННІДО КНІТ)
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
