РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016616238

Дата регистрации: 08.06.2016

Номер и дата поступления заявки: 2016613494 12.04.2016

Дата публикации: 20.07.2016
	
Авторы:
Резеньков Денис Николаевич,
Кузьменко Ирина Петровна,
Лысак Татьяна Руслановна,
Шапошников Алексей Вячеславович

Правообладатель:
федеральное государственное бюджетное образовательное учреждение высшего образования «Ставропольский государственный аграрный университет»

Название программы для ЭВМ:
Электронный практикум по дисциплине «Математическая логика и теория алгоритмов»

Реферат:
Программа используется для проведения практических занятий по логическим преобразованиям и минимизациий логических функций, оценке сложности алгоритмов. Предназначена для студентов математических и IT-специальностей и преподавателям, ведущим курс математической логики. Программа обеспечивает выполнение следующих функций: формирование знаний, умений и навыков применения теории формальных систем для построения логических выводов и построения моделей теорий первопорядковой логики; формирование основных принципов построения систем автоматизации доказательств математических утверждений на основе метода резолюций; ознакомление с подходами к оценкам сложности алгоритмов и сложностной классификацией переборных задач.

Тип реализующей ЭВМ: IBM PC-совмест. ПК

Язык программирования: HTML

Вид и версия операционной системы: Windows ХР/Vista/7/8/8.1/10

Объем программы для ЭВМ: 41 Мб