Подколзин Александр Сергеевич

доктор физико-математических наук, профессор, академик МАТН

Область научных интересов: Специалист в области дискретной математики и математической теории интеллектуальных систем

Профиль в системе ИСТИНА

Александр Сергеевич Подколзин родился в г.Москве 7 декабря 1950 г. В 1972 г. окончил механико-математический факультет МГУ; в 1976 г. защитил кандидатскую диссертацию по теории однородных структур (клеточные автоматы). В 1995 г. защитил докторскую диссертацию по компьютерному моделированию процессов решения математических задач. С 1975 по 1985 г.г. работал в должности ассистента мех.-мат. факультета; с 1986 по 1998 г.г. – в должности доцента. С 1999г. по настоящее время – профессор кафедры МАТИС.

А.С. Подколзин является известным специалистом в области дискретной математики и математической теории интеллектуальных систем. Его научные исследования связаны с теорией автоматов и с разработкой компьютерных решателей математических задач. А.С.Подколзину принадлежат фундаментальные результаты по проблемам моделирования и сложности вычислений в клеточных автоматах. Им разработана и постоянно развивается новая технология моделирования логических процессов; на основе этой технологии созданы действующие версии компьютерных решателей математических задач (элементарная алгебра; геометрия; математический анализ и дифференциальные уравнения).

А.С. Подколзиным опубликовано свыше 35 научных работ.

Под научным руководством А.С. Подколзина подготовлены 7 кандидатов наук в различных областях дискретной математики и математической кибернетики (теория автоматов, дискретная оптимизация, информационный поиск, функциональные системы). В настоящее время он руководит научной работой 4 аспирантов.

