Логика: от теории к практике
Всероссийский конкурс научных проектов по логике для студентов «Логика: от теории к практике»
Город
Казань, Россия
Место
КНИТУ-КАИ
Регистрация
До
15 мая 2026 19:00
19 Мар - 15 Мая 2026
КНИТУ-КАИ, Казань, Россия
Логика: от теории к практике
Всероссийский конкурс научных проектов по логике для студентов «Логика: от теории к практике»
О мероприятии
Всероссийский конкурс научных проектов для студентов и магистрантов всех специальностей и направлений подготовки «Логика: от теории к практике» (далее – Конкурс) является мероприятием, направленным на овладение и использование в теоретической и практической деятельности принципов логического мышления, а также развитие научно-исследовательской работы обучающихся студентов всех специальностей.
ЦЕЛИ И ЗАДАЧИ
Конкурс проводится с целью развития навыков логического мышления, реализации научно-исследовательской потенциала учащихся, осмысления будущей профессиональной сферы деятельности.
Задачи:
- стимулирование интереса к изучению логики (как науки в целом) и отдельных ее областей (формальной, математической и прикладной логики);
- поддержка инновационных проектов, связанных с профессиональными компетенциями и рассматривающих актуальные проблемы науки и техники с помощью логических методов.
НАПРАВЛЕНИЯ КОНКУРСА:
1. Теоретическая логика:
- исследования в области классической формальной логики, неклассических логик (модальная, вероятностная, многозначная и пр.);
- анализ исторических логических и семантических концепций (Аристотель, Фреге, Рассел и др.).
2. Математическая логика:
- применение логики в профессиональной подготовке (например, теории алгоритмов, криптографии, теории множеств и т.д.);
- доказательства теорем, разработка новых логических исчислений.
3. Классическая логика:
- исследования парадоксов, природы истины, связи логики и языка;
- анализ современных эпистемологических концепций.
4. Прикладная логика:
- использование логических методов в ИИ, компьютерных и технических науках, юриспруденции, медицине и других дисциплинах;
- проекты по автоматизации логического вывода, верификации программ и т.п.;
- студенческие стартапы: практические решения на стыке логики и технологий (образовательные приложения и т.д.).
Организаторы
Казанский национальный исследовательский технический университет им. А.Н. Туполева-КАИ, Институт экономики, управления и социальных технологий
Контактная информация
О партнёрах
Научный портал «Ломоносов» https://lomonosov-msu.ru/
Стоимость участия
Участие бесплатное
Файлы
Списки
