ИСТИНА

Марков Андрей Андреевич

Соавторы: Кузичев А.С., Кузичева З.А., Нагорный Н.М.

3 статьи, 5 книг, 1 членство в редколлегии сборника, 3 диссертации, 2 дипломные работы

IstinaResearcherID (IRID): 8265913

Деятельность

• Статьи в журналах

  • • 1996 Sof’ya Aleksandrovna Yanovskaya’s work in the field of mathematical logic
    • Markov A.A., Kuzichev A.S., Kuzicheva Z.A.
    • в журнале Modern Logic, том 6, № 1, с. 3-6
  • • 1967 Normal algorithms connected with the computation of Boolean functions
    • Markov A.A.
    • в журнале Mathematics of the USSR - Izvestiya, том 1, № 1, с. 151-194

• Статьи в сборниках

  • • 1982 Работы С.А. Яновской в области математической логики
    • Марков Андрей Андреевич, Кузичев Александр Сергеевич, Кузичева Зинаида Андреевна
    • в сборнике Женщины – революционеры и ученые, место издания Наука, Москва, с. 96-99

• Книги

  • • 2003 Избранные труды. Том 2. Теория алгорифмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы
    • Марков Андрей Андреевич
    • место издания Изд-во МЦНМО Москва, ISBN 5-94057-044-5 (собр. соч.), 5-94057-113-1 (том 2), 626 с.
  • • 2002 Избранные труды. Том 1. Математика, механика, физика
    • Марков Андрей Андреевич
    • место издания Изд-во МЦНМО Москва, ISBN 5-94057-044-5 (собр. соч.), 5-94057-043-7 (том 1), 478 с.
  • • 1984 Теория алгорифмов
    • Марков Андрей Андреевич, Нагорный Николай Макарьевич
    • место издания Наука Москва, 432 с.
  • • 1984 Элементы математической логики
    • Марков Андрей Андреевич
    • место издания Изд-во Моск. ун-та Москва, 80 с.
  • • 1954 Теория алгорифмов (Труды математического института имени В.А.Стеклова, том XLII)
    • Марков Андрей Андреевич
    • место издания Изд-во АН СССР Москва, 375 с.

• Участие в редколлегии сборников

  • • 1979 Логический вывод
    • члены редколлегии: Таванец П.В., Смирнов В.А., Марков А.А., Драгалин А.Г., Войшвилло Е.К.
    • место издания Наука Москва

• Руководство диссертациями

  • • 1985 Применение моделей Крипке к исследованию суперинтуиционистских и модальных логик
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Шехтман Валентин Борисович, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Научный руководитель: Марков Андрей Андреевич
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Ведущая организация: Ленинградское отделение Математического института им. В.А.Стеклова АН СССР
  • • 1982 Модели интуиционистской теории множеств
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Хаханян Валерий Христофорович, д.ф.н.
    • Научные руководители: Драгалин Альберт Григорьевич, Марков Андрей Андреевич
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Ведущая организация: Институт математики Сибирского отделения АН СССР
    • Оппоненты: Смирнов Владимир Александрович, Скворцов Дмитрий Павлович
  • • 1979 Расширения аксиоматических теорий утверждениями типа непротиворечивости и соответствующие им модальные логики
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Артемов Сергей Николаевич, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Научные руководители: Марков Андрей Андреевич, Драгалин Альберт Григорьевич
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: Математический институт им. В.А.Стеклова АН СССР
    • Ведущая организация: Московский государственный педагогический институт им. В.И.Ленина
    • Оппоненты: Шанин Николай Александрович, Плиско Валерий Егорович

• Руководство дипломными работами

  • • 1973 Запись машины Тьюринга на языке CUCH
    • Научный руководитель: Марков Андрей Андреевич
    • Автор: Пинский Лев Михайлович (Специалист)
  • • 1966 Критерий справедливости теоремы перевода в теории нормальных алгорифмов
    • Научный руководитель: Марков Андрей Андреевич
    • Автор: Сыркин Геннадий Иосифович (Специалист)