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

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

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

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

Дата публикации: 10.01.2017

Контактные реквизиты:
nkzarubina@yandex.ru
	
Авторы:
Зарубина Наталья Константиновна,
Псарев Максим Игоревич,
Мисинева Татьяна Владимировна

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

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

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

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

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

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

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