Електронний архів Полтавського університету економіки і торгівлі >
Навчально-науковий інститут денної освіти >
Кафедра комп'ютерних наук та інформаційних технологій >
Матеріали конференцій (ННІДО КНІТ) >
Please use this identifier to cite or link to this item:
http://dspace.puet.edu.ua/handle/123456789/7458
|
Название: | ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ ДЛЯ ТРЕНАЖЕРА З ТЕМИ «АЛГЕБРА ПРЕДИКАТІВ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА» |
Авторы: | Куркін, В. В. Черненко, О. О. |
Ключевые слова: | тренажер алгебра предикатів математична логіка TRAINER |
Issue Date: | 27-Nov-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 |
Appears in Collections: | Матеріали конференцій (ННІДО КНІТ)
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|