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