Леонтьев Владимир Маркович (кафедра алгебры и математической логики ИМиФИ СФУ) докладывает новые результаты исследований:
Леонтьев В.М. - «L-условия»

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

Основные понятия: показатели степеней коммутаторов, холловский тип, собирательная формула

Участники семинара:

• Башмаков С.И. (АиМЛ ИМиФИ СФУ),
• Колесников С.Г. (СибГУ),
• Бабенышев С.В. (Академия МЧС),
• Римацкий В.В. (ВиПМ ИМиФИ СФУ),
• Голованов М.И. (ВиИТ ИМиФИ СФУ).