ИСТИНА

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

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем, профессор, с 1 сентября 1975

доктор физико-математических наук с 1995 года

профессор по кафедре с 2 октября 2000 г.

Соавторы: Кудрявцев В.Б., Гасанов Э.Э., Алешин С.В., Ушчумлич Ш., Болотов А.А., Садовничий В.А., Галатенко А.В., Голиков К.А., Дергач П.С., Жук Д.Н., Ищенко Р.А., Курганов Е.А., Мазуренко И.Л. показать полностью..., Миронов А.М., Моисеев С.В.

28 статей, 34 книги, 10 докладов на конференциях, 3 тезисов докладов, 5 НИР, 41 патент, 1 членство в редколлегии журнала, 1 членство в диссертационном совете, 9 диссертаций, 3 дипломные работы, 14 учебных курсов

Количество цитирований статей в журналах по данным Scopus: 0

IstinaResearcherID (IRID): 1918725

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

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

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

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

  • • 2000 О развитии технологии обучения компьютерных решателей математических задач
    • Подколзин А.С.
    • в сборнике Труды IV Международной конференции "Дискретные модели в теории управляющих систем", Красновидово, (19-25 июня 2000 г.)
  • • 1978 Об универсальных однородных структурах
    • Подколзин А.С.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, издательство ФГБУ "Издательство "Наука" (Москва), том 34
  • • 1975 О сложности моделирования однородных структур
    • Подколзин А.С.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, место издания Наука, том 30, с. 199-227
  • • 1974 О поведении однородных структур
    • Подколзин А.С.
    • в сборнике Проблемы кибернетики, серия Проблемы кибернетики, издательство ФГБУ "Издательство "Наука" (Москва), том 31, с. 133-166

• Книги

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

• Доклады на конференциях

  • • 2021 Об алгоритмизации знаний (Устный)
    • Автор: Подколзин А.С.
    • XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», Москва, МГУ имени М.В. Ломоносова, Россия, 29 ноября - 3 декабря 2021
  • • 2020 Введение в теорию автоматов (Устный)
    • Авторы: Кудрявцев В.Б., Алешин С.В., Подколзин А.С.
    • Ломоносовские чтения 2020. Секция математики, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
  • • 2019 Введение в теорию автоматов (Пленарный)
    • Авторы: Кудрявцев В.Б., Подколзин А.С., Алешин С.В.
    • «Ломоносовские чтения - 2019». Секция «Математика», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2019 Дискретная математика. Теория однородных структур. (Пленарный)
    • Авторы: Болотов А.А., Подколзин А.С., Кудрявцев В.Б.
    • «Ломоносовские чтения - 2019». Секция «Математика», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2018 Интеллектуальные системы. Теория и приложения. (Устный)
    • Авторы: Гасанов Э.Э., Подколзин А.С., Кудрявцев В.Б.
    • Ломоносовские чтения - 2018. Секция математики, МОСКВА, Россия, 16-26 апреля 2018
  • • 2016 Опыт обучения компьютерного решателя задач: логические приемы, алгебра множеств, комбинаторика (Устный)
    • Автор: Подколзин А.С.
    • Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
  • • 2016 Опыт обучения компьютерного решателя задач: математический анализ, дифференциальные уравнения и элементарная геометрия (Устный)
    • Автор: Подколзин А.С.
    • Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
  • • 2016 Основы теории интеллектуальных систем (Устный)
    • Авторы: Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С.
    • Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
  • • 2014 Об автоматизации синтеза приемов решения задач
    • Автор: Подколзин А.С.
    • Ломоносовские чтения - 2014. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 14-23 апреля 2014
  • • 2013 Архитектура и языки решателя задач
    • Автор: Подколзин А.С.
    • Ломоносовские чтения - 2013. Секция математики, Москва, МГУ, механико-математический факультет, Россия, 15-26 апреля 2013

• Тезисы докладов

  • • 2006 О компьютерном моделировании логических процессов
    • Подколзин А.С.
    • в сборнике Материалы IX Международной конференции "Интеллектуальные системы и компьютерные науки" (23-27 октября 2006 г.), место издания Издательство механико-математического факультета МГУ Москва, тезисы
  • • 2004 Computer modeling of mathematical problems solving
    • Подколзин А.С.
    • в сборнике Труды 10 -го международного конгресса по математическо-му образованию, место издания Копенгаген, тезисы
  • • 1993 Computer solver of mathematical problems
    • Подколзин А.С.
    • в сборнике Resumenes de las conf. Plenarias 3 C.E.D.Y.A, место издания Madrid, тезисы

