Лектор:
Сергей Александрович Корнеев - ассистент кафедры дискретной математики механико-математического факультета МГУ, кандидат физико-математических наук.
Аннотация.
Схемы композиции представляют собой нестандартную модель вычислений. В контексте лекции стандартной, или «классической» моделью вычислений называются схемы из функциональных элементов с операцией умножения мономов. В рамках этой модели может быть описана известная задача о возведении в степень, а также различные её обобщения - например, задачи Беллмана, Кнута и Пиппенджера. Для построения схем композиции вместо операция умножения используется её обобщение - операция композиции. Это обобщение даёт надежду на то, чтобы упростить известные сложные задачи, перейдя к схемам композиции, а затем, решив их, перенести результаты и на классическую модель. В лекции рассказывается о полученных в данной вычислительной модели результатах, о её особенностях в сравнении с классической моделью, решаются простейшие задачи.
Лекция прочитана 3 августа 2022 года на Летней школе для студентов механико-математического факультета МГУ.
Официальная группа мехмата в ВКонтакте: mech.math.lmsu
Сайт студенческих школ students-schools.math.msu.ru/