Структуры данных и модели вычислений
Структуры данных и модели вычислений
Исторические сведенияИсторические сведения - 2
Тьюрингова модель переработки информации
Тьюрингова модель переработки информации - 2
Алгебра тьюринговых программ
Начальное математическое обеспечение
Методика доказательства правильности программ
Вычислимость и разрешимость
Вычисление числовых функций
Частично-рекурсивные функции
Частично-рекурсивные функции - 2
Универсальная тьюрингова программа и пример невычислимой функции
Об измерении алгоритмической сложности задач
Об измерении алгоритмической сложности задач - 2
Об измерении алгоритмической сложности задач - 3
Исторические сведения
Исторические сведения - 2
Тьюрингова модель переработки информации
Тьюрингова модель переработки информации - 2
Алгебра тьюринговых программ
Начальное математическое обеспечение
Методика доказательства правильности программ
Вычислимость и разрешимость
Вычисление числовых функций
Частично-рекурсивные функции
Частично-рекурсивные функции - 2
Универсальная тьюрингова программа и пример невычислимой функции
Об измерении алгоритмической сложности задач
Содержание
