MMOnline
 Главная
  Новости
  Обновления
 MMWiki
  Энциклопедия
  Все страницы
 Учеба
  Расписание
  Материалы
  Статьи
  Аспирантура
  Война
  Кафедры
  Преподаватели
 Работа
  Резюме
 Абитуриентам
  Статьи
  Варианты
 Территория
  ГЗ снаружи
  ГЗ изнутри
 Развлечения
  Тексты
  Галерея
  Анекдоты
  Задачки
 Форум
 Download
 Ссылки
Карта сайта Карта сайта
О проекте О проекте
Поиск Поиск

Кафедры

Кафедра математической логики и теории алгоритмов

Адрес: 119899, ГСП-3, Москва, В-234, Воробьевы горы, МГУ,Механико-математический факультет, кафедра математической логики и теории алгоритмов
Официальная страничка: http://lpcs.math.msu.su/rus/logic.htm
E-mail: pentus@lpcs.math.msu.ru
Тип кафедры: Отделение математики
Аудитория: 16–5

Общие сведения
Научные исследования осуществляются по следующим направлениям:
  1. математическая логика,
  2. теория вычислимости,
  3. алгоритмические вопросы алгебры,
  4. теория доказательств,
  5. логические методы в информатике,
  6. конструктивная логика,
  7. модальная логика,
  8. сложность вычислений,
  9. колмогоровская сложность.

История кафедры

Первым заведующим кафедрой был А.А.Марков, затем кафедру возглавляли А.Н.Колмогоров, В.А.Мельников и В.А.Успенский.

  • Андрей Андреевич Марков (22.09.1903 - 11.10.1979). Заведующий кафедрой с 1959 г. по октябрь 1979 г. (одновременно заведующий лабораторией математической логики и структуры машин Вычислительного центра АН СССР). А.А.Марков - выдающийся российский математик, член-корреспондент АН СССР, плодотворно работавший в области алгебры, топологии, механики, математической логики и теории вычислимости, основоположник российской научной школы конструктивной математики.
  • Андрей Николаевич Колмогоров (25.04.1903 - 20.10.1987). Заведующий кафедрой с января 1980 г. по октябрь 1987 г. (одновременно заведующий отделением математики Механико-математического факультета МГУ). Великий математик, академик А.Н.Колмогоров является автором первой статьи на русском языке, содержащей результаты по математической логике (опубликована в 1925 г.). А.Н.Колмогоровым был получен ряд фундаментальных результатов в математической логике и ее приложениях.
  • Владимир Андреевич Мельников (18.08.1928 - 07.05.1993). Заведующий кафедрой с 1988 г. по май 1993 г. (одновременно директор Института проблем кибернетики АН СССР). Научная деятельность академика В.А.Мельникова охватывала целый спектр научных и технических проблем создания новых образцов вычислительной техники.
  • Владимир Андреевич Успенский (родился 27.11.1930). Заведующий кафедрой с января 1995 г. В.А.Успенский начал свою научную деятельность, будучи студентом А.Н.Колмогорова, и в настоящее время продолжает работу по изучению и развитию колмогоровского наследия.

В 1992 г. кафедра математической логики получает новое название - кафедра математической логики и теории алгоритмов.

В 1995 г. при кафедре организована Лаборатория логических проблем информатики


[все кафедры]

 Форумы по теме
Есть что сказать? Заходите, поговорим - О кафедрах
О преподавателях
Нечего сказать? Все равно заходите, почитайте, что думают другие!
 Сайт работает с 29.08.2000, Copyright © 2000−2019 MMOnline.Ru and MMForce.Net,
 Правовая информация Обратная связьУчастие в проектеРазместить рекламу
Rambler's Top100 Service