• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты
Электронная почта:
Расписание
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Смирнов Петр Юрьевич



Обучение в аспирантуре

1-й год обучения
Утвержденная тема диссертации: Сложность вывода комбинаторных принципов в пропозициональных системах доказательств
Научный руководитель: Омельченко Александр Владимирович

Расписание занятий на сегодня

Полное расписание