Guest
Математическая логика в МФТИ для ПМФ. Темы: индуктивные определения множества правильных скобочных последовательностей; язык Дика; примеры применения индукции по построению; понятие построения; индуктивное определение как оператор замыкания; однозначность разбора; однозначность разбора для определения языка Дика, подсчет числа правильных скобочных последовательностей, числа Каталана; язык арифметических термов; его беспрефиксность и однозначность разбора для определения; рекурсия по постороению.
