Електронний архів Полтавського університету економіки і торгівлі >
Навчально-науковий інститут денної освіти >
Кафедра комп'ютерних наук та інформаційних технологій >
Наукові роботи студентів (ННІДО КНІТ) >

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.puet.edu.ua/handle/123456789/7041

Название: ЕЛЕМЕНТИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ДЛЯ ТРЕНАЖЕРА З ТЕМИ «АЛГЕБРА ПРЕДИКАТІВ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА»
Авторы: Куркін, В. В.
Ключевые слова: ТРЕНАЖЕР
АЛГЕБРА ПРЕДИКАТIВ
МАТЕМАТИЧНА ЛОГІКА
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
Располагается в коллекциях:Наукові роботи студентів (ННІДО КНІТ)

Файлы этого ресурса:

Файл Описание РазмерФормат
Тези_КуркiнPDF.pdf272,16 kBAdobe PDFПросмотреть/Открыть

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2005 MIT and Hewlett-Packard - Обратная связь