3622
правки
Изменения
→в процессе проверки 3. Теория вычислимости
== '''в процессе проверки''' 3. Теория вычислимости ==
# ''fixed'!!!''' [[Разрешимые (рекурсивные) языки]]## Оформить правильно англоязычные термины## категорииОтформатировать псевдокод## Перенести сюда определение вычислимой функции## Добавить определение разрешимого языка в терминах вычислимой функции## ссылки Заменить источники на википедию, русскую и английскуюисточники информации## Обернуть if в доказательстве неразрешимого языка в \mathrm## Ещё примеров разрешимых языков (желательно не очень тривиальных)# ''fixed'!!!''' [[Перечислимые языки]]## Оформить правильно англоязычные термины## ссылки Поправить чуть определение полуразрешимого языка## Отформатировать псевдокоды## Оформить правильно в обе стороны доказательство теоремы## Заменить источники на википедиюисточники информации## написать про классы RE, R, co-RE. Добавить примеры перечислимых и коперечеслимых языков
# [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]]
## Чуть-чуть код форматнуть## Заменить литературу на источники информации# [[Вычислимые функции]]## Заменить источники на источники информации## Определения вычислимой функции перенести в конспект Разрешимых языков## Переименовать конспект и чуть-чуть реструктуризовать# [[Вычислимые числа]]## Правильно оформить англоязычные термины## Пояснить a(eps) в определении## Единообразно оформить множество рациональных чисел## Все переменные и константы занести в Tex## Ссылки заменить на источники информации## Увеличить дроби# [[Универсальная функция]] ## Англоязычные термины правильно оформить ## Оформить правильно источники информации## Заменить дефисы на тире# ''fixed'!!!''' [[Вычислимые функцииСвойства перечислимых языков. Теорема Успенского-Райса]]
## англоязычные термины
## классы языков в mathrm
## заголовки верхнего уровня в ==, а не =
## категорию проставить
## ссылки на вики# [[Главные нумерации]]## см. "Диагональный метод"## во-первых, тут какая-то муть## во-вторых, тут копипаста из Шеня, кажетсяДобавить источники информации## Заменить в третьих тут наполовину совпадает с "Диагональным методом". Короче их надо смержить и нормально написать.множестве | на \mid## ну и надо написать, зачем вообще нужны эти главные нумерацииОтформатировать псевдокод# '''!!!''' [[Неотделимые множества]]
## английские источиники и термины
## нормально оформить уже существующий источник
## написать, зачем оно может пригодиться
# # Добавить категории## Интервики# '''!!!''' [[Иммунные и простые множества]]
## английские источиники и термины
## ссылки на вики
## а зачем оно нужно?
## Интервики## Добавить категории## Подробней расписать доказательства## Ссылки на леммы внутри конспекта# '''взяли!!!''' [[Теорема о рекурсии]]## во-первых, теоремы именные, соответственно надо эти имена вписать (русские и английские)
## дать ссылки на английские источники и термины
## Неформальное пояснение к теореме## у меня такое ощущение, что эта версия программы, использующей свой код неправильно будет работать когда мы попытаемся что-нибудь экранировать. Надо либо показать, где мы экранируем, либо написать версию, которая была на паре (с символом $). Да, надо написать версию с $, чтобы показать, что getOtherSrc можно написать в любом месте программы, а не только в конце. А ешё надо отрефакторить псевдокод
## следующая теорема о рекурсии (которая на самом деле называется теоремой о неподвижной точке) во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить.
# [[Busy beaver]]
## Правильно оформить англоязычные термины
## Отформатировать псевдокод
## Нормально оформить см. также, источники информации и вывод из теоремы
# [[Машина Тьюринга]]
# [[Лямбда-исчисление]]