• НИРы

  • • 14 сентября 2023 - 12 декабря 2024 ОКР «Разработка инструмента высокоуровневого синтеза СФ-блоков конечных автоматов», шифр «ИРИС»
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Гасанов Э.Э. Ответственный исполнитель: Калачев Г.В. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Анненков А.П., Бабин Д.Н., Бегунц А.В., Бергер И.О., Бирюкова В.А., Боков Г.В., Быстрыгова А.В., Волков Н.Ю., Воротников А.С., Галатенко А.В., Гасанова К.Э., Демидова А.А., Дергач П.С., Дробышев А.С., Дюбанов А.В., Ефимов А.А., Жарков Д.В., Жук Д.Н., Иванов И.Е., Ирматов А.А., Калашников М.Э., Кобельков С.Г., Козлов В.Н., Коновалов А.Ю., Корчагин Н.П., Кочергин В.В., Кузнецова Е.В., Мазуренко И.Л., Менькин М.И., Миронов А.М., Молдованов И.В., Носов В.А., Носов М.В., Панкратьев А.Е., Пантелеев П.А., Патрашкин Н.А., Плетнев А.А., Подколзин А.С., Половников В.С., Родин С.Б., Ронжин Д.В., Скударев Е.Г., Снегова Е.А., Соколов А.П., Староверов В.М., Сыркин Г.И., Хазова К.В., Хусаенов А.А., Часовских А.А., Чернова Ю.Г., Шуткин А.С., Шуткин Ю.С., Шуткина О.В., Юсупов Ф.Р., строгалов а.с.
  • • 1 января 2021 - 31 декабря 2025 Теория интеллектуальных систем и автоматов 2021-2025
    • Кафедра математической теории интеллектуальных систем
    • Руководители: Гасанов Э.Э., Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Быстрыгова А.В., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Иванов И.Е., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
  • • 1 августа 2016 - 31 июля 2017 Исследования систем хранения и кодирования информации
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алешин С.В., Буевич В.А., Козлов В.Н., Подколзин А.С.
  • • 1 января 2016 - 31 декабря 2020 Теория интеллектуальных систем и автоматов 2016-2020
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
  • • 1 января 2011 - 31 декабря 2015 Теория интеллектуальных систем и автоматов
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Мазуренко И.Л., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.

