АЛГОРИТМІЗАЦІЯ ТА ПРОГРАМУВАННЯ ЕЛЕМЕНТІВ ТРЕНАЖЕРА «МЕТОД РЕЗОЛЮЦІЙ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА»
Електронний архів Полтавського університету економіки і торгівлі
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
АЛГОРИТМІЗАЦІЯ ТА ПРОГРАМУВАННЯ ЕЛЕМЕНТІВ ТРЕНАЖЕРА «МЕТОД РЕЗОЛЮЦІЙ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА»
|
|
| Creator |
Сосновський, Д.Р.
|
|
| Subject |
ТРЕНАЖЕР
МЕТОД РЕЗОЛЮЦІЙ МАТЕМАТИЧНА ЛОГІКА TRAINER RESOLUTION METHOD MATHEMATICAL LOGIC |
|
| Description |
Запропоновано алгоритм на тему «Метод резолюцій» дистанційного навчального курсу «Математична логіка». 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". |
|
| Date |
2019-05-22T08:08:44Z
2019-05-22T08:08:44Z 2019-05-22 |
|
| Type |
Image
|
|
| Identifier |
http://dspace.puet.edu.ua/handle/123456789/7043
|
|
| Language |
ua
|
|