Институт РЕФАЛА
 
 
«Не стоит прогибаться под изменчивый мир,
Пусть лучше он прогнется под нас ... »
                      Андрей Макаревич

Семинар
Лаборатории автоматизации программирования
Института программных систем РАН

(проходит (как правило) раз в две недели
по средам в 13.30 в комнате 321)

 
 
  1. 9 сентября 2013 г. Андрей П. Немытых

    Андрей П. Немытых

    (ИПС РАН)

    Уравнения в свободном моноиде (Лекция №2).

  2. 12 и 19 августа 2013 г. Андрей П. Немытых

    Андрей П. Немытых

    (ИПС РАН)

    Уравнения в свободном моноиде и язык программирования Рефал (Лекция №1).

  3. 19 декабря 2012 г. Сергей Д. Мешвелиани

    Сергей Д. Мешвелиани

    (ИПС РАН)

    Доказуемое программирование математики на функциональном языке с зависимыми типами (часть I, введение).

  4. 3 октября 2012 г. Николай Н. Непейвода

    Николай Н. Непейвода

    (ИПС РАН)

    Алгебры программ: новый подход (часть II).

  5. 26 сентября 2012 г. Николай Н. Непейвода

    Николай Н. Непейвода

    (ИПС РАН)

    Алгебры программ: новый подход.

  6. 5 сентября 2012 г. Антонина Н. Непейвода

    Антонина Н. Непейвода

    (ИПС РАН)

    Об одном простом доказательстве теоремы Турчина о стековой грамматике.

    Семинар Лаборатории АП 1987-1988 гг.

 
Чайная