открытый семинар
Цифровая экономика и математическая логика
Математическая логика для студентов ЭФ
Спикеры семинара
Доктор физико-математических наук,
Старший научный сотрудник ИМ СО РАН
Профессор ММФ НГУ
востребованные знания в цифровой экономике
ПРИХОДИ НА СЕМИНАР
Это будет где-то в конце марта или начале апреля :)
- Цифровизация экономики — объективная реальность, которую уже невозможно игнорировать
- Тренд с цифровизацией бросает новый вызов к системам образования, которые должны готовить новые кадры для новой цифровой экономики
- Новые кадры должны быть не только квалифицированными пользователями цифровых систем, но и творцами новых систем
- Необходимость построения сложных цифровых систем в экономике и управлении требует от современного специалиста системного понимания внутренней логической структуры используемых программных инструментов
- С одной стороны, конечный программный код не всегда удобен для этапа проектирования системы
- С другой стороны, одной из теоретических основ программирования всегда была и остаётся математическая логика
- Поэтому формальный язык математической логики является промежуточным звеном в переходе от противоречивого и неоднозначного естественного языка к строго детерминированному, но специфическому языку программных продуктов
- С этой точки зрения тема семинара актуальна для студентов, заинтересованных в изучении принципов и методов системного логического мышления, изложенного в рамках лаконичного, строгого и обоснованного языка математики
на семинаре вы узнаете
- Почему естественный язык не годится для описания сложных систем из большого количества объектов, событий, процессов и связей между ними, — особенно если вы планируете конвертировать какую-либо такую систему в цифровую модель?
- Почему формальный язык математической логики является промежуточным звеном в переходе от противоречивого и неоднозначного естественного языка к строго детерминированному, но специфическому языку программных продуктов?
- Как избавиться от логических противоречий и неопределённостей в системе на этапе её формализации так, чтобы минимизировать количество программных сбоев?
- Можно ли адеквано перевести утверждения и гипотезы о системе с естественного языка на язык подходящей предикатной логики и при этом попутно вывести новые умозаключения о рассматириваемой системе?
- Помогает ли математическая логика «прокачать» системное логическое мышление?
- Как известный парадокс брадобрея вместе с его объяснением можно уместить в одной короткой написанной ниже логической формуле?
Ответы на эти и некоторые другие вопросы вы сможете узнать на нашей встрече
При наличии заинтересованности возможна организация факультативного курса, в котором будут изложены такие классические разделы математической логики как: пропозициональная логика, 0-1-семантика и синтаксический вывод формул, элементы теории множеств, предикатные алгебраические системы, предикатная логика, исчисление предикатов и истинность на алгебраических системах, теоремы о полноте логических исчислений
Для понимания материала достаточно знания основных понятий и методов из классических математических дисциплин, читаемых на первом курсе университета.
При наличии заинтересованности возможна организация факультативного курса, в котором будут изложены такие классические разделы математической логики как: пропозициональная логика, 0-1-семантика и синтаксический вывод формул, элементы теории множеств, предикатные алгебраические системы, предикатная логика, исчисление предикатов и истинность на алгебраических системах, теоремы о полноте логических исчислений
Для понимания материала достаточно знания основных понятий и методов из классических математических дисциплин, читаемых на первом курсе университета.