Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/staff/kls.html
Дата изменения: Wed Feb 11 22:28:57 2015
Дата индексирования: Sat Apr 9 22:49:13 2016
Кодировка: Windows-1251
Корухова Людмила Сергеевна

Главная страница « Преподаватели и сотрудники «

Корухова Людмила Сергеевна

Дата рождения: 30 января
Место рождения: г. Златоуст Челябинской обл.
Доцент, заместитель заведующего кафедрой.
E-mail:   

Новости
Информация
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

Окончила среднюю школу ?3 г. Златоуста (1969). В том же году поступила на механико-математического факультет МГУ, в 1970 г. в связи с образованием факультета вычислительной математики и кибернетики была переведена на 1 курс этого факультета. Окончила факультет вычислительной математики и кибернетики МГУ (1974) и его аспирантуру (1977).

Кандидат физико-математических наук (1978), тема диссертации: «Исследование взаимодействия процедурных и дедуктивных элементов в программировании» (научный руководитель Э. З. Любимский). Ученое звание – доцент (1990). Заслуженный преподаватель МГУ (2003). Награждена медалью «в память 850-летия Москвы» (1997), Юбилейным знаком «250 лет МГУ».

Работает в Московском университете с 1977 г.: преподает на кафедре системного программирования в должности ассистента (1977-1988), старшего преподавателя (1988-1989), доцента (с 1989). Ученый секретарь кафедры системного программирования, заместитель заведующего кафедрой (с 1994).

Член ACM, IEEE Computer Society.

Область научных интересов: системное программирование, искусственный интеллект, методы решения сложных задач на ЭВМ.

Читала основные курсы лекций «Вычислительные машины и программирование», «Алгоритмы и алгоритмические языки» для студентов 1-2 курсов, специальный курс «Системы планирования и языки искусственного интеллекта».

Автор 40 научных работ и учебно-методических пособий для студентов, в том числе:

  1. Введение в алгоритмы (уч. пособие) – М.: ф-т ВМК МГУ, 1997 (соавт. Шура-Бура М. Р.);

  2. О процедурности и непроцедурности в задачах планирования целенаправленной деятельности // Изв. РАН, Технич. кибернетика, ?5, 1994 (соавт. Любимский Э. З.);

  3. Ассоциативные методы планирования решений сложных задач // Препринт ?81 ИПМ РАН – М.: 1997 (соавт. Любимский Э. З., Малышко В. В.);

  4. Программирование и численные методы – М.: изд-во Моск. ун-та, 2001, 224 с. (соавт. Костомаров Д. П., Манжелей С. Г.).

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 16.7.2009