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