justin tv
Защита диссертации Павлова Владимира Александровича - Математико-механический факультет СПбГУ
  • студенты матмеха

    Поступающим на матмех

    Математико-механический факультет (матмех) является одним из крупнейших учебно-научных центров России. Он издавна привлекает к себе возможностью получить первоклассное фундаментальное образование наиболее серьёзных и способных абитуриентов, интересующихся математикой, механикой, информационными технологиями и астрономией. Подробнее.

  • Математико-механический факультет

    Наша география

    Математико-механический факультет Санкт-Петербургского государственного университета расположен на территории Петродворцового учебно-научного комплекса в Петродворцовом районе Санкт-Петербурга. В состав математико-механического факультета включены НИИ математики и механики имени акад. В.И.Смирнова (НИИММ), Астрономический институт имени В.В.Соболева, НИИ информационных технологий, Научно-исследовательский  центр "Динамика", Исследовательская лаборатория им. П.Л. Чебышева.

  • Команда студентов матмеха СПбГУ завоевала золотую медаль Чемпионата мира по программированию 2017 года!

    Команда студентов математико-механического факультета СПбГУ (Игорь Пышкин, Станислав Ершов и Айдар Сайранов во главе с тренером А.С. Лопатиным) завоевала золотую медаль (4 место ) на 41-м студенческом Чемпионате мира по программированию 2017 года. Также Андрей и Анна Лопатины получили награду Senior Coach Award, присуждаемую тренерам, чьи команды на протяжении 15 лет участвуют в финалах Чемпионатов.

     
Просмотров: 674

Защита диссертации Павлова Владимира Александровича

14 декабря 2017 г.  в 14-00 в ауд.405 математико-механического факультета СПбГУ (Санкт-Петербург, Старый Петергоф, Университетский пр., д. 28) состоится заседание диссертационного совета Д 212.232.51.

Повестка дня

Защита диссертации Павлова Владимира Александровича на тему: «Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова», представленной на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Научный руководитель – кандидат технических наук, доцент Щукин Александр Валентинович.
Официальные оппоненты:
доктор физико-математических наук, профессор Бельтюков Анатолий Петрович,
кандидат физико-математических наук Соловьев Игорь Павлович.

Ведущая организация – Федеральное государственное бюджетное учреждение науки Санкт-Петербургское отделение Математического института им. В.А. Стеклова Российской академии наук.

С диссертациями можно ознакомиться в Научной библиотеке С.-Петербургского государственного университета по адресу: 199034, С.-Петербург, Университетская наб., д. 7-9.

Ученый секретарь диссертационного совета               Ю.К. Демьянович

Контакты

Почтовый адрес: 198504, Россия, Санкт-Петербург, Старый Петергоф, Университетский проспект, дом 28. 

Телефон/факс:  (812) 428-69-44,  428-42-10.

E-mail:   Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра. , Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра.