В Ботаническом саду студенты учились различать истину и ложь: нестандартное занятие по логике

5 мая на территории Ботанического сада состоялось выездное практическое занятие для студентов групп 121РЦо, 121 ФНо, 121-ИБо и 121-ИБв на тему: «Предикаты и кванторы в ботаническом саду: когда растение нарушает логику».

Мероприятие провели старший преподаватель кафедры прикладной математики и компьютерных наук Л.Н. Губарь и доцент С.В. Мясникова.

Необычный формат занятия позволил будущим IT-специалистам взглянуть на формальную логику через призму живой природы. Вместо абстрактных примеров из учебника студентам предстояло применить кванторы общности (∀) и существования (∃) к реальным ботаническим объектам, а также проверить, насколько корректно работают логические предикаты в условиях, когда «растение нарушает правила»: например, имеет нехарактерную окраску, асимметричную форму листа или цветет в «неположенный» сезон.

Особый интерес вызвала поисковая часть занятия. Студенты не только успешно нашли ответы на заранее поставленные вопросы, но и предложили собственные примеры парадоксов, где классическая логика уступает место биологическому разнообразию. Участники отметили, что такой междисциплинарный подход помогает лучше понять абстрактные понятия математической логики через конкретные, визуальные образы.

Материал подготовлен старшим преподавателем кафедры прикладной математики и компьютерных наук Л.Н. Губарь и доцентом С.В. Мясниковой