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

Образование

Поздравляем Елену Попову с защитой магистерской диссертации!

21 июня Елена Попова защитила магистерскую диссертацию «Семантика первопорядковой логики свидетельств со связывающей модальностью» (руководитель – Т.Л. Яворская) с оценкой «отлично» (10). 

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

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

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

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

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

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

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

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

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

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

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

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

Иллюстрация к новости: Стажер-исследователь Иван Пыльцын провел научно-учебный семинар «Логическая семантика»

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

Иван Пыльцын сделал доклад про метод математической индукции и его применение в решении логических задач и доказательствах.

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

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

Стажер-исследователь лаборатории Александр Запрягаев выступил на Московском Международном Фестивале Языков, который проходил 11 декабря на базе Факультета гуманитарных наук ВШЭ, с лекциями "Иероглифический мир: как разные народы перековывали китайскую письменность под себя" и "Языки Толкиена"

Поздравляем Георгия Филатова с поступлением на единый трек обучения «магистратура-аспирантура»!

Единый трек обучения «магистратура-аспирантура» дает возможность получать повышенную стипендию и включать в индивидуальный учебный план дисциплину из аспиранстского пула. 

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

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

Школа проходит с 5 по 10 сентября в Санкт-Петербурге на факультете свободных искусств и наук СПбГУ. Программа школы состоит из серии мини-курсов,  посвященных различным аспектам философской логики и формальной философии, а также студенческой постерной секции.

Поздравляем стажёров-исследователей МЛ ЛогЛинФФ с поступлением в магистратуру!

Вероника Пригоркина поступила в Гронингенский университет на программу Эрасмус Мундус «Клиническая Лингвистика», Елена Попова поступила в МФТИ (физтех-школа прикладной математики и информатики) на программу «Методы современной математики», Георгий Филатов поступил в НИУ ВШЭ на программу «Философская антропология». 


12