Изменения

Участник:Shersh/Тикеты к 5ому терму

7 байт добавлено, 16:44, 22 ноября 2016

→‎Разрешимые и перечислимые языки

## Подробней расписать доказательства

## Ссылки на леммы внутри конспекта

# '''~~!!!~~взяли''' [[Теорема о рекурсии]] (8)

## дать ссылки на английские источники и термины

## Неформальное пояснение к теореме

3622

правки