НИС "Современная логика" | Дзен

Главная Видео

01:20:50

1,0×

00:00/01:20:50

«Аналог интерполяционной теоремы для логики с оператором Руета», Слюсарев И. Ю. (МГУ имени М.В. Ломоносова)

11 месяцев назад

01:11:12

1,0×

00:00/01:11:12

«Конъюнкция и дизъюнкция в FDE – не то, чем они кажутся …» Беликов А. А. (МГУ имени М.В. Ломоносова)

11 месяцев назад

01:03:00

1,0×

00:00/01:03:00

«Динамическая эпистемическая логика c групповыми операторами: выразительность и полнота», Долгоруков В. В. (НИУ ВШЭ)

11 месяцев назад