Структуры данных и модели вычислений


           

Структуры данных и модели вычислений

Исторические сведения
Исторические сведения - 2

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

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

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