доктор физико-математических наук, профессор, академик МАТН
Область научных интересов: Специалист в области дискретной математики и математической теории интеллектуальных систем
Александр Сергеевич Подколзин родился в г.Москве 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
ИСТИНА
- Теория автоматов и роботов, курс по выбору студента
- Теория автоматов, курс обязательный
- Компьютерный решатель математических задач, курс по выбору кафедры
- Элементы кибернетики, семинар по выбору студента
- Процедуры автоматического решения задач, семинар по выбору студента