Математика

И.В. Белошапка. Искусственный интеллект для решения математических задач

Лекция 7. С.Л. Кузнецов, Т.Г. Пшеницын. L-модели и R-модели для исчисления Ламбека

Лекция 6. С.Л. Кузнецов, Т.Г. Пшеницын. Интерполяционная лемма Роорды. Теорема Пентуса

Лекция 4. С.Л. Кузнецов, Т.Г. Пшеницын. Грамматики Ламбека и контекстно-свободные грамматики

Лекция 11. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики

Лекция 10. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики

Лекция 12. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики

Лекция 8. С.Л. Кузнецов, Т.Г. Пшеницын. Линейная логика

Лекция 9. С.Л. Кузнецов, Т.Г. Пшеницын. Неразрешимость линейной логики

Лекция 3. С.Л. Кузнецов, Т.Г. Пшеницын. PSPACE-трудность логик между FL и Int. Теорема об ...

Лекция 2. С.Л. Кузнецов, Т.Г. Пшеницын. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота ...

Лекция 1. С.Л. Кузнецов, Т.Г. Пшеницын. Решётки с делениями и субструктурные исчисления

Лекция 5. С.Л. Кузнецов, Т.Г. Пшеницын. Построение грамматики Ламбека по контекстно-свободной ...

Как потрогать число ПИ

#73. Моржовая операция присваивания (walrus operator) | Python для начинающих

Нечеткая логика и лингвистическая переменная

✓ Французская олимпиадная задачка | В интернете опять кто-то неправ #034 | Борис Трушин

#41.1. Рекурсивные функции | Python для начинающих

Почему 5 на 8 ?

Семинар 23. А.В. Зайцев. Эквивариантные компактификации

Семинар 20. Л.С. Городецкий. Рационально связные многообразия

Семинар 18. Р.Р. Досаев, Б.В. Жданов. Проекция из коники и точки

Семинар 16. Н.А. Вирин. Бирациональные перестройки между многообразиями Фано

Семинар 22. А.В. Викулова. Многообразия Мукая