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