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

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

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

Files in This Item:

File Description SizeFormat
Тези Сосновський Д.Р КН м-51.pdf220,75 kBAdobe PDFView/Open
Тези Сосновський Д.Р КН м-51.pdf0 BAdobe 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