В Воронежском государственном университете начал работу новый диссертационный совет, созданный на базе факультета прикладной математики, информатики и механики и факультета компьютерных наук. Совет принимает диссертации по двум специальностям: 1.2.1. – Искусственный интеллект и машинное обучение; 2.3.8. – Информатика и информационные процессы. По результатам защиты диссертации присуждается степень кандидата или доктора технических наук. При этом, специальность «Искусственный интеллект и машинное обучение» является принципиально новой и открыта в стране три года назад.
![](/voronezh/pictures/90915310/small_picname_1.jpg)
Председателем совета стал , доктор технических наук, профессор, заведующий кафедрой технологий обработки и защиты информации ФКН. Заместитель председателя – , доктор технических наук, профессор, заведующая кафедрой вычислительной математики и прикладных информационных технологий факультета ПММ. Учёный секретарь – кандидат физико-математических наук, доцент кафедры вычислительной математики и прикладных информационных технологий факультета ПММ
– Открытие нового диссертационного совета повышает статус ВГУ, тем самым способствуя расширению связей университета с другими вузами и научными центрами. Это помогает укреплению и межрегиональных связей, – отметил Александр Сирота.
3 июля 2024 года в конференц-зале Главного корпуса ВГУ состоялась первая защита диссертационного совета. Аспирантка факультета ПММ представила свою научную работу на тему «Разработка новых стратегий управления выводом в классическом и нечётком методе резолюций». Работа рекомендована на соискание учёной степени кандидата технических наук по научной специальности 1.2.1. Искусственный интеллект и машинное обучение. Научным руководителем выступила заведующая кафедрой вычислительной математики и прикладных информационных технологий факультета ПММ, доктор технических наук, профессор Татьяна Леденёва.
![](/voronezh/pictures/90915310/small_picname_2.jpg)
![](/voronezh/pictures/90915310/small_picname_3.jpg)
В диссертации рассмотрели один из основных методов автоматического доказательства теорем – метод резолюций. Задача автоматического доказательства теорем связана с проверкой правильности рассуждений на основе понятия логического вывода и является основной для решения различных прикладных задач на основе цепочки правильных рассуждений. Результаты, представленные в диссертации, направлены на повышение эффективности метода резолюций, что важно для разработки интеллектуальных систем, работающих с логической моделью.
По итогам защиты диссертационный совет принял решение присудить Марии Лещинской учёную степень кандидата технических наук.
Уже в сентябре 2024 года в диссертационном совете 24.2.288.11 планируется защита докторской диссертации.