Кафедра алгоритмических языков ВМК МГУ

Русский / English
	к.ф.-м.н., доцент кафедры алгоритмических языков тел. +7 495 939 5398 (р.) e-mail:   Страница в системе "ИСТИНА"

Учебные материалы

Все материалы Copyright (C) 2002-2019 Ю.С. Корухова, если это не оговорено особо в документе

2014 - 2019 гг.

Учебные материалы - в системе moodle

2017 и 2018 гг.

Весенний семестр

• Материалы к семинарам "Практикум на ЭВМ" для 115 группы (ассемблер NASM)
• Материалы по курсу "Основы программирования" - 141 группа (ФИИТ) - в системе moodle

2013/2014 год

Осенний семестр

• Алгоритмы и алгоритмические языки (1 курс, 2 поток) - в системе moodle
• Материалы для студентов спецсеминара "Искусственный интеллект" (3 курс) - (в системе moodle)
• Лекция "Язык Лисп" (1 октября 2013 г. Искусственный интеллект, 4 курс)

2006-2012 гг.

• Алгоритмы и алгоритмические языки (1 курс, 2 поток)
• Рабочие материалы по практикуму на ЭВМ для 109 группы
• Материалы по практикуму на ЭВМ для 212 группы
• Материалы по практикуму на ЭВМ для 241 группы (2011-2012)
• Основы программирования. - Отделение бакалавров IT, 1 курс(2012)
• Спецкурс "Управление знаниями"
• Объектно-ориентированное программирование: язык С++ - Отделение бакалавров IT, 2 курс (2011-2012)
• Системы программирования. - Материалы для 3 потока 2 курса
• Операционные системы - Казахстанский филиал МГУ, 2 курс
• Языки описания схем. Проблемы верификации. - Cпецкурс.

Область научных интересов

Искусственный интеллект, дедуктивный синтез программ, применение логических методов в программировании, логическое программирование, функциональное программирование.
Информационный поиск для специализированных областей (поиск нотных записей музыкальных произведений).
Мультиагентные системы.

В 2005 году защитила кандидатскую диссертацию на тему "Система автоматического синтеза функциональных программ" (.pdf 1.33 Mb, автореферат .pdf 411 Кб) , научный руководитель - Пильщиков Владимир Николаевич.

Основные публикации

Полный список публикаций здесь.

1. Korukhova Y. and Kuryshev S. Training Agents with Neural Networks in Systems with Imperfect Information // In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-219-6, pages 296-301, 2017 ( Download .pdf from SciTePress digital library)
2. А.С.Борисенкова, Ю.С.Корухова Об одном подходе к определению авторства музыкальных произведений // Научный сервис в сети Интернет: труды XVII Всероссийской научной конференции (21-26 сентября 2015 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2015, с. 34-41 URL: http://keldysh.ru/abrau/2015/proc.pdf стр.34
3. Ю.С.Корухова, М.В.Мытрова Организация поиска нотных записей //Открытые системы. 2013. № 7. с. 57-58 URL: http://www.osp.ru/os/2013/07/13037358/
4. Ю.С.Корухова, М.В.Мытрова Информационный поиск для нотных записей музыкальных произведений //Препринты ИПМ им. М.В. Келдыша. 2013. № 48. 16 с. URL: http://library.keldysh.ru/preprint.asp?id=2013-48 (скачать полный текст, pdf)
5. Ю.С.Корухова, М.В.Мытрова Об одном подходе к решению задачи поиска нот музыкальных произведений - Сборник статей молодых ученых факультета ВМК МГУ, № 9 (скачать сборник,7.78 Мб), 2012, стр. 68-85
6. Yulia Korukhova and Nikolay Fastovets A Case-Based Reasoning Approach to Program Synthesis – Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD 2010), SciTePress, Portugal, 2010, p. 335-338
7. Yulia Korukhova, Nikolay Fastovets Using Parallel Computations in Deductive Synthesis of Functional Programs - Scientific Computing: Proceedings of the International Eugene Lawler PhD School, Waterford Institute of Technology (WIT), Waterford, Ireland, 2010
8. Yulia Korukhova Aspects and Technologies of Artificial Intelligence Used in Knowledge Management Course – Proceedings of the 5th UK Workshop on AI in Education, 2009, p. 1-6
9. Yulia Korukhova An approach to automatic deductive synthesis of functional programs – Annals of Mathematics and Artificial Intelligence, Vol. 50, Numbers 3-4 – Springer Netherlands, 2007, p.255-271
10. Yulia Korukhova Using an Automated Synthesis System for Studying Proof Planning and Automated Reasoning – Proceedings of the 3rd UK Workshop on AI in Education, 2007, p. 17-21
11. Yulia Korukhova Automatic Deductive Synthesis of Lisp Programs in the System ALISA – Lecture Notes in Artificial Intelligence (LNAI) 4160 – Springer-Verlag, Berlin, Heidelberg, 2006, p.242-252
12. Ю.С. Корухова Дедуктивный синтез программ с использованием волновых правил - Программные системы и инструменты (под ред. Л.Н. Королева) - Издательский отдел факультета ВМК МГУ, 2005, стр. 6-16.
13. Ю.С. Корухова, В.Н. Пильщиков Система дедуктивного синтеза программ — Искусственный интеллект N 2, Донецк, Украина, 2002, стр. 451-459.

Учебные пособия
1. Ю.С. Корухова Управление знаниями. Учебное пособие для студентов 3-5 курсов в поддержку одноименного спецкурса, читаемого автором - Издательский отдел факультета ВМК МГУ, МАКС Пресс, 2012 ( .pdf 1.57 Mb)
2. Ю.С. Корухова Сборник задач и упражнений по языку С++ - Издательский отдел факультета ВМК МГУ, МАКС Пресс, 2009 ( .pdf 1.53 Mb)

...В настоящее время эта страница находится в процессе разработки...