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

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

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

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

Дата публикации: 20.07.2016
	
Авторы:
Явкаев Данил Гилманович,
Бредихин Дмитрий Александрович

Правообладатель:
Федеральное государственное бюджетное образовательное учреждение высшего образования «Саратовский государственный технический университет имени Гагарина Ю.А.» (СГТУ имени Гагарина Ю.А.)

Название программы для ЭВМ:
Тождество группоидов

Реферат:
Программа предназначена для автоматической проверки выполнимости тождеств группоидов бинарных отношений с диофантовыми операциями. Может применяться в исследовании многообразий, порождённых различными классами группоидов бинарных отношений. Основная функция: доказательство необходимости тождеств, составляющих базис тождеств, указанных в многообразии отношений. Программа может быть применена в исследованиях бакалавров при написании выпускных работ. Исходные данные: матрица двухпослюника, задающая диофантовую операцию над бинарными отношениями (квадратная матрица А0, в которой задается размерность R[0] и ненулевые элементы соответствующей матрицы в текстовых документах. Выходные данные: двухполюсники, заданные с помощью матрицы, соответствующие заданным термам, определяющим тождество (ее можно рассматривать как отдельную задачу, позволяет по двухполюснику, задающему исходную операцию над бинарными отношениями и терму группоида, строить двухполюсник, ассоциируемый с этим термом). Создаются текстовые документы output.txt и output1.txt; гомоморфизмы двухполюсников, соответствующие указанным термам. Отвечает на вопрос о выполнимости рассматриваемого тождества на классе группоидов бинарных отношений с указанной диофантовой операцией. Создаются текстовые документы 1234.txt и 1234(2).txt.

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

Язык программирования: С# в среде Visual Studio 2010

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

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