А.С.Подколзин руководит работой спец. семинара "Элементы кибернетики"; читает спецкурс и ведет семинар по компьютерному моделированию процессов решения математических задач.

  • Пушкарева Екатерина Константиновна, специалитет, год окончания 2027
  • Петровский Дмитрий Константинович, специалитет, год окончания 2026
  • Капустин Ю.С., аспирантура, год окончания 2024
  • Якимец Кузьма Кириллович, специалитет, год окончания 2015
  • Зайцев Денис Владимирович, аспирантура, год окончания 2005
  • Уваров Дмитрий Владимирович, аспирантура, год окончания 2005
  • Кирнасов Александр, аспирантура, год окончания 2003

  • О моделировании процессов решения математических задач. Докторская диссертация по специальности 05.13.15 - Вычислительные машины, комплексы и компьютерные сети (физ.-мат. науки)
  • О поведении однородных структур. Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)

  • Нгуен Ким Ань: О некоторых характеристиках алгоритмов минимизации булевых функций (1982). Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
  • Гасанов Эльяр Эльдарович: О сложности информационного поиска (1986). Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
  • Рябинин А.В: Автоматная реализация функций вещественного переменного (1988). Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
  • Саттар Абдул Джабар Ал-Доври Абдул: Функциональная мера сложности вычислений в автоманых схемах (1994). Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
  • Кирнасов Александр: Установочные эксперименты с автоматами (2005). Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
  • Пантелеев Павел Анатольевич: Об отличимости состояний конечного автомата (2006). Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)

  • Компьютерное моделирование логических процессов. Том 10. Классификация приёмов вывода теорем. Подколзин А.С. Программа
  • "Компьютерное моделирование логических процессов" Том 9. Автоматическое создание приемов логической системы (Логический вывод в базе теорем). Подколзин А.С. место издания Депонировано в ВИНИТИ РАН, №33-В2022 Москва, 1500 с.
    ИСТИНА
  • Распознавание образов : учебное пособие для вузов. Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. место издания Юрайт Москва, ISBN 978-5-534-15338-5, 107 с.
    ИСТИНА
  • Теория автоматов : учебник для вузов. Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. место издания Юрайт Москва, ISBN 978-5-534-15339-2, 204 с.
    ИСТИНА
  • Компьютерное моделирование логических процессов. Том 8. Подколзин А.С. место издания ВИНИТИ РАН Москва, 516 с.
    ИСТИНА
  • Компьютерное моделирование логических процессов. Том 7. Подколзин А.С. место издания ВИНИТИ РАН ВИНИТИ РАН, 740 с.
    ИСТИНА
  • Монография "Компьютерное моделирование логических процессов". Том 6. Подколзин А.С. место издания ВИНИТИ РАН Москва, 758 с.
  • Монография "Компьютерное моделирование логических процессов. Том 5. Опыт обучения компьютерного решателя задач: элементарные физика и химия, шахматы". Подколзин А.С. МГУ. - М., 2019, 939 стр. Депонировано в ВИНИТИ РАН 12.08.2019, N 66 - В, ук. N 5, 2019. Подколзин А.С. место издания депонирована в ВИНИТИ РАН, 939 с.
    ИСТИНА
  • Введение в теорию автоматов. Кудрявцев В.Б., Алешин С.В., Подколзин А.С. место издания Издательство Московского университета Москва, ISBN 978-5-19-011370-9, 436 с.
    ИСТИНА
  • Теория автоматов 2-е издание. Кудрявцев В.Б., Алешин С.В., Подколзин А.С. место издания Юрайт Москва, ISBN 978-5-534-00117-4, 320 с.
    ИСТИНА
  • Дискретная математика. Теория однородных структур 2-е изд. Кудрявцев В.Б., Подколзин А.С., Болотов А.А. место издания Юрайт Москва, ISBN 978-5-534-02901-7, 295 с.
    ИСТИНА
  • Теория интеллектуальных систем: в 4 кн. Книга четвертая. Теория автоматов. Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. место издания Издательские решения Москва, ISBN ISBN 978-5-4493-5160-9 (т. 4), ISBN 978-5-4493-5157-9, 302 с.
    ИСТИНА
  • Теория интеллектуальных систем: в 4 кн. Книга третья. Моделирование логических процессов. Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. место издания Издательские решения Москва, ISBN ISBN 978-5-4493-5159-3 (т. 3), ISBN 978-5-4493-5157-9, 212 с.
    ИСТИНА
  • Теория интеллектуальных систем: в 4 кн. Книга вторая. Базы данных. Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. место издания Издательские решения Москва, ISBN ISBN 978-5-4493-5158-6 (т. 2), ISBN 978-5-4493-5157-9, 212 с.
    ИСТИНА
  • Теория интеллектуальных систем: в 4 кн. Книга первая. Распознавание образов. Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. место издания Издательские решения Москва, ISBN ISBN 978-5-4493-5156-2 (т. 1), ISBN 978-5-4493-5157-9, 153 с.
    ИСТИНА
  • Интеллектуальные системы 2-е изд. Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. место издания Юрайт Москва, ISBN 978-5-534-00918-7, 219 с.
    ИСТИНА
  • Компьютерное моделирование логических процессов. Опыт обучения компьютерного решателя задач: аналитическая геометрия, линейная алгебра, теория вероятностей, комплексный анализ и другие разделы. Подколзин А.С. место издания ВИНИТИ Москва, ISBN 18-В2017, 969 с.
    ИСТИНА
  • Теория автоматов : учебник для бакалавриата и магистратуры. Кудрявцев В.Б., Алешин С.В., Подколзин А.С. место издания Юрайт Москва, ISBN 978-5-534-00117-4, 320 с.
    ИСТИНА
  • Интеллектуальные системы: учебник и практикум бакалавриата и магистратуры. Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. место издания Юрайт Моква, ISBN 978-5-9916-9164-2, 219 с.
    ИСТИНА
  • Основы теории интеллектуальных систем. Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. место издания МАКС Пресс Москва, ISBN 978-5-317-05396-3, 612 с.
    ИСТИНА
  • Компьютерное моделирование логических процессов. Опыт обучения компьютерного решателя задач: математический анализ, дифференциальные уравнения и элементарная геометрия. Подколзин А.С. место издания ВИНИТИ М, ISBN 185-В2015, 1320 с.
    ИСТИНА
  • Компьютерное моделирование логических процессов. Опыт обучения компьютерного решателя задач: логические приемы, алгебра множеств, комбинаторика. Подкозин А.С. место издания ВИНИТИ М, ISBN 184-В2015, 1153 с.
    ИСТИНА
  • Компьютерное моделирование логических процессов. Том 2 (Опыт обучения решателя задач). Подколзин А.С. место издания Получен грант РФФИ, 1000 с.
    ИСТИНА
  • Компьютерное моделирование логических процессов. Подколзин А.С. место издания Физматлит Москва, ISBN 978-5-9221-1045-7, 1024 с.
    ИСТИНА
  • Введение в теорию интеллектуальных систем. Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. место издания Изд-во ф-та ВМиК МГУ Москва, ISBN 5-89407-272-7, 5-317-01743-2, 208 с.
    ИСТИНА
  • Задачи студенческих олимпиад по математике. Садовничий В.А., Подколзин А.С. место издания Дрофа М, ISBN 5-7107-6958-4, 207 с.
    ИСТИНА
  • Компьютерное моделирование процессов решения математических задач. Подколзин А.С. место издания ЦПИ при мех-мат. ф-те МГУ Москва, 235 с.
    ИСТИНА
  • Компьютерный решатель математических задач (учебное пособие). Подколзин А.С. место издания ЦПИ при мех-мат ф-те МГУ Москва, 79 с.
    ИСТИНА
  • Принципы синтеза приемов автоматического решения задач по тригонометрии и дифференциальному исчислению (препринт). Подколзин А.С. место издания Изд-во МГУ Москва, 34 с.
    ИСТИНА
  • Основы теории однородных структур. Кудрявцев В.Б., Подколзин А.С., Болотов А.А. издательство ФГБУ "Издательство "Наука" (Москва) , ISBN 5-02-014266-2, 296 с.
    ИСТИНА
  • Uvod u teorij apstraktninh automata. Kudryavtsev V.B., Podkolzin A.S. место издания Naucna Kniga Beograd, 184 с.
    ИСТИНА
  • Введение в теорию абстрактных автоматов. Кудрявцев В.Б., Подколзин А.С., Ушчумлич Ш. место издания Изд-во МГУ Москва, 180 с.
    ИСТИНА
  • Введение в теорию автоматов. Кудрявцев В.Б., Алёшин С.В., Подколзин А.С. издательство ФГБУ "Издательство "Наука" (Москва) , 320 с.
    ИСТИНА
  • Элементы теории автоматов. Кудрявцев В.Б., Алешин С.В., Подколзин А.С. место издания Издательство МГУ Москва, 218 с.
    ИСТИНА
  • Задачи студенческих олимпиад по математике. Садовничий В.А., Подколзин А.С. издательство ФГБУ "Издательство "Наука" (Москва) , 207 с.
    ИСТИНА

  • Об алгоритмизации знаний (2021). Подколзин А.С. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 25, № 4, с. 193-204
    ИСТИНА
  • Компьютерное моделирование логических процессов (2019). Подколзин Александр Сергеевич в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 23, № 4, с. 138
    ИСТИНА
  • “Доклады семинара «Теория автоматов»” (2018). Ищенко Р.А., Подколзин А.С., Жук Д.Н., Моисеев С.В., Миронов А.М., Голиков К.А., Дергач П.С., Галатенко А.В., Мазуренко И.Л., Коновалов А.Ю., Курганов Е.А. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 22, № 4, с. 137-142
    ИСТИНА
  • Исследование логических процессов путем компьютерного моделирования (2016). Подколзин А.С. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 20, № 3, с. 164-168
    ИСТИНА
  • О самообучении интеллектуальной системы (2014). Подколзин А.С. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 18, № 2, с. 197-266
    ИСТИНА
  • Компьютерное моделирование логических процессов (2013). Подколзин А.С. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 17, № 1-4, с. 80-86
    ИСТИНА, Текст на сайте журнала
  • Теория клеточных автоматов (2009). Кудрявцев В.Б., Подколзин А.С. в журнале Современные проблемы математики и механики, том 1, с. 101-124
    ИСТИНА
  • Клеточные автоматы (2006). Подколзин А.С., Кудрявцев В.Б. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 10, № 1-4
    ИСТИНА, Текст на сайте журнала
  • О развитии техники моделирования логических процессов (2006). Подколзин А.С. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 10, № 1-4
    ИСТИНА, Текст на сайте журнала
  • О развитии технологии обучения компьютерных решателей математических задач (2000). Подколзин А.С. в сборнике Труды IV Международной конференции "Дискретные модели в теории управляющих систем", Красновидово, (19-25 июня 2000 г.)
    ИСТИНА
  • О формировании приемов решения математических задач (1998). Подколзин А.С. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 3, № 3-4
    ИСТИНА
  • О синтезе минимальных источников (1996). Подколзин А.С., Ушчумлич Ш.М. в журнале Дискретная математика, издательство ФГБУ "Издательство "Наука" (Москва), том 8, № 4
    ИСТИНА
  • О разработке процедур автоматического решения задач (1994). Подколзин А.С. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 1, № 1
    ИСТИНА
  • Система автоматического решения задач по элементарной алгебре (1994). Подколзин А.С. в журнале Дискретная математика, издательство ФГБУ "Издательство "Наука" (Москва), том 6, № 4
    ИСТИНА
  • Компьютерный решатель математических задач (1994). Подколзин А.С. в журнале Доклады Академии наук, издательство ФГБУ "Издательство "Наука" (Москва), том 335, № 4
    ИСТИНА
  • The main trends in the theory of homogeneous structures (1991). Kudryavtsev V.B., Podkolzin A.S. в журнале Discrete Mathematics and Applications, издательство de Gruyter (Germany), том 1, № 3, с. 229-250
    ИСТИНА
  • Об организации баз знаний, ориентированных на автоматическое решение задач (1991). Подколзин А.С. в журнале Дискретная математика, издательство ФГБУ "Издательство "Наука" (Москва), том 3, № 3
    ИСТИНА
  • О решении систем автоматных уравнений (1990). Подколзин А.С., Ушчумлич Ш.М. в журнале Дискретная математика, издательство ФГБУ "Издательство "Наука" (Москва), том 2, № 1
    ИСТИНА
  • Об основных направлениях в теории однородных структур (1989). Кудрявцев В.Б., Подколзин А.С. в журнале Дискретная математика, издательство ФГБУ "Издательство "Наука" (Москва), том 1, № 3
    ИСТИНА
  • An approach to automata schemes synthesis (1988). Подколзин А.С., Ушчумлич Ш.М. в журнале Acta Cybernetica, издательство Szegedi Tudomanyegyetern/University of Szeged (Hungary), том 8, № 4
    ИСТИНА
  • On states accessibility in automata schemes (1987). Подколзин А.С., Ушчумлич Ш.М. в журнале Papers on automata and languages, № 9
    ИСТИНА
  • Об одномерных универсальных однородных структурах (1979). Подколзин А.С. в журнале Ann.Univ.Scien.Budap.de Rolando Eotvos nominatae, № 2
    ИСТИНА
  • Об универсальных однородных структурах (1978). Подколзин А.С. в сборнике Проблемы кибернетики, серия Проблемы кибернетики, издательство ФГБУ "Издательство "Наука" (Москва), том 34
    ИСТИНА
  • О сложности моделирования однородных структур (1975). Подколзин А.С. в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания Наука, том 30, с. 199-227
    ИСТИНА
  • Uber die Komplizierttheit der Modellierung in homogeden Strukturen (1975). Подколзин А.С. в журнале Wissentschafliche zeitshrift der Humboldt-Universitat Zu Berlin, том 24, № 6
    ИСТИНА
  • О времени существования конфигураций в однородных структурах (1975). Подколзин А.С. в журнале Журнал вычислительной математики и математической физики, издательство ФГБУ "Издательство "Наука" (Москва), том 3
    ИСТИНА
  • О поведении однородных структур (1974). Подколзин А.С. в сборнике Проблемы кибернетики, серия Проблемы кибернетики, издательство ФГБУ "Издательство "Наука" (Москва), том 31, с. 133-166
    ИСТИНА