Категория : Теория вычислимости
Викискладе есть медиафайлы, связанные с теорией вычислимости .
Эта категория предназначена для статей о теории вычислимости , также известной как теория рекурсии, отрасли математической логики и информатики, связанной с обобщениями понятия вычислимой функции и связанными с ней понятиями, такими как степени Тьюринга .
Сопутствующая информация о теории вычислимости в информатике описана в статье по теории вычислений и отнесена к категории: Теория вычислений .
Подкатегории
Эта категория имеет следующие 10 подкатегорий из 10.
С
- Теоретики вычислимости ( 13 Б)
- Вычислительный анализ ( 9 П)
И
ЧАС
- Гиперкомпьютеры ( 6 П)
л
Р
- Сокращение (сложность) ( 17 П)
Т
- Машина Тьюринга ( 31 С)
В
- Неразрешимые проблемы ( 24 П)
Страницы в категории «Теория вычислимости»
Следующие 101 страница относятся к этой категории из 101 страницы. Этот список может не отражать недавние изменения .
А
С
- Цепное правило для колмогоровской сложности.
- Тезис Чёрча – Тьюринга
- Принцип Чёрча – Тьюринга – Дойча
- Проблема выполнимости схемы
- Полная нумерация
- Вычислимая логика
- Вычислимый анализ
- Вычислимая функция
- Вычислимое число
- Вычислимый порядковый номер
- Вычислимое множество
- Вычислимо перечислимое множество
- Вычислимо неразделимы
- Вычисление
- Вычисление в пределе
- Рекурсия курса значений
- Теорема Крейга
- Креативные и продуктивные наборы