681 П 442 Подколзин, Александр Сергеевич. Компьютерное моделирование логических процессов. Архитектура и язык решателя задач / А. С. Подколзин. - Москва : Физматлит, 2008. - 1024 с. - Библиогр.: с. 1021-1022. - ISBN 978-5-9221-1045-7 : 600 р.
Искусственный интеллект--Решение задач Кл.слова (ненормированные): КОМПЬЮТЕРНАЯ МАТЕМАТИКА -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКАЯ СИСТЕМА "ИСКРА" -- РЕШАТЕЛИ ЗАДАЧ -- АЛГОРИТМИЧЕСКИЙ ЯЗЫК ЛОС -- АЛГОРИТМИЧЕСКИЙ ЯЗЫК ГЕНОЛОГ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
62 К 889 Кудрявцев, Валерий Борисович. Введение в теорию абстрактных автоматов : учебное пособие для студентов университетов, обучающихся по специальности "Математика" / В. Б. Кудрявцев, А. С. Подколзин, Ш. Ушчумлич. - Москва : Издательство Московского университета, 1985. - 173 с. - 00.40 р., 00.40 р.
Кл.слова (ненормированные): автоматов теории Доп.точки доступа: Подколзин, Александр Сергеевич; Ушчумлич, Шчепан Экземпляры всего: 2 Х (1), АБУ (1) Свободны: Х (1), АБУ (1) |
517 М 545 Методическая разработка по курсу "Математическая логика и дискретная математика" : для механико-математических факультетов и факультетов прикладной математики университетов / В. Б. Алексеев [и др.]. - Саратов : Издательство Саратовского университета, 1982. - 134 с. - 00.20 р.
Кл.слова (ненормированные): логика математическая -- математика дискретная Доп.точки доступа: Алексеев, Валерий Борисович; Алешин, Станислав Владимирович; Буевич, Вячеслав Александрович; Кудрявцев, Валерий Борисович; Подколзин, Александр Сергеевич; Сапоженко, Александр Антонович; Яблонский, Сергей Всеволодович Экземпляры всего: 1 АБУ (1) Свободны: АБУ (1) |
517 С 143 Садовничий, Виктор Антонович. Задачи студенческих олимпиад по математике / В. А. Садовничий, А. С. Подколзин. - Москва : Наука, 1978. - 207 с. : граф. - 0.40 р., 100.00 р.
Кл.слова (ненормированные): ВЫСШАЯ МАТЕМАТИКА (ЗАДАЧИ) -- МАТЕМАТИЧЕСКИЕ ОЛИМПИАДЫ СТУДЕНЧЕСКИЕ -- МАТЕМАТИЧЕСКИЕ ОЛИМПИАДЫ (ЗАДАЧИ) Доп.точки доступа: Подколзин, Александр Сергеевич Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |
62 К 889 Кудрявцев, Валерий Борисович. Введение в теорию автоматов / В.Б. Кудрявцев, С.В. Алешин, А.С. Подколзин. - М. : Наука, 1985. - 319 с. : ил ; 22. - Библиогр.: с. 311-313. - Указ. имен., предм.: с. 314-317. - 7000 экз. - 2.60 р., 2.60 р.
Кл.слова (ненормированные): Теория автоматов -- Математическая кибернетика Доп.точки доступа: Алешин, Станислав Владимирович; Подколзин, Александр Сергеевич Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |