ИСТИНА

• Охват: Всероссийская
• Даты проведения: 8-12 августа 2017
• Место проведения: Улан-Удэ, Russia
• Организаторы:
  Бурятский государственный университет (Улан-Удэ)
  Институт математики СО РАН (Новосибирск).
• Число участников: 50
• Число участников из МГУ: 2
• Веб-сайт: http://imi.bsu.ru/logic
• Все конференции этой группы
• Описание конференции:

  Цель школы-семинара – обсуждение результатов и выявление актуальных направлений исследований по математической логике, а также предоставление молодым исследователям возможности личного контакта с известными учеными в области математической логики из ведущих научных центров России. Тематика школы-семинара: формальные языки и логические исчисления, теория моделей и универсальная алгебра, алгебра логики и функциональные системы, математическая логика в образовании. Организаторы школы-семинара: Бурятский государственный университет (Улан-Удэ), Институт математики СО РАН (Новосибирск). Председатель программного комитета С.С. Гончаров, академик РАН (Новосибирск).

• Добавил в систему: Кочергин Вадим Васильевич

Доклады:

• 2017 Оценки немонотонной сложности логических схем (Устный)
• Авторы: Михайлович А.В., Кочергин В.В.

• 2017 Уточнение некоторых нижних оценок сложности логических схем (Устный)
• Авторы: Кочергин В.В., Кочергин Д.В.