Гамова
Алла
Николаевна
Гамова А.Н. окончила Саратовский государственный университет и аспирантуру Новосибирского государственного университета по кафедре алгебры и логики и защитила диссертацию по теме "Вычисления на машинах Тьюринга с частичными оракулами" на соискание ученой степени кандидата физико-математических наук.
В ноябре 2010 года прошла краткосрочное обучение в Московском Государственном техническом университете им. Н.Э. Баумана на курсах повышения квалификации по специальности "Комплексное обеспечение информационной безопасности автоматизированных систем", специализации "Техническая защита конфиденциальной информации" в объеме 72 часов.
В настоящее время Гамова А.Н. читает курсы по математической логике, теории кодирования и пр.
- Вычисления на машинах Тьюринга с оракулом // "Применение экономико-математических методов и вычислительной техн. в с.-х. произ." Сб. научных трудов, Новосибирск, 1983.
- Модель арифметики 2-ой ступени // "Экономика и организация с.-х. производств" № 11, 1984, Деп. № 355/4-84/.
- Обобщенные вычисления и машинно-оракульные модели // "Применение физико-математических методов в сельском хозяйстве" Сб. научных трудов, Новосибирск, 1984.
- Теорема Майхилла в терминах обобщенных (F,A)-вычислений // Всесоюзная конференция по математической логике,7, Новосибирск, 1984.
- Линейные пространства и линейные операторы // Метод. разраб. для студентов специал. экономист-кибернетик, Ред. пол. объед. СО ВАСХНИЛ, Новосибирск, 1985.
- Некоторый аналог (F,A)-рекурсии в терминах вычислений на машинах Тьюринга с оракулом // Математические методы и вычис. техника в организации и планировании с.-х. производства. Сб. научных трудов, Новосибирск, 1985.
- Метарекурсивность автономных нумераций // Вычислительные системы 122, Новосибирск, 1987.
- Метарекурсивность суперавтономных нумераций // Всесоюзная конференция по прикладной логике, 2, Новосибирск, 1988.
- Обобщенная вычислимость в вычислениях с гиперарифметическим оракулом // Новосибирский институт инженеров геодезии, аэрофотосъемки и картографии, Новосибирск,Деп. в ВИНИТИ № 6802-В88, 1988.
- Обобщенные вычисления с оракулами // Алгебра и логика,Т.27, № 2, Новосибирск, 1988.
- Pi - автономные нумерации // Вычислительные системы 129, Новосибирск, 1989.
- Обобщенно-конструктивные модели в связи с метарекурсией // Международная конференция по алгебре, 1, Новосибирск, 1989.
- Эффективные оракулы // Алгебра и логика,Т.29, № 6, Новосибирск, 1990.
- Математические аспекты диалогового программирования // Вопросы мат. моделирования в прикладных задачах. Межвуз. сб. научн. трудов, Новосибирск, 1990.
- Модели теории множеств с регулярным и слабо фундированным оракулом // Методы и системы технической диагностики, 13, Саратов, 1990.
- Обобщенное программирование // 11-я Всесоюзная конф. "Проблемы теоретической кибернетики", 1, Волгоград, 1990.
- Суперавтономные нумерации и проектируемые ординалы // Алгебра и логика, Т. 30, № 1, Новосибирск, 1991.
- Обобщенно-конструктивные модели // Международная конф. по алгебре, 2, Барнаул, 1991.
- Метарекурсия и вычисления с частичными оракулами // Диссертация на соискание ученой степени кандидата физико-мат. наук, Саратов, СГУ, 1991.
- Метарекурсия и вычисления с частичными оракулами // Автореферат на соискание ученой степени кандидата физико-мат. наук, Саратов, СГУ, 1991.
- Языки спецификаций в области абстрактной вычислимости // Методы и системы технич. диагностики, 13, ч. 2, Материалы Всесоюзного семинара "Экспертные и обучающие системы", Саратов.
- Языки спецификаций в области абстрактной вычислимости // Методы и системы техн. диагностики, 15, Межвуз. сб. научных трудов, Саратов, 1992.
- Метарекурсия в языке F-вычислений // 11-я Межреспубликанская конф. по математ. логике, Казань, 1992.
- Обобщенное программирование // Математика и ее приложения, 3, СГУ, 1993.
- Вычислимые аналоги больших кардиналов в (F,А)-вычислениях // Методы и системы техн. диагностики, 18, Межвуз. сб. научных трудов, Саратов, 1993.
- Введение в нестандартный анализ // Учебное пособие, СГУ, 1993.
- Методическое пособие по математике для поступающих в СГУ // Саратов, 1994 (соавтор С.С.Волосивец).
- (F,A)-computatins // 3-я Суслинская конф. Тезисы докладов, Саратов, 1994.
- (F,A)-вычислимость // Упорядоченные множества и решетки, Межвуз. сб. научных тр., 11, Саратов, 1995.
- Alpha - рекурсия // в кн."Искусственный интеллект", Межвуз. сб. научных трудов, 2, Саратов, 1995.
- Непроектируемые ординалы в метарекурсии // Тезисы докладов на 11 Международной конф. по проблемам теорет. кибернетики, Ульяновск, 1996.
- Арифметика в AST // Теоретические проблемы информатики и ее приложений, Межвуз. сб. научных трудов, Саратов, 1997.
- Канторовская и альтернативная теория множеств // сб."Теоретические проблемы информатики и ее приложений". Вып.2 Саратов.1998. С.22-30.
- Математическая логика и теория алгоритмов.// Учебное пособие для студентов и аспирантов математического факультета, Изд-во СГУ, 1999.
- Современный взгляд на основание математики // сб."Математика, механика и ее приложения". Саратов. 1998 С.28-30.
- 1-сечения на языке F-вычислений // Тезисы докладов XII Межд.конф.М.:1999 C.46.
- Математическая логика и теория алгоритмов.// Учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий, 2-e издание, дополненное, Изд-во СГУ, 2000.
- Обобщение рекурсивности// сб."Теоретические проблемы информатики и ее приложений". Вып.3. Саратов.2001 C.55-61.
- Формальная логика.// Учебное пособие для студентов факультета гуманитарных и социальных наук, Изд-во СГУ, 2001.
- Логический и онтологический статус нормативных систем // Тезисы докладов Межд.конф "Памяти А.М.Богомолова" Саратов, 2002.
- Гамова А.Н. О тезисе Черча // Проблемы и перспективы прецизиозной механики и управления в машиностроении. Материалы Международной конференции.- Саратов: РАН, Институт проблем точной механики и управления, 2002. - С. 292-293.
- Характеризация внутренних формул нестандартного анализа // сб."Математика, механика и ее приложения". Саратов.2002.
- Доказательства по аналогии в формальной логике/ Вопросы преподавания естественнонаучных дисциплин для слушателей гуманитарных специальностей.- Саратов: СЮИ МВД РФ, 2003. С.18-22.
- О выводе по аналогии/ Алгебра и теория чисел: современные проблемы и приложения. Тезисы докл. VI Межд. конференция.- Саратов: СГУ, 2004, 42-43.
- Разработка программных средств для оценки характеристик кодированных сигналов и методов кодирования в среде графического программирования LABVIEW// Проблемы системного подхода при изучении естественнонаучных дисциплин слушателями. Межвуз. научно-практич. семинар. - Саратов: СЮИ МВД РФ, 2004, 88-97. (соавторы: Савин А.Н., Попов А.А., Летов А.Д.)
- Вопенка, П. Альтернативная теория множеств. Новый взгляд на бесконечность [Текст] = Uvod do matematiky v alternativnej teorii mnozin : науч. изд. / П. Вопенка ; пер. со словац. А. Н. Гамовой, Н. В. Белякина ; ред. пер. Н. В. Белякин. - Новосибирск : Изд-во Ин-та математики, 2004. - 611, [3] с. - Библиогр.: с. 601-606. - Предм. указ.: с. 607-611. - ISBN 5-86134-124-9 (в пер.).
- Экстремальные принципы существования систем // Теоретические проблемы информатики и ее приложений. - Саратов: СГУ, 2004. Вып 6. С. 72-75.
- Гамова А.Н. Канторовская теория множеств в свете альтернативной теории множеств // Исследования по алгебре, теории чисел, функциональному анализу и смежным вопросам. Межвузовский сб. научных трудов. Вып.3. - Саратов: Изд-во Сарат. ун-та, 2005. - С. 158-166.
- О сложности криптографических систем // Инновационные тенденции в системе высшего и среднего образования: Материалы Второй заочной научно-методической конференции. Ч. 1. - Саратов: Научная книга, 2005, с. 109-114 (соавторы: С.В. Миронов, А.А. Попов).
- Гамова А.Н., Юрин И.Ю. Логико-лингвистические модели защиты информации // Компьютерные науки и информационные технологии. Тезисы докладов Межд.научной конференции, посвященной памяти А.М.Богомолова.- Саратов: Изд-во Сарат. ун-та, 2007. - С. 149-150.
- Гамова А.Н. Представление неполной информации // Информационная безопасность и компьютерные технологии в деятельности правоохранительных органов. Межвузовский сборник. Вып. 7. Саратов, 2008. - С. 4-13.
- Гамова А.Н. Модели теории множеств в языке F-вычислений. // Материалы двенадцатой региональной конференции по математике. – Барнаул: Изд-во Алтайского государственного университета, июнь 2009. – С. 6–8.
- Гамова А.Н. О моделировании абстрактной теории множеств средствами оракульной вычислимости // Компьютерные науки и информационные технологии. Материалы Международной научной конференции. - Саратов: Изд-во Сарат. ун-та, 2009. С.62 – 64. ISBN 978-5-292-03927-3
- Гамова А.Н. О двух версиях метарекурсии // Материалы XIII региональной конференции по математике. – Барнаул: изд-во Алтайского государственного университета, 2010. – С. 20-21.
- Гамова, А. Н. Применение криптографических свойств булевых функций при создании узлов замен [Текст] / А. Н. Гамова, Б. А. Филиппов // Компьютерные науки и информационные технологии : материалы научной конференции. - Саратов : Издательство Саратовского университета, 2010. - С. 123-129 . - ISBN 978-5-292-03935-8.
- Гамова А.Н. Сложность и случайность // Алгебра и теория чисел: Тезисы докладов VIII международной конференции, посвященной 190-летию П.Л. Чебышева и 120-летию И.В. Виноградова; г. Саратов, 12–17 сентября 2011 г. – Саратов: СГУ, 2011. – С. 19–20.
- Гамова А.Н. Филиппов Б.А. Булевы функции в блочных шифрах // Алгебра и математическая логика: материалы международной конференции, посвященный 100-летию со дня рождения профессора В.В. Морозова, и молодежной школы-конференции «Современные проблемы алгебры и математической логики»; Казань, 25–30 сентября 2011 г. – Казань: КФУ, 2011. – С. 75–76.
- Гамова А.Н., Платонов А.С. Вычисления с частичными оракулами // Компьютерные науки и информационные технологии: Материалы междунар. науч. конф. – Саратов: Издат. центр "Наука", 2012. – С. 98-99. – ISBN 978-5-9999-1304-3.
- Платонов А.С., Гамова А.Н. Проективные координаты в криптографии эллиптических кривых // Компьютерные науки и информационные технологии: Материалы междунар. науч. конф. – Саратов: Издат. центр "Наука", 2012. – С. 256-258. – ISBN 978-5-9999-1304-3.
- Артамонов А.Ю., Гамова А.Н. Модификация алгоритма Витерби / Сборник трудов шестнадцатой региональной конференции по математике. Барнаул, 2013. Издательство Алтайского государственного университета, 2013. С. 74-80.
- Гамова А.Н., Платонов А.С. Машины Тьюринга, сложность и случайность / Сборник трудов шестнадцатой региональной конференции по математике. Барнаул, 2013. Издательство Алтайского государственного университета, 2013. С. 80-84.
- Гамова А.Н., Платонов А.С. Эффективные алгоритмы скалярного умножения в группе точек эллиптической кривой // Чебышевский сборник: науч.-теоретич. журн. Т. XIV, вып.4. - Тула: Изд-во Тул. пед. ун-та, 2013. С. 178-185.
- Гамова А.Н. О тезисе Черча // Компьютерные науки и информационные технологии : Материалы Междунар. науч. конф. Саратов : Издат. центр «Наука», 2014. С. 99-101. ISBN: 978-5-9999-2100-0.
- Гамова А. Н. Вывод по аналогии // Труды конференции “Ломоносовские чтения на Алтае 2014”. Электронная версия.
- Волкова Т.В., Гамова А.Н. Характеризация турбо-кодов // Сборник научных статей международной конференции "Ломоносовские чтения на Алтае: фундаментальные проблемы науки и образования", Барнаул, 20-24 октября, 2015. Барнаул: Изд-во Алт. ун-та, 2015. С. 1067-1072.
- Гамова, А. Н. Сложность вычислений [Текст] : учебное пособие для студентов и магистров факультета компьютерных наук и информационных технологий / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 79, [4] с. : ил., табл. - Библиогр.: с. 81 (6 назв.). - ISBN 978-5-292-04343-0.
- Гамова А.Н., Гераськин А.С. Информационные процессы в каналах связи // Информационные технологии в образовании: Материалы VII Всерос. научно-практ. конф. - Саратов: ООО "Издательство центр "Наука", 2015. - с. - 35-39.
- Гамова А.Н., Ефремова А.А. Генератор псевдослучайных последовательностей на основе клеточных автоматов // Сборник научных статей международной конференции "Ломоносовские чтения на Алтае: фундаментальные проблемы науки и образования", Барнаул, 20-24 октября, 2015. Барнаул: Изд-во Алт. ун-та, 2015. С. 1073-1084.
- Волкова Т.В., Гамова А.Н. Помехоустойчивое кодирование как метод обеспечения высокого уровня надежности передачи дискретной информации // Материалы девятнадцатой Всероссийской конференции по математике, 29 июня – 1 июля. Барнаул, изд-во Алтайского госуниверситета, 2016.- С.93-94.
- Гамова А.Н. Сложность в криптографических системах // Материалы девятнадцатой Всероссийской конференции по математике, 29 июня – 1 июля. Барнаул, изд-во Алтайского госуниверситета, 2016.- С.95-97.
- Гамова А.Н. Неразрешимость в математической логике и в теории сложности вычислений // Компьютерные науки и информационные технологии : Материалы Междунар. науч. конф. - Саратов : Издат. центр "Наука", 2016. C. 135-137.
- Гамова А.Н., Ефремова А.А. Генератор псевдослучайных чисел на основе клеточных автоматов // Компьютерные науки и информационные технологии : Материалы Междунар. науч. конф. - Саратов : Издат. центр "Наука", 2016. C. 131-134.
- Гамова А.Н., Ефремова А.А. Самопрограммируемые клеточные автоматы в криптографии // Прикладная дискретная математика. Приложение, 2017. № 10. С. 76–81.
- Гамова, А. Н. Каскадные коды / А. Н. Гамова, А. А. Ефремова // Сборник трудов Всероссийской конференции по математике "МАК-2017" ; Материалы молодежной прикладной IT школы "Математическое методы и модели в экологии", Барнаул, 29 июня - 1 июля 2016 г. : [тексты докладов] / АлтГУ [и др.] ; [гл. ред. Н. М. Оскорбин]. - Барнаул : Изд-во АлтГУ, 2017. - С. 102–105. - Библиогр. в конце ст.
- Гамова А.Н. Нормативная логика как метод управлять неуправляемым // Труды международной конференции «Ломоносовские чтения на Алтае: фундаментальные проблемы науки и образования», Барнаул, 14-17 ноября, 2017. – Барнаул : Алт. гос. ун-т, 2017. – С.569-573
- Абдулин Д. А., Гамова А. Н. Система электронных платежей // Научное электронное издание Сборник научных статей международной конференции «Ломоносовские чтения на Алтае: фундаментальные проблемы науки и образования» - 2017 Барнаул, 14-17 ноября. С.655-658.
- Самохина К. А., Гамова А. Н. Система электронного голосования // Научное электронное издание Сборник научных статей международной конференции «Ломоносовские чтения на Алтае: фундаментальные проблемы науки и образования» - 2017 Барнаул, 14-17 ноября. С.810-817.
- Самохина К. А., Гамова А. Н. Сложность проверки на простоту целого числа // Информационные технологии в образовании: Материалы IX Всероссийск. научно-практ. конф.– Саратов : Издат. центр «Наука», 2017. – С. 66 – 70.
- Степанов Е. А., Гамова А. Н. Алгоритм декодирования по максимуму апостериорной вероятности // Научное электронное издание Сборник научных статей международной конференции «Ломоносовские чтения на Алтае: фундаментальные проблемы науки и образования» - 2017 Барнаул, 14-17 ноября. С.818-828.
- Гамова А.Н. Обобщенно-конструктивные модели математиче-ских теорий // Компьютерные науки и информационные техно-логии : Материалы Междунар. науч. конф. – Саратов : Издат. центр «Наука», 2018. С. 439–441. ISBN 978-5-9999-3006-4.
- Кочаровский И.А., Гамова А.Н. Защита программного обеспечения от нелегального использования с помощью сетей Петри // Сборник трудов XXI Всероссийской конференции с международным участием "Математики-Алтайскому краю (МАК-2018)" - Барнаул, Издательство Алтайского государственного университета, 2018. С.131-135. ISSN 2500-3453.
- Гамова А. Н., Самохина К.А. Алгоритмы декодирования кодов с низкой плотностью проверок на четность // Труды конференции МАК-2019: «Математики – Алтайскому краю» - Барнаул, 2019. - С. 78-81
- Гамова, А. Н. Неразрешимость и труднорешаемые проблемы / А. Н. Гамова // Труды конференции МАК-2020: «Математики – Алтайскому краю» - Барнаул, 2020. - С. 16-20.
- Гамова А.Н., Степанов Е.А. Сравнение эффективности алгоритмов сверточных кодов // Труды конференции МАК-2020: «Математики – Алтайскому краю» - Барнаул, 2020. - С. 208-213.
Куратор 231 группы (ФКНиИТ, 10.05.01).