Видеотека: А. С. Францева, Представление диссертации "Сложность и алгоритмы нахождения представлений многовыходных функций алгебры логики в классах полиномов и обратимых схем"

ВИДЕОТЕКА


Международная школа-семинар "Синтаксис и семантика логических систем" 12 августа 2019 г. 15:00, Турбаза на берегу озера Хубсугул

Представление диссертации "Сложность и алгоритмы нахождения представлений многовыходных функций алгебры логики в классах полиномов и обратимых схем" А. С. Францева Иркутский государственный университет
Аннотация: Доклад посвящен обзору результатов диссертационных исследований на соискание ученой степени кандидата физико-математических наук по специальности 01.01.09 — дискретная математики и математическая кибернетика на тему «Сложность и алгоритмы нахождения представлений многовыходных функций алгебры логики в классах полиномов и обратимых схем».