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


11


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



Начало