16
Календарь конференций
  • 13 декабря – 13 февраля

    XXIX Московская открытая олимпиада школьников по геологии 2021-2022 года

  • 15 декабря – 5 апреля

    Универсиада «Ломоносов» по направлению подготовки «Химия, физика и механика материалов» Факультета наук о материалах МГУ

  • 27 января – 1 февраля

    Всероссийская зимняя школа научного перевода для студентов социально-гуманитарного профиля «Перевод в науке – наука в переводе»

  • 27 – 28 января

    5-ая Международная переводческая научно-практическая конференция COSINES Pi по устному и письменному переводу

  • 27 января – 1 февраля

    Всероссийская зимняя школа научного перевода для студентов социально-гуманитарного профиля «Перевод в науке – наука в переводе»

  • 4 – 5 февраля

    Всероссийская научная конференция «Философия перед лицом новых цивилизационных вызовов», приуроченная к 80-летнему юбилею воссоздания философского факультета в структуре Московского университета.

  • 4 февраля

    VII Зимняя научная школа-конференция по механике композитов имени Б. Е. Победри

  • 15 октября – 9 февраля

    Международный конкурс на лучшую научную работу «Аrs Sacra Audit»

  • 13 декабря – 13 февраля

    XXIX Московская открытая олимпиада школьников по геологии 2021-2022 года

  • 15 февраля

    Магистр-2022: шаг в профессию

  • 21 – 22 февраля

    XVI Международная научная конференция «Сорокинские чтения» Искусственный интеллект и общественное развитие: новые возможности и преграды

  • 15 декабря – 5 апреля

    Универсиада «Ломоносов» по направлению подготовки «Химия, физика и механика материалов» Факультета наук о материалах МГУ

  • 26 – 27 мая

    «Уголовное право в системе межотраслевых связей: проблемы теории и правоприменения»

Все конференции
13/10/2020
  • Поздравления

К юбилею А.Л. Семёнова

13 октября 2020 года исполнилось 70 лет заведующему кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ, доктору физико-математических наук, профессору, академику Российской академии наук Алексею Львовичу Семёнову.

Выпускник механико-математического факультета МГУ А.Л. Семёнов — известный специалист в области математической логики, кибернетики, теоретической информатики, образования. Он доказал, что свойство натуральных чисел, автоматное в двух существенно разных системах счисления, выражается в арифметике Пресбургера. Занимался вопросами разрешимости теорий, в частности, арифметики сложения с дополнительным одноместным предикатом, систем алгоритмических алгебр и теорий одноместных функций на натуральном ряде, а также вопросами выразимости в теориях первого порядка. В 1979 году вместе с В.А. Успенским А.Л. Семёнов сделал обзорный доклад на симпозиуме «Алгоритмы в современной математике», материалы которого вошли в книгу «Теория алгоритмов: основные открытия и приложения». Ряд его статей были посвящены алгоритмической случайности. В последней из них поставлен вопрос о совпадении определения случайности с немонотонными играми и случайности по Мартин-Лёфу, не решённый до сих пор.

Большую часть своей профессиональной деятельности А.Л. Семёнов посвятил развитию математического образования в школах и в вузах. Под его руководством разработан ряд компьютерных сред и инструментов образовательной деятельности, соответствующих современным целям школьного образования. А.Л. Семёнов — руководитель авторского коллектива первого отечественного учебника по основам информатики и вычислительной техники, учебников по информатике и алгоритмике для начальной и средней школы. А.Л. Семёнов — автор более 200 научных и учебно-методических работ, лауреат ряда престижных премий, в том числе премии ЮНЕСКО за применение информационных и коммуникационных технологий в образовании.

Курсы, которые читает А.Л. Семёнов, и руководимые им семинары пользуются заслуженным успехом у студентов и аспирантов.

За многолетнюю плодотворную научно-педагогическую деятельность на благо Московского университета и в связи с юбилеем приказом ректора заведующему кафедрой механико-математического факультета Семёнову Алексею Львовичу объявлена благодарность.