Синтаксис и семантика логических систем

1—5 августа 2022 года, Владивосток, Россия

Applied Mathematics and Fundamental Computer Science

Организаторы

Дальневосточный центр математических исследований, Дальневосточный федеральный университет

Описание

Конференция будет посвящена следующим темам

  • универсальная алгебра,
  • логические исчисления,
  • теория моделей,
  • категорная геометрия и логика,
  • алгебра логики,
  • теория конечнозначных функций,
  • алгебро-логические методы в информационных технологиях,
  • логическая составляющая математического образования.

Задачи мероприятия

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

Tue Oct 05 2021 17:13:42 GMT+0300 (Moscow Standard Time)