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