|
Електронний архів Полтавського університету економіки і торгівлі >
Навчально-науковий інститут денної освіти >
Кафедра комп'ютерних наук та інформаційних технологій >
Наукові роботи студентів (ННІДО КНІТ) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://dspace.puet.edu.ua/handle/123456789/10291
|
| Название: | Програмне забезпечення тренажеру з теми «Лямбда-вирахування і типізація» дистанційного навчального курсу «Теорія програмування» |
| Авторы: | Zakirov, R. R.
Закіров, Р. Р. |
| Ключевые слова: | SIMULATOR
LAMBDA SUBTRACTION AND TYPING
PROGRAMMING THEORY
тренажер
лямбда-вирахування і типізація
теорія програмування |
| Дата публикации: | 17-Мар-2021 |
| Аннотация: | The software implementation of the simulator on the topic "Lambda subtraction and typing" of the distance learning course "Programming Theory" is proposed. Запропоновано програмну реалізацію тренажеру з теми «Лямбда-вирахування і типізація» дистанційного навчального курсу «Теорія програмування». |
| Описание: | Науково-практичний семінар "Комп’ютерні науки і прикладна математика" (КНіПМ-2021). Випуск 6, Полтава, ПУЕТ. |
| URI: | http://dspace.puet.edu.ua/handle/123456789/10291 |
| Располагается в коллекциях: | Наукові роботи студентів (ННІДО КНІТ)
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
