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