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