Електронний архів Полтавського університету економіки і торгівлі >
Інститут економіки, управління та інформаційних технологій >
Кафедра математичного моделювання та соціальної інформатики >
Наукові роботи студентів >

Please use this identifier to cite or link to this item: http://dspace.puet.edu.ua/handle/123456789/7041

Название: ЕЛЕМЕНТИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ДЛЯ ТРЕНАЖЕРА З ТЕМИ «АЛГЕБРА ПРЕДИКАТІВ» ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ «МАТЕМАТИЧНА ЛОГІКА»
Авторы: Куркін, В.В.
Ключевые слова: ТРЕНАЖЕР
АЛГЕБРА ПРЕДИКАТIВ
МАТЕМАТИЧНА ЛОГІКА
TRAINER
PREDICATE ALGEBRA
MATHEMATICAL LOGIC
Issue Date: 22-May-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
Appears in Collections:Наукові роботи студентів

Files in This Item:

File Description SizeFormat
Тези_КуркiнPDF.pdf272,16 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback