Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ПсковГУ
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
открыть новую версию профиля
Корухова Юлия Станиславовна
пользователь
ответственный
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
, доцент, с 1 ноября 2005
кандидат физико-математических наук с 2005 года
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
, ответственный по системе
Соавторы:
Мытрова М.В.
,
Фастовец Н.Н.
,
Козуб Д.В.
,
Кригер К.П.
,
Курышев С.С.
,
Пильщиков В.Н.
,
Полевой А.В.
,
Рязанова Е.Б.
,
Борисенкова А.С.
,
Захаров В.А.
,
Пташник Д.И.
,
Суранович Д.И.
,
Толыбаева А.
27 статей
,
3 книги
,
32 доклада на конференциях
,
9 тезисов докладов
,
9 НИР
,
8 научных отчётов
,
1 награда
,
4 стажировки
,
1 членство в редколлегии сборника
,
2 членства в программных комитетах
,
1 диссертация
,
33 дипломные работы
,
47 курсовых работ
,
28 учебных курсов
Количество цитирований статей в журналах по данным Web of Science: 10, Scopus: 10
РИНЦ:
IstinaResearcherID (IRID): 1417029
ResearcherID:
AAL-4717-2021
Scopus Author ID:
20433999600
ORCID:
0000-0001-5221-5730
Деятельность
Статьи в журналах
2018
Поиск нот в электронных библиотеках по фрагменту мелодии
Корухова Ю.С.
,
Мытрова М.В.
в журнале
Биомашсистемы
, том 2, № 3, с. 100-108
2013
Информационный поиск для нотных записей музыкальных произведений
Корухова Ю.С.
,
Мытрова М.В.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, № 48, с. 1-16
2013
Организация поиска нотных записей
Корухова Ю.С.
,
Мытрова М.В.
в журнале
Открытые системы
, № 7, с. 57-58
2007
An approach to automatic deductive synthesis of functional programs
Korukhova Yulia
в журнале
Annals of Mathematics and Artificial Intelligence
, издательство
Springer Verlag
(Germany)
, том 50, № 3-4, с. 255-271
DOI
2006
Automatic Deductive Synthesis of Lisp Programs in the System ALISA
Korukhova Yulia
в журнале
Lecture Notes in Artificial Intelligence
, том 4160, с. 242-252
2002
Система дедуктивного синтеза программ
Корухова Ю.С.
,
Пильщиков В.Н.
в журнале
Искусственный интеллект (Донецк)
, № 2, с. 451-459
Статьи в сборниках
2022
Методы рекомендации музыки для терапии на основе данных электроэнцефалографии
Полевой А.В.
,
Корухова Ю.С.
в сборнике
Перспективы и возможности использования цифровых технологий в науке, образовании и управлении: сборник материалов Всероссийской научно-практической конференции (г. Астрахань, 21-23 апреля 2022 г.)
, издательство
Астраханский государственный университет
(Астрахань)
, с. 20-24
2022
Поиск документов по формулам
Корухова Ю.С.
,
Кригер К.П.
,
Рязанова Е.Б.
в сборнике
Научный сервис в сети Интернет: труды XXIV Всероссийской научной конференции (19-22 сентября 2022 г., онлайн)
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, с. 350-362
DOI
2022
Система построения маршрутов на пересеченной местности на основе графа видимости
Козуб Д.В.
,
Корухова Ю.С.
в сборнике
Научный сервис в сети Интернет: труды XXIV Всероссийской научной конференции (19-22 сентября 2022 г., онлайн)
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, с. 340-349
DOI
2020
An approach to sheet music information retrieval
Korukhova Yulia
,
Tolybayeva Aiken
в сборнике
Открытые семантические технологии проектирования интеллектуальных систем
, серия
МАТЕРИАЛЫ МЕЖДУНАРОДНОЙ НАУЧНО-ТЕХНИЧЕСКОЙ КОНФЕРЕНЦИИ OSTIS
, место издания
УО «Белорусский государственный университет информатики и радиоэлектроники» Минск, БГУИР Минск
, том 4, с. 341-344
2018
Система автоматизированного выявления ошибок водителя в автогонках
Суранович Д.И.
,
Корухова Ю.С.
в сборнике
Научный сервис в сети Интернет: труды XX Всероссийской научной конференции (17-22 сентября 2018 г., г. Новороссийск)
, место издания
ИПМ им. М.В.Келдыша Москва
, с. 454-458
DOI
2017
Training Agents with Neural Networks in Systems with Imperfect Information
Yulia Korukhova
,
Sergey Kuryshev
в сборнике
Proceedings of the 9th International Conference on Agents and Artificial Intelligence (ICAART 2017)
, место издания
SCITEPRESS – Science and Technology Publications, Lda Portigal
, том 1, с. 296-301
DOI
2015
Об одном подходе к определению авторства музыкальных прооизведений
Борисенкова А.С.
,
Корухова Ю.С.
в сборнике
Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции (21-26 сентября 2015 г., г. Новороссийск)
, место издания
ИПМ им. М.В.Келдыша М
, с. 34-41
2012
Об одном подходе к решению задачи поиска нот музыкальных произведений
Корухова Юлия Станиславовна
,
Мытрова Марина Вячеславовна
в сборнике
Сборник статей молодых ученых факультета ВМК МГУ
, место издания
Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва
, том 9, с. 68-85
2011
Автоматический синтез программ с использованием онтологии прецедентов
Корухова Ю.С.
,
Фастовец Николай Николаевич
в сборнике
Программные системы и инструменты. Тематический сборник
, серия
Программные системы и инструменты
, место издания
Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва
, том 12, с. 203-215
редакторы
Королев Л.Н.
,
Корухова Людмила Сергеевна
,
Костенко Валерий Алексеевич
,
Мальковский Михаил Георгиевич
2010
A Case-Based Reasoning Approach to Program Synthesis
Korukhova Yulia
,
Fastovets Nikolay
в сборнике
Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD)
, место издания
SciTePress Portugal
2010
Automated Program Construction Based on Previous Experience
Korukhova Yulia
,
Fastovets Nikolay
в сборнике
Proceedings of the 15th UK CBR Workshop
, место издания
CMS Press Greenwich
, с. 35-44
2010
Using Parallel Computations in Deductive Synthesis of Functional Programs
Korukhova Yulia
,
Fastovets Nikolay
в сборнике
Scientific Computing: Proceedings of the International Eugene Lawler PhD School
, место издания
Waterford Institute of Technology Ireland
, с. 67-72
2010
Автоматический синтез программ
Корухова Ю.С.
в сборнике
Программы специальных курсов факультета ВМК МГУ / Ред. Березин Б.И,, Ломов И.С. Сост. Кобелева А.Н
, место издания
МАКС Пресс Москва МГУ
, с. 185-187
2010
Управление знаниями
Корухова Ю.С.
в сборнике
Программы специальных курсов факультета ВМК МГУ / Ред. Березин Б.И,, Ломов И.С. Сост. Кобелева А.Н
, место издания
МАКС Пресс Москва МГУ
, с. 187-188
2010
Языки описания схем. Проблемы верификации
Корухова Ю.С.
,
Захаров В.А.
в сборнике
Программы специальных курсов факультета ВМК МГУ / Ред. Березин Б.И,, Ломов И.С. Сост. Кобелева А.Н
, место издания
МАКС Пресс Москва МГУ
, с. 188-190
2009
Aspects and Technologies of Artificial Intelligence Used in Knowledge Management Course
Korukhova Yulia
в сборнике
Proceedings of the 5th UK Workshop on AI in Education
, место издания
Cambridge
, с. 1-6
2007
Using an Automated Synthesis System for Studying Proof Planning and Automated Reasoning
Korukhova Yulia
в сборнике
Proceedings of the 3rd UK Workshop on AI in Education
, место издания
Cambridge
, с. 17-21
2005
An Approach to Automation of Program Synthesis in the Deductive Tableau
Korukhova Yulia
в сборнике
Proceedings of the 10th ESSLLI Student Session (Heriot-Watt University, Edinburgh)
, с. 122-133
2005
Automation of Program Synthesis from Logic-Based Specifications in the Deductive Tableau
Korukhova Yulia
в сборнике
ICCL Workshop on Logic-Based Knowledge Representation
, место издания
TU Dresden
, с. 1-5
2005
Дедуктивный синтез программ с использованием волновых правил
Корухова Ю.С.
в сборнике
Программные системы и инструменты. Тематический сборник
, серия
Программные системы и инструменты
, место издания
Издательский отдел ВМК МГУ М
, том 6, с. 6-16
2004
Planning Proof in the Deductive Tableau Using Rippling
Korukhova Yulia
в сборнике
Proceedings of the 5th International Conference on Recent Advances in Soft Computing (RASC2004)
, издательство
Nottingham Trent University
(United Kingdom)
, с. 384-390
Книги
2020
Сборник задач и упражнений по языку С++
Корухова Ю.С.
место издания
Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова, МАКС Пресс Москва
, ISBN 978-5-317-06372-6, 24 с.
2012
Управление знаниями
Корухова Ю.С.
место издания
Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва
, ISBN 978-5-89407-485-6, 978-5-317-04157-1, 48 с.
2009
Сборник задач и упражнений по языку С++
Корухова Юлия Станиславовна
место издания
Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова, МАКС Пресс Москва
, ISBN 978-5-89407-387-3, 978-5-317-03053-7, 24 с.
Доклады на конференциях
2022
Исследование алгоритмов активного шумоподавления для нестационарных сигналов.
(Устный)
Авторы:
Полевой А.В.
,
Корухова Ю.С.
Научная конференция "Тихоновские Чтения - 2022"
, Москва, Россия, 24-29 октября 2022
2022
Система поиска текстов по формулам для мобильных устройств
(Устный)
Авторы:
Рязанова Е.Б.
,
Корухова Ю.С.
Научная конференция "Тихоновские Чтения - 2022"
, Москва, Россия, 24-29 октября 2022
2022
Поиск документов по формулам
(Устный)
Авторы:
Корухова Ю.С.
,
Кригер К.П.
,
Рязанова Е.Б.
Научный сервис в сети Интернет 2022
, Россия, 19-23 сентября 2022
2022
Система построения маршрутов на пересеченной местности на основе графа видимости
(Устный)
Авторы:
Козуб Д.В.
,
Корухова Ю.С.
Научный сервис в сети Интернет 2022
, Россия, 19-23 сентября 2022
2022
Методы рекомендации музыки для терапии на основе данных электроэнцефалографии
(Устный)
Авторы:
Полевой А.В.
,
Корухова Ю.С.
Перспективы и возможности использования цифровых технологий в науке, образовании и управлении
, Астраханский государственный университет, Россия, 21-23 апреля 2022
2022
Об одном подходе к индексированию и поиску математических формул
(Устный)
Авторы:
Корухова Ю.С.
,
Кригер К.П.
Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022
, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 14-22 апреля 2022
2021
Метод построения маршрутов на пересеченной местности на основе графа видимости
(Устный)
Авторы:
Козуб Д.В.
,
Корухова Ю.С.
Научная конференция "Тихоновские чтения 2021" (Москва, Россия, 25-30 октября 2021)
, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 25-30 октября 2021
2020
Об одном подходе к музыкальному информационному поиску нотных записей
(Устный)
Авторы:
Корухова Юлия Станиславовна
,
Толыбаева Айкен
X Международная научно-техническая конференция "Открытые семантические технологии проектирования интеллектуальных систем (OSTIS-2020)"
, Минск, Беларусь, 19-22 февраля 2020
2019
Information retrieval for music and mathematics
(Устный)
Автор:
KORUKHOVA Yulia
International Russian-French workshop "Actual problems of artificial intelligence"
, МГУ, факультет ВМК, а. 526а, Россия, 18 ноября 2019
2018
Система автоматизированного выявления ошибок водителя в автогонках
(Устный)
Авторы:
Корухова Ю.С.
,
Суранович Д.И.
Научный сервис в сети Интернет – 2018
, Новороссийск, Россия, 18-21 сентября 2018
2017
Training Agents with Neural Networks in Systems with Imperfect Information
(Устный)
Авторы:
Sergey Kuryshev
,
Yulia Korukhova
ICAART 2017 - 9th International conference on Agents and Artificial Intelligence
, Porto, Португалия, 24-26 февраля 2017
2015
Об одном подходе к определению авторства музыкальных произведений
(Устный)
Авторы:
Корухова Ю.С.
,
Борисенкова Анна Сергеевна
Научный сервис в сети Интернет 2015
, г.Новороссийск, Россия, 21-26 сентября 2015
2015
Recent Applications of Automated Reasoning in Computer Science
(Устный)
Автор:
Корухова Ю.С.
Second CMC MSU − GSIS Tohoku Joint IT Workshop
, МГУ имени М.В. Ломоносова, Россия, 7 сентября 2015
2014
Использование шрифтов для отображения нот
(Устный)
Авторы:
Корухова Ю.С.
,
Мытрова М.В.
Вторая международная научно-творческая конференция «Музыка–Математика–Естествознание»
, Московская государственная консерватория имени П.И.Чайковского, Россия, 7-9 апреля 2014
2013
Поиск нот в электронных библиотеках по фрагменту мелодии
(Устный)
Авторы:
Мытрова М.В.
,
Корухова Ю.С.
Первая международная научно-творческая конференция «Музыка–Математика–Естествознание»
, Московская государственная консерватория им. П.И.Чайковского, Россия, 8-9 апреля 2013
2012
Music Theory Ontology
(Стендовый)
Авторы:
Tabolin A.
,
Корухова Ю.С.
,
Мытрова М.В.
Reasoning Web 2012 Poster Session
, Vienna University of Technology, Австрия, 10-12 сентября 2012
2012
Information Retrieval Based On Automated Reasoning Methods
(Стендовый)
Авторы:
Корухова Ю.С.
,
Мытрова М.В.
6th RuSSIR Young Scientists Conference
, Ярославский Государственный Университет им. П.Г. Демидова, Россия, 6-10 августа 2012
2012
Об одном подходе к автоматическому синтезу программ на основе прецедентов
(Устный)
Авторы:
Корухова Ю.С.
,
Фастовец Н.Н.
Ломоносовские чтения - 2012. Секция вычислительной математики и кибернетики
, МГУ имени М.В. Ломоносова, ВМК, Россия, 16-28 апреля 2012
2011
Методы автоматизированного построения программ
(Устный)
Автор:
Корухова Ю.С.
Математика Компьютер Образование
, Дубна, Россия, 24-29 января 2011
2010
A Case-Based Reasoning Approach to Program Synthesis
(Устный)
Авторы:
Фастовец Н.Н.
,
Корухова Ю.С.
International Conference on Knowledge Engineering and Ontology Development (KEOD - 2010)
, Valencia, Spain, Испания, 2010
2010
Automated Program Construction Based on Previous Experience
(Устный)
Авторы:
Фастовец Н.Н.
,
Корухова Ю.С.
15th UK Case-Based Reasoning Workshop
, Cambridge, 2010
2009
Aspects and Technologies of Artificial Intelligence Used in Knowledge Management Course
(Устный)
Автор:
Корухова Ю.С.
5th UK Workshop on AI in Education
, Peterhouse College, Cambridge, UK, 2009
2008
An approach to automation of functional program synthesis
(Устный)
Автор:
Корухова Ю.С.
Computational Logic Seminars in St Andrews
, St Andrews University, UK, 2008
2007
Using an Automated Synthesis System for Studying Proof Planning and Automated Reasoning
(Устный)
Автор:
Корухова Ю.С.
3rd UK Workshop on AI in Education
, Peterhouse college, Cambridge, UK, 2007
2006
Automatic Deductive Synthesis of Lisp Programs in the System ALISA
(Устный)
Автор:
Корухова Ю.С.
10th European Conference on Logics in Artificial Intelligence (JELIA 2006)
, Liverpool, UK, 2006
2006
Automatic Deductive Synthesis of Lisp Programs in the System ALISA
(Устный)
Автор:
Корухова Ю.С.
CISA Seminar
, The University of Edinburgh, UK, 2006
2005
An Approach to Automation of Program Synthesis in the Deductive Tableau
(Устный)
Автор:
Корухова Ю.С.
10th ESSLLI Student Session
, Heriot-Watt University, Edinburgh, UK, 2005
2005
Automation of Program Synthesis from Logic-Based Specifications in the Deductive Tableau
(Устный)
Автор:
Корухова Ю.С.
ICCL Workshop on Logic-Based Knowledge Representation
, TU Dresden, Germany, Германия, 2005
2005
Об одном подходе к автоматизации синтеза функциональных программ
(Устный)
Авторы:
Пильщиков В.Н.
,
Корухова Ю.С.
Ломоносовские чтения - 2005
, М., МГУ имени М.В.Ломоносова., 2005
2005
Применение волновых правил для автоматического синтеза функциональных программ
(Устный)
Автор:
Корухова Ю.С.
«Тихоновские чтения»
, факультет ВМК МГУ, 2005
2004
Planning Proof in the Deductive Tableau Using Rippling
(Устный)
Автор:
Корухова Ю.С.
Recent Advances in Soft Computing (RASC 2004)
, Nottingham Trent University, UK, 2004
2002
Система дедуктивного синтеза программ
(Устный)
Авторы:
Корухова Ю.С.
,
Пильщиков В.Н.
Интеллектуализация обработки информации. Международная научная конференция ИОИ'2002.
, Украина, АРК, г. Алушта, Украина, 2002
Тезисы докладов
2022
Исследование алгоритмов активного шумоподавления для нестационарных сигналов
Полевой А.В.
,
Корухова Ю.С.
в сборнике
Тезисы докладов научной конференции "Тихоновские чтения" (2022 г., МАКС Пресс, Москва, тезисы)
, издательство
ООО "МАКС Пресс"
(Москва)
, тезисы, с. 54-54
2022
Об одном подходе к индексированию и поиску математических формул
Кригер К.П.
,
Корухова Ю.С.
в сборнике
Ломоносовские чтения-2022: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов
, серия
СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ
, издательство
ООО "МАКС Пресс"
(Москва)
, том 2022, тезисы, с. 65-66
2022
Система поиска текстов по формулам для мобильных устройств
Рязанова Е.Б.
,
Корухова Ю.С.
в сборнике
Тезисы докладов научной конференции "Тихоновские чтения" (2022 г., МАКС Пресс, Москва, тезисы)
, издательство
ООО "МАКС Пресс"
(Москва)
, тезисы, с. 52-52
2021
Метод построения маршрутов на пересеченной местности на основе графа видимости
Козуб Д.В.
,
Корухова Ю.С.
в сборнике
Тихоновские чтения: научная конференция: 25–30 октября 2021 г. : тезисы докладов
, издательство
ООО "МАКС Пресс"
(Москва)
, том 46, тезисы, с. 72-72
DOI
2020
Об одном подходе к генерации аккомпанемента музыкальных произведений на основе машинного обучения
Корухова Ю.С.
,
Пташник Данила Игоревич
в сборнике
Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики»
, серия
Секция Вычислительной математики и кибернетики
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 87-88
2017
Training Agents with Neural Networks in Systems with Imperfect Information (abstract)
Yulia Korukhova
,
Sergey Kuryshev
в сборнике
ICAART 2017 Final Program and Book of Abstracts
, место издания
SCITEPRESS - Science and Technology Publications, Lda Portugal
, тезисы, с. 49-49
2011
Approaches to Automated Program Synthesis
Korukhova Y.S.
в сборнике
МАТЕМАТИКА. КОМПЬЮТЕР. ОБРАЗОВАНИЕ: Сборник научных тезисов, выпуск 18, Пущино, 24-29 января 2011 г
, место издания
Межрегиональная общественная организация "Женщины в Науке и Образовании" Пущино
, том 18, тезисы, с. 186-186
2011
Методы автоматизированного построения программ
Корухова Ю.С.
в сборнике
МАТЕМАТИКА. КОМПЬЮТЕР. ОБРАЗОВАНИЕ: Сборник научных тезисов, выпуск 18, Пущино, 24-29 января 2011 г
, место издания
Межрегиональная общественная организация "Женщины в Науке и Образовании" Пущино
, том 18, тезисы, с. 205-205
2002
Система дедуктивного синтеза программ
Корухова Ю.С.
,
Пильщиков В.Н.
в сборнике
Интеллектуализация обработки информации ИОИ'2002. Тезисы докладов
, место издания
Симферополь
, тезисы, с. 124-125
НИРы
1 января 2021 - 31 декабря 2025
Математическое и программное обеспечение перспективных систем обработки символьной информации с элементами искусственного интеллекта
Кафедра алгоритмических языков
Руководители:
Лукашевич Н.В.
,
Соловьев С.Ю.
Ответственный исполнитель:
Корухова Ю.С.
Участники НИР:
Абрамов В.Г.
,
Абрамов С.А.
,
Алибаева К.В.
,
Арефьев Н.В.
,
Баева Н.В.
,
Большакова Е.И.
,
Бордаченкова Е.А.
,
Волкова И.А.
,
Вылиток А.А.
,
Головин И.Г.
,
Горячая И.В.
,
Грацианова Т.Ю.
,
Громыко В.И.
,
Груздева Н.В.
,
Ефремова Н.Э.
,
Захаров В.Б.
,
Кузина Л.Н.
,
Леонов М.В.
,
Мальковский М.Г.
,
Матвеева Т.К.
,
Новиков М.Д.
,
Панфёров А.А.
,
Полякова И.Н.
,
Ульянов М.В.
,
Фастовец Н.Н.
1 января 2016 - 31 декабря 2020
Математическое и программное обеспечение перспективных систем обработки символьной информации
Кафедра алгоритмических языков
Руководитель:
Мальковский М.Г.
Ответственный исполнитель:
Корухова Ю.С.
Участники НИР:
Абрамов В.Г.
,
Абрамов С.А.
,
Арефьев Н.В.
,
Баева Н.В.
,
Березин С.Б.
,
Бикбулатов Т.Р.
,
Большакова Е.И.
,
Бордаченкова Е.А.
,
Волкова И.А.
,
Вылиток А.А.
,
Головин И.Г.
,
Горячая И.В.
,
Грацианова Т.Ю.
,
Груздева Н.В.
,
Ефремова Н.Э.
,
Иванов К.М.
,
Казырид М.И.
,
Кузина Л.Н.
,
Кулева А.С.
,
Матвеева Т.К.
,
Мостяев А.И.
,
Панфёров А.А.
,
Парамонов С.В.
,
Полякова И.Н.
,
Соловьев С.Ю.
,
Столяров А.В.
,
Сутырин П.Г.
,
Ульянов М.В.
,
Фастовец Н.Н.
1 января 2014 - 31 декабря 2016
Информационный поиск для специализированных предметных областей
Кафедра алгоритмических языков
Руководитель:
Корухова Ю.С.
Участники НИР:
Волосова Н.В.
,
Комарова Е.С.
,
Кузьменкова Е.А.
,
Малышко В.В.
,
Мытрова М.В.
,
Фастовец Н.Н.
,
Широкий Р.В.
1 января 2014 - 31 декабря 2016
Моделеориентированный подход в инженерии программных систем искусственного интеллекта
Кафедра системного программирования
Руководитель:
Корухова Л.С.
Участники НИР:
Гомзин А.Г.
,
Корныхин Е.В.
,
Корухова Ю.С.
,
Кузьменкова Е.А.
,
Малышко В.В.
,
Фастовец Н.Н.
1 сентября 2012 - 31 декабря 2013
Методы поиска информации в структурированных файлах специального вида
Кафедра алгоритмических языков
Руководитель:
Корухова Ю.С.
Участники НИР:
Комарова Е.С.
,
Мытрова М.В.
,
Таболин А.В.
,
Широкий Р.В.
7 сентября 2011 - 7 декабря 2011
Создание системы подготовки высококвалифицированных кадров в области суперкомпьютерных технологий и специализированного программного обеспечения
Научно-исследовательский вычислительный центр
Руководитель:
Воеводин В.В.
Участники НИР:
Адинец А.В.
,
Андреев Д.Ю.
,
Антонов А.С.
,
Воеводин В.В.
,
Гамаюнова Т.С.
,
Жолудев Ю.А.
,
Жуматий С.А.
,
Корухова Ю.С.
,
Никитенко Д.А.
,
Попова Н.Н.
,
Рощина О.П.
,
Соболев С.И.
,
Стефанов К.С.
,
Швец П.А.
1 января 2011 - 31 декабря 2015
Алгебраические и лингвистические методы в теории и практике программирования
Кафедра алгоритмических языков
Руководитель:
Мальковский М.Г.
Участники НИР:
Абрамов В.Г.
,
Абрамов С.А.
,
Алейников П.В.
,
Алексеев А.А.
,
Арефьев Н.В.
,
Баева Н.В.
,
Большакова Е.И.
,
Бордаченкова Е.А.
,
Булгаков И.А.
,
Волкова И.А.
,
Вылиток А.А.
,
Головин И.Г.
,
Горячая И.В.
,
Грацианова Т.Ю.
,
Груздева Н.В.
,
Ефремова Н.Э.
,
Клычков Д.М.
,
Корухова Ю.С.
,
Кудасов Н.Д.
,
Кузина Л.Н.
,
Матвеева Т.К.
,
Миняйлов В.С.
,
Моросанова Н.А.
,
Мытрова М.В.
,
Нокель М.А.
,
Панфёров А.А.
,
Парамонов С.В.
,
Пильщиков В.Н.
,
Полякова И.Н.
,
Соловьев С.Ю.
,
Столяров А.В.
,
Сутырин П.Г.
,
Фастовец Н.Н.
,
Четверкин И.И.
1 декабря 2010 - 20 декабря 2010
Создание системы подготовки высококвалифицированных кадров в области суперкомпьютерных технологий и специализированного программного обеспечения
Научно-исследовательский вычислительный центр
Руководитель:
Воеводин В.В.
Участники НИР:
Адинец А.В.
,
Андреев Д.Ю.
,
Антонов А.С.
,
Воеводин В.В.
,
Гамаюнова Т.С.
,
Жолудев Ю.А.
,
Жуматий С.А.
,
Корухова Ю.С.
,
Никитенко Д.А.
,
Попова Н.Н.
,
Рощина О.П.
,
Соболев С.И.
,
Стефанов К.С.
,
Швец П.А.
1 января 2008 - 31 декабря 2010
Проблема представления знаний в программных системах планирования целенаправленной деятельности
Кафедра системного программирования
Руководитель:
Корухова Л.С.
Участники НИР:
Корухова Ю.С.
,
Кузьменкова Е.А.
,
Малышко В.В.
Отчеты
2020
Математическое и программное обеспечение перспективных систем обработки символьной информации
Авторы:
Мальковский М.Г.
,
Корухова Ю.С.
#5, 21 с.
2019
Математическое и программное обеспечение перспективных систем обработки символьной информации
Авторы:
Мальковский М.Г.
,
Корухова Ю.С.
#4, 21 с.
2016
Информационный поиск для специализированных предметных областей. Итоговый отчет. Этап 3
Автор:
Корухова Ю.С.
#14-01-00679 А
2015
Информационный поиск для специализированных предметных областей. Промежуточный отчет. Этап 2.
Автор:
Корухова Ю.С.
#14-01-00679 А
2014
Информационный поиск для специализированных предметных областей. Промежуточный отчет. Этап 1.
Автор:
Корухова Ю.С.
#14-01-00679 А, 29 с.
2014
Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Промежуточный отчет по проекту, этап 1(2014г.)
Авторы:
Корухова Л.С.
,
Кузьменкова Е.А.
,
Корухова Ю.С.
,
Малышко В.В.
,
Корныхин Е.В.
,
Фастовец Н.Н.
#14-01-00214 а, 43 с.
2013
Методы поиска информации в структурированных файлах специального вида. Итоговый отчет по проекту
Автор:
Корухова Ю.С.
#12-01-31109 мол_а, 27 с.
2012
Методы поиска информации в структурированных файлах специального вида. Промежуточный отчет по проекту (этап 1)
Автор:
Корухова Ю.С.
#12-01-31109 мол_а, 10 с.
Награды и премии
2016
Премия по Программе развития МГУ
Лауреат:
Корухова Юлия Станиславовна
МГУ им. М.В. Ломоносова, Россия
Стажировки в организациях
9 января 2019 - 12 января 2019
Instituto Superior Técnico (IST/UL), University of Lisbon, Португалия
22 марта 2017 - 24 мая 2017
Факультет педагогического образования, Россия
21 сентября 2016 - 16 декабря 2016
Факультет педагогического образования, Россия
2 января 2009 - 2 мая 2009
Waterford Institute of Technology (WIT), Ирландия
Участие в редколлегии сборников
2018
ПРОГРАММНЫЕ СИСТЕМЫ И ИНСТРУМЕНТЫ Тематический сборник
члены редколлегии:
Смелянский Р.Л.
,
Волканов Д.Ю.
,
Корухова Ю.С.
,
Глонина А.Б.
,
Степанов Е.П.
,
Большакова Е.И.
,
Балашов В.В.
,
Петров И.С.
,
Костенко В.А.
том 18
издательство
ООО "МАКС Пресс"
(Москва)
Участие в программных комитетах конференций
2013
Ломоносов (секция ВМК)
Член программного комитета
факультет ВМК МГУ имени М.В. Ломоносова
2012
Ломоносов (секция ВМК)
Член программного комитета
факультет ВМК МГУ
Диссертация
2005
Система автоматического синтеза функциональных программ
Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
Автор:
Корухова Юлия Станиславовна
, к.ф.-м.н., МГУ имени М.В. Ломоносова
Научный руководитель:
Пильщиков В.Н.
Защищена в совете
Д 501.001.44
при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
Руководство дипломными работами
2023
Система поиска текстов по формулам для мобильных устройств
Научный руководитель:
Корухова Ю.С.
Автор: Рязанова Евгения Борисовна (Магистр)
2023
Система автоматического построения маршрутов на пересеченной местности
Научный руководитель:
Корухова Ю.С.
Автор: Козуб Денис Владимирович (Бакалавр)
2023
Разработка и реализация системы автоматического распознавания аккордов в звукозаписях
Научный руководитель:
Корухова Ю.С.
Автор: Коржин Алексей Дмитриевич (Бакалавр)
2023
Исследование и разработка алгоритмов шумоподавления для нестационарных сигналов
Научный руководитель:
Корухова Ю.С.
Автор: Полевой Антон Вячеславович (Магистр)
2022
Индексация математических формул в научных статьях и поиск по индексу
Научный руководитель:
Корухова Ю.С.
Автор: Кригер Ксения Павловна (Магистр)
2022
Библиотека поддержки машинного обучения для функционального языка программирования
Научный руководитель:
Корухова Юлия Станиславовна
Автор: Шулюгин Иван Олегович (Бакалавр)
2021
Алгоритмы поиска маршрутов в графе с меняющейся структурой и их реализация в мобильном приложении
Научный руководитель:
Корухова Ю.С.
Автор: Рязанова Евгения Борисовна (Бакалавр)
2020
Система построения нотных переложений с использованием онтологий
Научный руководитель:
Корухова Ю.С.
Автор: Доброва Анастасия Борисовна (Бакалавр)
2020
Методы и программные инструменты поиска нотных записей в цифровых библиотеках
Научный руководитель:
Корухова Ю.С.
Автор: Толыбаева А., (Магистр)
2020
Методы и программные инструменты генерации аккомпанемента к музыке
Научный руководитель:
Корухова Ю.С.
Автор: Пташник Данила Игоревич (Бакалавр)
2020
Дедуктивная верификация программ на языке Python
Научный руководитель:
Корухова Ю.С.
Автор: Бикбулатов Т.Р., (Магистр)
2020
Автоматическое доказательство теорем логики предикатов первого порядка
Научный руководитель:
Корухова Ю.С.
Автор: Орлов Сергей Александрович (Магистр)
2019
Программные инструменты создания экспертных систем для анализа автогонок
Научный руководитель:
Корухова Ю.С.
Автор: Суранович Д.И., (Магистр)
2019
Программные инструменты для автоматизированного выявления уязвимостей веб-страниц
Научный руководитель:
Корухова Ю.С.
Автор: Кемпирова Н.А. (Бакалавр)
2018
Программные инструменты составления рекомендаций туристических маршрутов
Научный руководитель:
Корухова Ю.С.
Автор: Баев Тимур Рустемович (Бакалавр)
2018
Инструментальные средства составления рекомендаций с использованием машинного обучения
Научный руководитель:
Корухова Ю.С.
Автор: Езерский Артем Викторович (Бакалавр)
2018
Инструментальные средства математического поиска
Научный руководитель:
Корухова Ю.С.
Автор: Синюков Александр Сергеевич (Бакалавр)
2018
Инструментальные средства классификации музыкальных произведений
Научный руководитель:
Корухова Ю.С.
Автор: Бикбулатов Тимур Русланович (Бакалавр)
2017
Система автоматического составления рекомендаций бизнес-клиентов
Научный руководитель:
Корухова Ю.С.
Автор: Сулаев А.С. (Бакалавр)
2017
Инструментальные средства создания навигационной системы
Научный руководитель:
Корухова Ю.С.
Автор: Терешина М.С. (Бакалавр)
2017
Инструментальные средства автоматического доказательства теорем
Научный руководитель:
Корухова Ю.С.
Автор: Орлов С.А. (Бакалавр)
2016
Инструментальные средства создания электронной математической библиотеки с возможностью поиска по формулам
Научный руководитель:
Корухова Ю.С.
Автор: Широкий Р.В., (Магистр)
2015
Разработка системы анализа взаимодействия сотрудников предприятия
Научный руководитель:
Корухова Ю.С.
Автор: Суворов Кирилл Александрович (Специалист)
2015
Разработка рекомендательной системы на основе интеллектуального анализа данных
Научный руководитель:
Корухова Ю.С.
Автор: Смирнов Михаил Александрович (Специалист)
2015
Инструментальные средства автоматического анализа нотных записей музыкальных произведений
Научный руководитель:
Корухова Ю.С.
Автор: Борисенкова Анна Сергеевна (Специалист)
2014
Система поиска научных текстов по формулам
Научный руководитель:
Корухова Ю.С.
Автор: Широкий Роман Владимирович (Бакалавр)
2014
Разработка музыкальной рекомендательной системы
Научный руководитель:
Корухова Ю.С.
Автор: Курышев С.С. (Специалист)
2014
Методы индексирования нотных записей для поиска
Научный руководитель:
Корухова Ю.С.
Автор: Таболин А.В. (Специалист)
2012
Разработка системы поиска нот с использованием закономерностей построения музыкальных произведений
Научный руководитель:
Корухова Ю.С.
Автор: Родионов Алексей Вадимович (Специалист)
2012
Информационный поиск на основе методов автоматических расуждений
Научный руководитель:
Корухова Ю.С.
Автор: Мытрова Марина Вячеславовна (Специалист)
2012
Верификация функциональных программ
Научные руководители:
Корухова Ю.С.
,
Пильщиков В.Н.
Автор: Капитанова Валентина Игоревна (Специалист)
2011
Разработка системы автоматического синтеза программ на основе онтологии прецедентов
Научный руководитель:
Корухова Ю.С.
Автор: Фастовец Н.Н., (Магистр)
2009
Использование параллельных вычислений в синтезе функциональных программ
Научный руководитель:
Корухова Ю.С.
Автор: Фастовец Н.Н., (Бакалавр)
Руководство курсовыми работами
2023
Методы автоматического распознавания аккордов в гитарной музыке
Научный руководитель:
Корухова Ю.С.
Автор: Гаврилов Никита Сергеевич (Бакалавр)
2023
Алгоритмы и методы реализации шахматных программ
Научный руководитель:
Корухова Ю.С.
Автор: Оганесян Владимир Григорович (Бакалавр)
2022
Методы рекомендации музыки для терапии на основе данных электроэнцефалографии
Научный руководитель:
Корухова Ю.С.
Автор: Полевой А.В. (Магистр)
2022
Методы распознавания формул в системе математического поиска на мобильных устройствах
Научный руководитель:
Корухова Ю.С.
Автор: Рязанова Е.Б. (Магистр)
2022
Методы автоматического распознавания аккордов в звукозаписях
Научный руководитель:
Корухова Ю.С.
Автор: Коржин А.Д. (Бакалавр)
2022
Метод построения маршрутов на пересеченной местности на основе графа видимости
Научный руководитель:
Корухова Ю.С.
Автор: Козуб Д.В. (Бакалавр)
2021
Методы определения авторства музыкальных произведений по аудиозаписям
Научный руководитель:
Корухова Ю.С.
Автор: Шулюгин Иван Олегович (Бакалавр)
2021
Методы обнаружения противоречий в онтологиях
Научный руководитель:
Корухова Ю.С.
Автор: Доброва Анастасия Борисовна (Магистр)
2021
Методы и программные инструменты индексирования документов, содержащих формулы
Научный руководитель:
Корухова Ю.С.
Автор: Кригер Ксения Павловна (Магистр)
2020
Поиск документов по математическим формулам
Научный руководитель:
Корухова Ю.С.
Автор: Пономаренко В.С. (Бакалавр)
2020
Алгоритмы поиска маршрутов и их реализация в мобильных приложениях
Научный руководитель:
Корухова Ю.С.
Автор: Рязанова Е.Б. (Бакалавр)
2019
Применение нейронных сетей для обработки нот музыкальных произведений
Научный руководитель:
Корухова Ю.С.
Автор: Пташник Д.И. (Бакалавр)
2019
Методы и инструменты создания музыкальных онтологий
Научный руководитель:
Корухова Ю.С.
Автор: Доброва А.Б. (Бакалавр)
2019
Комбинирование стратегий метода резолюций в автоматическом доказательстве теорем
Научный руководитель:
Корухова Ю.С.
Автор: Орлов С.А. (Магистр)
2019
Инструментальные средства работы с цифровыми музыкальными библиотеками
Научный руководитель:
Корухова Ю.С.
Автор: Толыбаева А., (Магистр)
2019
Дедуктивная верификация программ
Научный руководитель:
Корухова Ю.С.
Автор: Бикбулатов Т.Р., (Магистр)
2018
Разработка базы знаний экспертной системы
Научный руководитель:
Корухова Ю.С.
Автор: Суранович Дмитрий Игоревич (Магистр)
2018
Разработка базы знаний для экспертной системы в области информационной безопасности
Научный руководитель:
Корухова Ю.С.
Автор: Кемпирова Наргиз Амановна (Бакалавр)
2017
Методы построения маршрутов в графах с использованием прецедентов
Научный руководитель:
Корухова Ю.С.
Автор: Баев Т. (Бакалавр)
2017
Методы информационного поиска по математическим формулам
Научный руководитель:
Корухова Ю.С.
Автор: Синюков А.С. (Бакалавр)
2017
Инструментальные средства создания библиотеки прецедентов для системы поиска маршрутов
Научный руководитель:
Корухова Ю.С.
Автор: Езерский А. (Бакалавр)
2017
Алгоритмы построения карт с использованием мобильных роботов
Научный руководитель:
Корухова Ю.С.
Автор: Попов В.В. (Магистр)
2017
Автоматическая классификация музыкальных произведений по заданным признакам
Научный руководитель:
Корухова Ю.С.
Автор: Бикбулатов Т.Р. (Бакалавр)
2016
Стратегии применения правил при построении доказательств методом резолюции
Научный руководитель:
Корухова Ю.С.
Автор: Орлов С.А. (Бакалавр)
2016
Инструментальные средства поддержки работы с нотными записями музыкальных произведений на мобильных устройствах
Научный руководитель:
Корухова Ю.С.
Автор: Сулаев А.С. (Бакалавр)
2016
Автоматическая генерация нормальных форм выражений
Научный руководитель:
Корухова Ю.С.
Автор: Терешина М.С. (Бакалавр)
2015
Система сопровождения процесса публикации препринтов
Научный руководитель:
Корухова Ю.С.
Автор: Широкий Р.В., (Магистр)
2015
Автоматическое доказательство логических теорем
Научный руководитель:
Корухова Ю.С.
Автор: Пугач И.А. (Специалист)
2014
Система выделения факторов оценки презентаций
Научный руководитель:
Корухова Ю.С.
Автор: Суворов К.А. (Специалист)
2014
Разработка системы сбора статистической информации в высоконагруженной сети
Научный руководитель:
Корухова Ю.С.
Автор: Смирнов М.А. (Специалист)
2014
Идентификация композитора по распределению частот символов в нотной записи музыкального произведения
Научный руководитель:
Корухова Ю.С.
Автор: Борисенкова А.С., (Специалист)
2013
Система распределения нотных партий для мобильных устройств
Научный руководитель:
Корухова Ю.С.
Автор: Суворов К.А. (Специалист)
2013
Разработка клиент-серверного приложения для работы с мобильными устройствами
Научный руководитель:
Корухова Ю.С.
Автор: Смирнов М.А. (Специалист)
2013
Поиск созвучной музыки в нотном представлении
Научный руководитель:
Корухова Ю.С.
Автор: Таболин А.В., (Специалист)
2013
Методы поиска информации в структурированных файлах специального вида
Научный руководитель:
Корухова Ю.С.
Автор: Широкий Р.В., (Бакалавр)
2013
Исследование методов автоматического построения рекомендаций
Научный руководитель:
Корухова Ю.С.
Автор: Курышев С.С., (Специалист)
2013
Выделение мелодии из нотной записи музыкального произведения
Научный руководитель:
Корухова Ю.С.
Автор: Борисенкова А.С., (Специалист)
2012
Разработка игровой программы
Научный руководитель:
Корухова Ю.С.
Автор: Бицоев В.И. (Специалист)
2012
Разработка игровой программы
Научный руководитель:
Корухова Ю.С.
Автор: Курышев С.С., (Специалист)
2012
Анализ подходов к инженерии знаний специального вида
Научный руководитель:
Корухова Ю.С.
Автор: Таболин А.В., (Специалист)
2012
Автоматический анализ программ на языке Пролог
Научный руководитель:
Корухова Ю.С.
Автор: Попеско У.В., (Специалист)
2011
Поиск информации в структурированных файлах
Научный руководитель:
Корухова Ю.С.
Автор: Мытрова М.В., (Специалист)
2011
Исследование формальных методов доказательства свойств программ
Научный руководитель:
Корухова Ю.С.
Автор: Попеско У.В., (Специалист)
2011
Исследование методов поиска данных для файлов специального XML формата
Научный руководитель:
Корухова Ю.С.
Автор: Родионов А.В. (Специалист)
2010
Разработка игровой программы
Научный руководитель:
Корухова Ю.С.
Автор: Мытрова М.В., (Специалист)
2010
Использование онтологий в автоматическом синтезе программ
Научный руководитель:
Корухова Ю.С.
Автор: Фастовец Н.Н., (Магистр)
2008
Дедуктивный синтез программ, содержащих вспомогательные функции
Научный руководитель:
Корухова Ю.С.
Автор: Фастовец Н.Н., (Бакалавр)
Авторство учебных курсов
2023
Методы искусственного интеллекта в вычислительных задачах
Автор:
Корухова Ю.С.
2023
Искусственный интеллект
Автор:
Корухова Юлия Станиславовна
2022
Современные методы и технологии программирования
Автор:
Корухова Ю.С.
2016
Практикум на ЭВМ (в поддержку курса "Архитектура ЭВМ и язык ассемблера")
Авторы:
Столяров А.В.
,
Корухова Ю.С.
2016
Практикум на ЭВМ (в поддержку курса "Алгоритмы и алгоритмические языки")
Автор:
Корухова Ю.С.
2016
Алгоритмы и алгоритмические языки -2 семеcтр (для филиала МГУ в Ереване)
Автор:
Корухова Ю.С.
2015
Основы информатики (Ереванский филиал)
Автор:
Корухова Ю.С.
2010
Языки описания схем. Проблемы верификации
Авторы:
Корухова Ю.С.
,
Захаров В.А.
2010
Прикладные Интернет-технологии (спец.семинар для магистратуры ФИИТ, 1-й курс)
Авторы:
Абрамов В.Г.
,
Корухова Ю.С.
,
Соловьев С.Ю.
,
Ульянов М.В.
2010
Методы построения программных систем (спец.семинар для магистратуры ПМ, 2-й курс)
Авторы:
Корухова Ю.С.
,
Абрамов В.Г.
,
Соловьев С.Ю.
,
Ульянов М.В.
2010
Методы построения программных систем (спец.семинар для магистратуры ПМ, 1-й курс)
Авторы:
Абрамов В.Г.
,
Корухова Ю.С.
,
Соловьев С.Ю.
,
Ульянов М.В.
2010
Методы построения программных систем (спец.семинар для бакалавриата ПМ, 4-й курс)
Авторы:
Абрамов В.Г.
,
Корухова Ю.С.
,
Соловьев С.Ю.
,
Ульянов М.В.
2010
Методы построения программных систем (спец.семинар для бакалавриата ПМ, 3-й курс)
Авторы:
Абрамов В.Г.
,
Корухова Ю.С.
,
Соловьев С.Ю.
,
Ульянов М.В.
2009
Управление знаниями
Автор:
Корухова Ю.С.
2008
Автоматический синтез программ
Автор:
Корухова Ю.С.
2007
Основы программирования (семинары)
Автор:
Корухова Ю.С.
2007
Основы программирования
Автор:
Корухова Ю.С.
2006
Прикладные Интернет-технологии (спец.семинар для магистратуры ФИИТ, 2-й курс)
Авторы:
Абрамов В.Г.
,
Корухова Ю.С.
,
Соловьев С.Ю.
,
Ульянов М.В.
2006
Обьектно-ориентированное программирование: язык С++
Автор:
Корухова Ю.С.
2001
АЛГОРИТМЫ И АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ
Авторы:
Пильщиков В.Н.
,
Корухова Л.С.
,
Соловьев С.Ю.
,
Корухова Ю.С.
1990
Искусственный интеллект
Авторы:
Пильщиков В.Н.
,
Большакова Е.И.
,
Корухова Ю.С.
,
Баева Н.В.
,
Лукашевич Н.В.
,
Бордаченкова Е.А.
,
Ефремова Н.Э.
,
Груздева Н.В.
Преподавание учебных курсов
12 октября 2023 - 30 декабря 2023
Современные методы и технологии программирования
МГУ имени М.В. Ломоносова
,
Филиал МГУ имени М.В.Ломоносова в г.Сарове
обязательная, базовой части, семинары, 36 часов
12 октября 2023 - 30 декабря 2023
Современные методы и технологии программирования
МГУ имени М.В. Ломоносова
,
Филиал МГУ имени М.В.Ломоносова в г.Сарове
обязательная, базовой части, лекции, 36 часов
1 сентября 2023 - 30 декабря 2023
Искусственный интеллект
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, базовой части, семинары, 36 часов
1 сентября 2023 - 30 декабря 2023
Искусственный интеллект
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, базовой части, лекции, 36 часов
7 февраля 2023 - 31 мая 2023
Методы искусственного интеллекта в вычислительных задачах
МГУ имени М.В. Ломоносова
,
Филиал МГУ имени М.В.Ломоносова в г.Сарове
обязательная, по выбору (спецкурс), лекции, 36 часов
14 октября 2022 - 20 декабря 2022
Современные методы и технологии программирования
МГУ имени М.В. Ломоносова
,
Филиал МГУ имени М.В.Ломоносова в г.Сарове
факультативная, лекции, 36 часов
с 1 сентября 2019
Методы построения программных систем (спец.семинар для баклавров ПМ ф-та ВМК 3 курс)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, базовой части, семинары, 68 часов
с 1 сентября 2019
Методы построения программных систем (спец.семинар для баклавров ПМ ф-та ВМК 4 курс)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, базовой части, семинары, 54 часов
с 1 сентября 2019
Прикладные интернет-технологии спец.семинар для магистров 2-годичного образования (2 курс)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, базовой части, семинары, 54 часов
с 1 сентября 2019
Спецсеминар "Интеллектуальные системы" для магистратуры - раздел "Методы построения программных систем" (2 курс)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, базовой части, семинары, 54 часов
с 1 сентября 2018
практикум к курсу "Архитектура ЭВМ и язык ассемблера"
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 72 часов
12 октября 2015 - 24 ноября 2017
Основы информатики (Ереванский филиал)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
в Филиал МГУ в г. Ереван (государственная организация, университет, Армения)
обязательная, базовой части, лекции, 58 часов
с 1 сентября 2012
АЛГОРИТМЫ И АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, лекции, 54 часов
с 1 сентября 2012
практикум к курсу "Алгоритмы и алгоритмические языки"
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 72 часов
1 сентября 2012 - 30 июня 2016
практикум к курсу "Архитектура ЭВМ и язык ассемблера"
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 72 часов
29 октября 2010 - 13 ноября 2010
Операционные системы
МГУ имени М.В. Ломоносова
,
Казахстанский филиал МГУ (г. Астана)
обязательная, базовой части, лекции, 54 часов
8 февраля 2010 - 31 мая 2010
Языки описания схем. Проблемы верификации
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, по выбору (спецкурс), лекции, 16 часов
1 сентября 2009 - 31 декабря 2011
Управление знаниями
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, по выбору (спецкурс), лекции, 36 часов
11 февраля 2008 - 31 мая 2008
Автоматический синтез программ
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, по выбору (спецкурс), лекции, 32 часов
с 8 февраля 2007
Основы программирования
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, лекции, 32 часов
с 8 февраля 2007
Основы программирования (семинары)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 32 часов
1 сентября 2006 - 31 декабря 2011
Обьектно-ориентированное программирование: язык С++
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, лекции, 36 часов
1 марта 2006 - 1 сентября 2019
Искусственный интеллект
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
обязательная, вариативной части, семинары, 68 часов