|
Електронний архів Полтавського університету економіки і торгівлі >
Навчально-науковий інститут денної освіти >
Кафедра комп'ютерних наук та інформаційних технологій >
Матеріали конференцій (ННІДО КНІТ) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://dspace.puet.edu.ua/handle/123456789/7458
|
| Название: | ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ДЛЯ ТРЕНАЖЕРА З ТЕМИ «АЛГЕБРА ПРЕДИКАТІВ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» |
| Авторы: | Куркін, В. В.
Черненко, О. О. |
| Ключевые слова: | тренажер
алгебра предикатів
математична логіка
TRAINER |
| Дата публикации: | 27-Ноя-2019 |
| Аннотация: | Запропоновано тренажер на тему «Алгебра предикатiв» дистанційного навчального курсу «Математична логіка».
Kurkin V. V., Chernenko O.O. The simulator on the topic " Predicate algebra" of the distance learning course "Mathematical Logic" and the development of its educational support.
The simulator on “Predicate algebra” for distance course “Mathematical Logic”. |
| URI: | http://dspace.puet.edu.ua/handle/123456789/7458 |
| Располагается в коллекциях: | Матеріали конференцій (ННІДО КНІТ)
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
