Семинары
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Календарь
Поиск
Регистрация семинара
RSS
Ближайшие семинары
Спецкурс «Сложность исчисления Ламбека»
5 октября 2018 г.
16:45–18:20
, г. Москва, механико-математический факультет МГУ
Лекция 2. Критерий выводимости для
$L(\backslash)$
М. Р. Пентус
Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Видеозаписи:
MP4
1,279.0 Mb
Количество просмотров:
Эта страница:
387
Видеофайлы:
55
Фотогалерея
Аннотация:
Пример секвенции, невыводимой в исчислении Ламбека. Необходимое условие выводимости в терминах интерпретации в свободной группе. Критерий Ю. В. Саватеева для выводимости в исчислении Ламбека с одним делением.
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024