2025
-
Гайфутдинова А.Ф. Свойства структуры степеней, порождаемой
сводимостью, определяемой подмножествами функций k-значной логики/ А.Ф. Гайфутдинова, Н.Н. Корнеева // Труды Математического центра имени Н.И. Лобачевского.Т.70: Материалы Всероссийской школы-конференции ”Лобачевские чтения - 2025” – Казань: Изд-во КФУ, 2025. – Т.70. – С.25-28.
-
Корнеева Н.Н. Связь регулярности двумерных и соответствующих им одномерных языков/ Н.Н. Корнеева, Л.А. Гизатуллина// Матем. и теор. комп. науки. - 2025. - Т. 3, Вып. 2. - С. 32-57.
2024
2023
-
Корнеева Н.Н., Стецук А.О. Арифметические операции на регулярных подмножествах натуральных чисел / Н.Н. Корнеева, А.О. Стецук // Труды Математического центра им. Н.И. Лобачевского: Материалы Всероссийской школы-конференции «Лобачевские чтения-2023«. - Казань, Издательство КФУ, 2023. - Т. 67. - C. 48-50.
-
Альпин Ю. А., Корнеева Н. Н. Коэффициент эргодичности. Новые доказательства известных свойств / Ю. А. Альпин, Н. Н. Корнеева // Матем. заметки. - 2023. - Т.114, №6. - С. 803–807.
2019
-
Зубков М. В., Корнеева Н. Н. Упражнения и задачи по дискретной математике: часть I: учебно-методическое пособие / М. В. Зубков, Н. Н. Корнеева. - Казань: Казанский федеральный университет, 2019. - 70 с.
F_vypiska_iz_protokola.jpg
F_metDM.pdf -
Natalia Korneeva. Prefix decidable infinite words for natural subsets of the
set of context-free languages // Logic Colloquium 2019. Book of abstracts (Prague, Czech Republic. August 11-16, 2019). – 2019. – P. 182.
-
Корнеева Н. Н. Префиксная разрешимость сверхслов для некоторых классов языков // Материалы конференции “Алгебра и математическая логика: теория и приложения” (г. Казань, 24-28 июня 2019 г.). – Казань: КФУ, 2019. – c. 130-131.
2018
-
Корнеева Н.Н. Автоматные преобразования сверхслов со свойствами префиксной и Бюхи-разрешимости для контекстно-свободных языков // Труды Математического центра им. Н.И. Лобачевского: Материалы Семнадцатой молодежной научной школы-конференции «Лобачевские чтения-2018«. - Казань, Издательство Казанского математического общества, Издательство Академии наук РТ, 2018. - Т. 56. - C. 159-162.
-
Корнеева Н.Н. Задачи префиксной и Бюхи-разрешимости сверхслов для некоторых классов языков //Международная конференция «Мальцевские чтения«. Тезисы докладов. - 2018. - C. 62.
2017
-
Korneeva N. On prefix realizability problems of infinite words for natural subsets of context-free languages / N. Korneeva //
Logic Colloquium 2017, Stockholm, August 14-20, 2017, Programme and abstracts. - Stockholm, 2017. - p. 143.
LC2017Korneeva.pdf
2016
-
Корнеева Н.Н., Насрутдинов М.Ф., Шарифуллина Ф.Ф. Сборник задач по аналитической геометрии/ М.Ф. Насрутдинов и др. - Казань: КФУ, 2016. - 65 с.
nas_geom.pdf
152353.JPG
152436.JPG -
Корнеева Н.Н. Структура степеней конечно-автоматных преобразований префиксно разрешимых сверхслов/ Н.Н.Корнеева// Изв. вузов. Матем. - 2016. - № 9. - С. 90-95.
ivm9157.pdf -
Корнеева Н.Н. Автоматные преобразования префиксно разрешимых и разрешимых по Бюхи сверхслов/ Н.Н. Корнеева//Изв. вузов. Матем. - 2016. - № 7. - С. 55-65.
ivm9134.pdf
2015
-
Natalia Korneeva, Asynchronous automata transformations of prefix decidable and Buchi decidable infinite words/Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015. -2015. - P. 733
-
Корнеева Н.Н. Префиксная и Бюхи разрешимость сверхслов при автоматных преобразованиях//Международная конференция «Мальцевские чтения«, посвященная 75-летию Ю. Л. Ершова, 3-7 мая 2015 г: тезисы докладов. - 2015. - C. 64.
2014
-
Корнеева Н.Н. Основания математики: исчисления высказываний и предикатов. - Казань, КФУ. - 2014. - 32 с. [http://libweb.ksu.ru/ebooks/50-ITIS/50_006_A5-000446.pdf]
-
Корнеева Н.Н.Степени асинхронно автоматные преобразований сверхслов. Учебно-методическое пособие - Казань, КФУ. 2014.- 24 с.[http://kpfu.ru/docs/F1489109022/KNN_met.pdf]
-
Корнеева Н.Н. Автоматные преобразования префиксно разрешимых сверхслов//Материалы конференции «Алгебра и математическая логика: теория и приложения« (г. Казань, 2-6 июня 2014 г.) и сопутствующей молодежной летней школы «Вычислимость и вычислимые структуры«. - Казань, КФУ, 2014. - C. 84-85.
- Структурные свойства автоматных и тьюринговых степеней (РФФИ-683)
2013
2012
2011
-
Корнеева Н.Н. Степени асинхронно автоматных преобразований//Изв. вузов. Матем., 2011, № 3, 30–40
-
Корнеева Н.Н. О разрешимости монадических теории
бесконечных последовательностей.//Алгебра и математическая
логика: материалы международной конференции, посвященной 100-летию со дня рождения профессора В.В. Морозова, и молодежной школы-конференции «Современные проблемы алгебры и математической логики«; Казань, 25-30 сентября 2011 г. - Казань, КФУ, 2011. - Т. 40. - C. 111-112.
-
Корнеева Н.Н. О степенях автоматных преобразований k-полных последовательностей.//Международная конференция «Мальцевские чтения«, посвященная 60-летию со дня рождения Сергея Савостьяновича Гончарова, 11-14 октября 2011 г: тезисы докладов. - 2011. - C. 103.
-
Корнеева Н.Н. Об автоматных преобразованиях и монадических теориях бесконечных последовательностей //Изв. вузов. Матем., 2011, № 8, 90–93
2010
-
Корнеева Н.Н. Степени автоматных преобразований бесконечных последовательностей.//Международная конференция «Мальцевские чтения«, посвященная 70-летию Академика Юрия Леонидовича Ершова, 2-6 мая 2010 г: тезисы докладов. - 2010. - C. 50.
- Корнеева Н.Н. Автоматные преобразования и монадические теории f-полных последовательностей//Труды Математического центра им. Н.И. Лобачевского: Материалы Девятой молодежной научной школы-конференции «Лобачевские чтения - 2010«; Казань, 1-6 октября 2010 г. - Казань, Казанское математическое общество, 2010. - Т. 40. - C. 188-191.
2009
2006
| Рабочий адрес: | Казань, ул. Кремлевская, д. 35, Учебное здание №14 (Корпус №2) |
| Номер кабинета: | 805 |
| E-mail: | Natalia.Korneeva@kpfu.ru |
| Google scholar: | https://scholar.google.ru/citations?user=1mk-PQwAAAAJ&hl=ru&oi=sra |
| Педагогический стаж (ППС) в ВУЗе: |
| Научно-педагогический стаж: |
| Общий стаж: |
| Непрерывный в КФУ: |
