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

Тема «идеи и опыт»

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

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

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

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

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

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

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

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

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

Иллюстрация к новости: Стартовал ридинг-семинар «Analytics»‎ от МЛ ЛогЛинФФ

Стартовал ридинг-семинар «Analytics»‎ от МЛ ЛогЛинФФ

Прошел первый ридинг-семинар «Analytics»‎ от студентов НИУ ВШЭ и сотрудников МЛ ЛогЛинФФ. 

Иллюстрация к новости: Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»

Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»

Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.

Иллюстрация к новости: Доклад Ивана Пыльцына «Введение в арифметику Пеано»

Доклад Ивана Пыльцына «Введение в арифметику Пеано»

22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».

Иллюстрация к новости: Прошла летняя школа «Логика и формальная философия 2023»

Прошла летняя школа «Логика и формальная философия 2023»

Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.

Иллюстрация к новости: Началась летняя школа «Логика и формальная философия 2023»

Началась летняя школа «Логика и формальная философия 2023»

Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории. 

Иллюстрация к новости: Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)

Виталий Долгоруков выступил на «Однодневном семинаре по математической логике» (ФКН, НИУ ВШЭ)

29 июня на базе департамента больших данных и информационного поиска (ФКН, НИУ ВШЭ) проходит «Однодневный семинар по математической логике», на котором Виталий Долгоруков выступил с докладом «О приложениях эпистемической логики в компьютерных науках».

Иллюстрация к новости: Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»

Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»

16 июня Денис Федянин выступил с докладом «Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов» на научно-исследовательском семинаре МЛ ЛогЛинФФ «From the Logical point of View».


12