• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Тема «исследования и аналитика»

Иллюстрация к новости: Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис

Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис

27 января Иван Пыльцын прочитал доклад «Кратко о сильной эквивалентности арифметики Пеано и теории конечных множеств» на Дне Логики в Университете Иннополис. 

Иллюстрация к новости: Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic»

Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic»

19 января Зоран Огнянович (Mathematical Institute SANU) выступил с докладом «A Probabilistic Temporal Epistemic Logic» на теоретическом семинаре «Формальная философия-80».

Иллюстрация к новости: Доклад Александра Запрягаева на семинаре «Современные проблемы математической логики»‎ на матфаке ВШЭ

Доклад Александра Запрягаева на семинаре «Современные проблемы математической логики»‎ на матфаке ВШЭ

19 января Александр Запрягаев выступил с докладом «Категорный подход к интерпретациям теорий»‎ на семинаре «Современные проблемы математической логики»‎ на матфаке ВШЭ. 

Иллюстрация к новости: Прошел научный семинар в честь Всемирного дня логики

Прошел научный семинар в честь Всемирного дня логики

15 января в Международной лаборатории логики, лингвистики и формальной философии состоялся научный семинар, приуроченный ко Всемирному Дню Логики.

Иллюстрация к новости: Доклады Александра Запрягаева на Московском международном фестивале языков

Доклады Александра Запрягаева на Московском международном фестивале языков

10 декабря прошел 17-й Московский международный фестиваль языков (ММФЯ). Александр Запрягаев выступил с тремя докладами на фестиавале.

Иллюстрация к новости: Доклад Ивана Рыгаева «Семантико-прагматический подход к синтаксическим структурам»

Доклад Ивана Рыгаева «Семантико-прагматический подход к синтаксическим структурам»

8 декабря состоялось заседание исследовательского семинара «From the Logical Point of View», на котором Иван Рыгаев (Институт проблем передачи информации РАН) выступил с докладом: «Семантико-прагматический подход к синтаксическим структурам». 

Иллюстрация к новости: Доклад Ивана Пыльцына на семинаре STEP (Software Engineering, Theory and Experimental Programming)

Доклад Ивана Пыльцына на семинаре STEP (Software Engineering, Theory and Experimental Programming)

Стажер-исследователь Иван Пыльцын выступил с докладом «‎First-order Modal and Temporal Logics: State of the art and perspectives» на встрече семинара STEP (Software Engineering, Theory and Experimental Programming), которая прошла 8 декабря.

Иллюстрация к новости: Доклад Валерии Николаевой «Модальный взгляд: теодицея и проблема божественного детерминизма»

Доклад Валерии Николаевой «Модальный взгляд: теодицея и проблема божественного детерминизма»

1 декабря стажер-исследователь МЛ ЛогЛинФФ Валерия Николаева выступила с докладом «‎Модальный взгляд: теодицея и проблема божественного детерминизма»‎ на исследовательском семинаре «‎From the Logical Point of View»‎.

Иллюстрация к новости: Доклад Анны Моисеевой «‎Две тематически чувствительные логики для описания ограниченной рациональности: логика EUL и логика эффектов фрейминга. Их особенности, сходства и различия»‎

Доклад Анны Моисеевой «‎Две тематически чувствительные логики для описания ограниченной рациональности: логика EUL и логика эффектов фрейминга. Их особенности, сходства и различия»‎

24 ноября научный сотрудник МЛ ЛогЛинФФ Анна Моисеева выступила с докладом на исследовательском семинаре «From the Logical Point of View»‎. 

Иллюстрация к новости: Доклад Ивана Пыльцына «‎О сильной эквивалентности арифметики Пеано и теории конечных множеств»

Доклад Ивана Пыльцына «‎О сильной эквивалентности арифметики Пеано и теории конечных множеств»

10 и 17 ноября стажер-исследователь Иван Пыльцын выступил с докладами «‎О сильной эквивалентности арифметики Пеано и теории конечных множеств»‎ на исследовательском семинаре "From the Logical Point of View".