Лекция 1. С.О. Сперанский. Краткий экскурс в FOCL

Name: Лекция 1. С.О. Сперанский. Краткий экскурс в FOCL
Uploaded: 2026-09-21T00:31:06+03:00
Duration: 1 h 8 min 54 s
Channel: Как Учим?
Description: 2022 г. МФТИ. С.О. Сперанский. Структурная теория доказательств и алгебраическая логика Лекция 1. С.О. Сперанский. Краткий экскурс в FOCL 7 февраля 2022 г. 14:45, г. Москва, МИАН, комн. 430 (ул.

12+

2 просмотра

14 дней назад

2022 г. МФТИ. С.О. Сперанский. Структурная теория доказательств и алгебраическая логика Лекция 1. С.О. Сперанский. Краткий экскурс в FOCL 7 февраля 2022 г. 14:45, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom Источник: http://www.mathnet.ru/present33879 Все видео курса: www.mathnet.ru/conf2078 https://www.youtube.com/playlist?list=PLUbD59ZHv1GS8XfYGTvkkEPF1Bh1Gzndv

Название:

Лекция 1. С.О. Сперанский. Краткий экскурс в FOCL

Категория: