Категория:Теория алгоритмов

А

• [×] Алгоритмическая теория информации‎ (4: 4 с.)
• ► Алгоритмы‎ (118: 21 кат., 97 с.)
• [×] Аппликативные вычислительные системы‎ (1: 1 с.)

М

• ► Модели вычислений‎ (21: 6 кат., 15 с.)

О

• [×] Обратная связь‎ (11: 11 с.)

Р

• ► Рекурсия‎ (12: 1 кат., 11 с.)

С

• [×] Сведения‎ (3: 3 с.)

Т

• ► Теория автоматов‎ (18: 3 кат., 15 с.)
• ► Теория сложности вычислений‎ (23: 1 кат., 22 с.)

*

• Теория алгоритмов

L

• L-нотация

А

• Алгоритмическая разрешимость
• Алгоритмически неразрешимая задача

Б

• Блок-схема

В

• Вероятностная машина Тьюринга
• Вероятностный алгоритм
• Вычисления в реальном времени
• Вычисления с оракулом
• Вычислимая функция
• Вычислимое число

Г

• Граф-схема алгоритма

Д

• Детерминированный алгоритм
• Диаграмма Насси — Шнейдермана
• ДРАКОН

З

• Задача византийских генералов

К

• Квантовая информатика
• Константа Хайтина

Л

• Лямбда-исчисление

М

• Магический квадрат
• Магический куб
• Машина Зенона
• Машина Поста
• Машина Тьюринга

Н

• Недетерминированная машина Тьюринга
• Номограмма

П

• Перечислимое множество
• Полнота по Тьюрингу
• Предел Бремерманна
• Пределы вычислений
• Проблема остановки
• Проблема разрешения
• Проблема разрешимости
• Проблема фунарга

Р

• Разрешимое множество
• Рамочные магические квадраты
• Рекуррентная формула
• Рекуррентное уравнение

Р (продолжение)

• Рекурсивная функция
• Рекурсивная функция (теория вычислимости)

С

• Самоприменимость

Т

• Тезис Чёрча — Тьюринга
• Тезис Чёрча — Тьюринга — Дойча
• Теорема Бёма — Якопини
• Теорема Гёделя о неполноте
• Теорема Райса
• Теорема Чёрча — Тьюринга
• Теория вычислимости
• Трансвычислительная задача
• Тьюринговская трясина

У

• Универсальная машина Тьюринга

Ф

• Формализация
• Функция Гёделя

Ц

• Цифровая физика

Э

• Эффективный процесс