• Патенты

  • • 2006 Method and apparatus for finding optimal unification substitution for formulas in technology library
    • Авторы: Gasanov E.E., Podkolzin A.S., Galatenko A.V.
    • #US 7,003,739, 21 февраля
  • • 2005 Method and apparatus for optimizing the timing of integrated circuits.
    • Авторы: Podkolzin A.S., Kudryavtsev V.B.
    • #US 6,868,535, 15 марта
  • • 2004 Method and apparatus for dynamic buffer and inverter tree optimization
    • Авторы: Zolotykh A.A., Gasanov E.E., Podkolzin A.S., Kudryavtsev V.B.
    • #US 6,681,373, 20 января
  • • 2003 Method and apparatus for quick search for identities applicable to specified formula
    • Авторы: Zolotykh A.A., Gasanov E.E., Podkolzin A.S., Kudryavtsev V.B.
    • #US 6,637,011, 21 октября
  • • 2003 Method and apparatus for timing driven resynthesis
    • Авторы: Zolotykh A.A., Gasanov E.E., Podkolzin A.S., Kudryavtsev V.B.
    • #US 6,564,361, 13 мая
  • • 2003 Method and apparatus for local resynthesis of logic trees with multiple cost functions
    • Авторы: Zolotykh A.A., Gasanov E.E., Podkolzin A.S., Kudryavtsev V.B.
    • #US 6,543,032, 1 апреля
  • • 2003 Method and apparatus for optimal critical netlist area selection
    • Авторы: Zolotykh A.A., Gasanov E.E., Podkolzin A.S., Kudryavtsev V.B.
    • #US 6,532,582, 11 марта
  • • 2002 Hexagonal architecture
    • Авторы: Kudryavtsev V.B., Scepanovic R., Andreev A.E., Aleshin S.V., Podkolzin A.S.
    • #US 6,407,434, 18 июня
  • • 2001 Programmable triangular shaped device having variable gain
    • Авторы: Kudryavtsev V.B., Scepanovic R., Andreev A.E., Aleshin S.V., Podkolzin A.S.
    • #US 6,312,980, 6 ноября
  • • 2000 Physical design automation system and process for designing integrated circuit chips using multiway partitioning with constraints.
    • Авторы: Kudryavtsev V.B., Scepanovic R., Andreev A.E., Aleshin S.V., Podkolzin A.S.
    • #US 6,134,702, 17 октября
  • • 2000 Triangular semiconductor or gate.
    • Авторы: Kudryavtsev V.B., Scepanovic R., Andreev A.E., Aleshin S.V., Podkolzin A.S.
    • #US 6,097,073, 1 августа
  • • 2000 Triangular semiconductor or gate
    • Авторы: Podkolzin A.S., and others
    • #US No6097073, 15 февраля
  • • 1999 Physical design automation system and process for designing integrated circuit chips using highly parallel sieve optimization with multiple "jiggles"
    • Авторы: Podkolzin A.S., and others
    • #US No5909376, 29 ноября
  • • 1999 Architecture having diamond shaped or parallelogram shaped cells.
    • Авторы: Kudryavtsev V.B., Scepanovic R., Andreev A.E., Aleshin S.V., Podkolzin A.S.
    • #US 5,973,376, 26 октября
  • • 1999 Physical design automation system and process for designing integrated circuit chips using highly parallel sieve optimization with multiple "jiggles".
    • Авторы: Kudryavtsev V.B., Scepanovic R., Andreev A.E., Aleshin S.V., Podkolzin A.S.
    • #US 5,909,376, 1 июня
  • • 1999 Architecture having diamond shaped or parallelogramm shaped cells
    • Авторы: Podkolzin A.S., and others
    • #US No5973376, 9 апреля
  • • 1999 Tri-directional interconnect architecture for SRAM.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Scepanovic R., Aleshin S.V., Podkolzin A.S.
    • #US 5,889,329, 30 марта
  • • 1999 Hexagonal sense cell architecture.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Scepanovic R., Aleshin S.V., Podkolzin A.S.
    • #US 5,872,380, 16 февраля
  • • 1999 Triangular semiconductor NAND gate.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,864,165, 26 января
  • • 1998 Physical design automation system and method using monotonically improving linear clusterization.
    • Авторы: Kudryavtsev V.B., Aleshin S.V., Andreev A.E., Scepanovic R., Podkolzin A.S.
    • #US 5,838,585, 17 ноября
  • • 1998 Computer implemented method for leveling interconnect wiring density in a cell placement for an integrated circuit chip.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,835,378, 10 ноября
  • • 1998 Triangular semiconductor "AND" gate device.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,834,821, 10 ноября
  • • 1998 CAD for hexagonal architecture.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,822,214, 13 октября
  • • 1998 Transistors having dynamically adjustable characteristics.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,811,863, 22 сентября
  • • 1998 Polydirectional non-orthoginal three layer interconnect architecture.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,808,330, 15 сентября
  • • 1998 Hexagonal SRAM architecture.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,801,422, 1 сентября
  • • 1998 Hexagonal architecture with triangular shaped cells.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,789,770, 4 августа
  • • 1998 Physical design automation system and process for designing integrated circuit chips using generalized assignment.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,784,287, 21 июля
  • • 1998 Hexagonal field programmable gate array architecture.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,777,360, 7 июля
  • • 1998 Hexagonal DRAM array.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,742,086, 21 апреля
  • • 1998 Physical design automation system and process for designing integrated circuit chips using fuzzy cell clusterization.
    • Авторы: Kudryvavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,712,793, 27 января
  • • 1997 Physical design automation system and method using hierarchical and placement improvement based on complete re-placement of cell
    • Авторы: Подколзин А.С., (еще 6 авторов) и.др
    • #United States Patent, No5661663, 17 декабря
  • • 1997 Physical design automation system and process for designing integrated circuit chips using multiway partitioning with constraints.
    • Авторы: Kudryvavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,699,265, 16 декабря
  • • 1997 Physical design automation system and method using hierarchical clusterization and placement improvement based on complete re-placement of cell clusters.
    • Авторы: Scepanovic R., Kudryvavtsev V.B., Andreev A.E., Aleshin S.V., Podkolzin A.S.
    • #US 5,661,663, 26 августа
  • • 1997 Microelectronic integrated circuit including triangular semiconductor "or" g.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,654,563, 5 августа
  • • 1997 Microelectronic integrated circuit including triangular CMOS "nand" gate device.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,650,653, 22 июля
  • • 1997 Microelectronic integrated circuit including triangular semiconductor "and" gate device.
    • Авторы: Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Scepanovic R., Podkolzin A.S.
    • #US 5,631,581, 20 мая
  • • 1997 Microelectronic integrated circuit including triangular semiconductor "OR" gate device
    • Авторы: Podkolzin A.S., and others
    • #US No5654563, 19 мая
  • • 1997 Microelectronic integrated circuit including triangular CMOS "NAND" Gate device
    • Авторы: Podkolzin A.S., and others
    • #US No5650653, 8 апреля
  • • 1996 Microelectronic integrated circuit structure and method using three directional interconnect routing based on hexagonal geometry
    • Авторы: Scepanovic R., Koford J.S., Kudryavtsev V.B., Andreev A.E., Aleshin S.V., Podkolzin A.S.
    • #5,578,840, 26 ноября
  • • 1996 Microelectronic integrated circuit struture and method using three directional interconnect routing based on hexagonal geometry
    • Авторы: Podkolzin A.S., and others
    • #US No5578840, 21 октября

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

  • • с 1 февраля 1996 Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
    • издательство [б.и.] (М.)

• Членство в диссертационных советах

  • • 12 мая 2006 - 31 августа 2017 Д 501.001.84, МГУ имени М.В. Ломоносова, Механико-математический факультет
    • 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)

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

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

• Диссертации

  • • 1995 О моделировании процессов решения математических задач
    • Докторская диссертация по специальности 05.13.15 - Вычислительные машины, комплексы и компьютерные сети (физ.-мат. науки)
    • Автор: Подколзин А.С., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.032.06 при ВЦ РАН
  • • 1976 О поведении однородных структур
    • Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
    • Автор: Подколзин А.С., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Научный руководитель: Кудрявцев В.Б., д.ф.-м.н., проф.
    • Защищена в совете при МГУ имени М.В. Ломоносова

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

  • • 2020 Кванторные определения и бескванторная выразимость в логике предикатов
    • Научный руководитель: Подколзин А.С.
    • Автор: Капустин Ю.С. (Специалист)
  • • 2015 Оценки сложности экспериментов с лабиринтными автоматами
    • Научный руководитель: Подколзин А.С.
    • Автор: Анненков Александр Петрович (Специалист)
  • • 2015 О распознавании свойств поведений однородных структур
    • Научный руководитель: Подколзин А.С.
    • Автор: Якимец Кузьма Кириллович (Специалист)

• Авторство учебных курсов

  • • 2015 компьютерное моделирование логических процессов
    • Автор: Подколзин Александр Сергеевич
  • • 2015 Теория дискретных функций
    • Автор: Подколзин Александр Сергеевич
  • • 2010 теория дискретных функций
    • Автор: Подколзин Александр Сергеевич
  • • 2010 Теория дискретных функций
    • Автор: Подколзин Александр Сергеевич
  • • 2005 теория автоматов и роботов
    • Автор: Подколзин Александр Сергеевич
  • • 2005 компьютерный решатель математических задач
    • Автор: Подколзин Александр Сергеевич
  • • 2005 Теория автоматов
    • Авторы: Кудрявцев В.Б., Подколзин А.С.
  • • 2004 Математика и технологии компьютеров, процессоров и программ
    • Авторы: Кудрявцев В.Б., Алешин С.В., Подколзин А.С.
  • • 2001 теория автоматов
    • Авторы: Подколзин А.С., Кудрявцев В.Б., Алешин С.В.
  • • 2000 Элементы кибернетики
    • Автор: Подколзин А.С.
  • • 2000 Теория автоматов
    • Автор: Подколзин Александр Сергеевич
  • • 2000 Компьютерный решатель математических задач
    • Автор: Подколзин А.С.
  • • 2000 Компьютерное моделирование логических процессов
    • Автор: Подколзин Александр Сергеевич
  • • 1985 Теория автоматов и роботов
    • Авторы: Кудрявцев В.Б., Подколзин А.С., Алешин С.В.

• Преподавание учебных курсов

  • • 4 сентября 2023 - 11 декабря 2023 Компьютерный решатель математических задач
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 2 сентября 2023 - 16 декабря 2023 Теория автоматов и роботов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2023 - 20 мая 2023 компьютерное моделирование логических процессов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2023 - 20 мая 2023 Теория дискретных функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 32 часов
  • • 1 сентября 2022 - 20 декабря 2022 Компьютерный решатель математических задач
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2022 - 20 декабря 2022 Теория автоматов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2022 - 20 мая 2022 Компьютерное моделирование логических процессов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2021 - 6 декабря 2021 Компьютерный решатель математических задач
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2021 - 4 декабря 2021 Теория автоматов и роботов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2021 - 20 мая 2021 теория дискретных функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 32 часов
  • • 8 февраля 2021 - 20 мая 2021 Компьютерное моделирование логических процессов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2020 - 20 декабря 2020 Компьютерный решатель математических задач
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2020 - 20 декабря 2020 Теория автоматов и роботов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2020 - 20 мая 2020 Компьютерное моделирование логических процессов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2020 - 20 мая 2020 теория дискретных функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 32 часов
  • • 1 сентября 2019 - 20 декабря 2019 теория автоматов и роботов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2019 - 20 декабря 2019 компьютерный решатель математических задач
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2019 - 20 мая 2019 компьютерное моделирование логических процессов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2019 - 20 мая 2019 теория дискретных функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 32 часов
  • • 1 сентября 2018 - 20 декабря 2018 теория автоматов и роботов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2018 - 20 декабря 2018 Компьютерный решатель математических задач
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2018 - 20 мая 2018 теория дискретных функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 32 часов
  • • 8 февраля 2018 - 20 мая 2018 Компьютерное моделирование логических процессов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2016 - 20 декабря 2016 Теория автоматов и роботов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 1 сентября 2016 - 20 декабря 2016 Компьютерный решатель математических задач
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов