Сложность вычислений на регистровых машинах со счётчиками Савицкий Игорь Владимирович




  • скачать файл:
  • Название:
  • Сложность вычислений на регистровых машинах со счётчиками Савицкий Игорь Владимирович
  • Альтернативное название:
  • The complexity of calculations on register machines with counters Savitsky Igor Vladimirovich
  • Кол-во страниц:
  • 144
  • ВУЗ:
  • Казанский (Приволжский) федеральный университет
  • Год защиты:
  • 2021
  • Краткое описание:
  • Савицкий, Игорь Владимирович.
    Сложность вычислений на регистровых машинах со счётчиками : диссертация ... кандидата физико-математических наук : 01.01.09 / Савицкий Игорь Владимирович; [Место защиты: ФГАОУ ВО «Казанский (Приволжский) федеральный университет»]. - Москва, 2021. - 144 с.
    Оглавление диссертациикандидат наук Савицкий Игорь Владимирович
    Введение
    Краткий обзор результатов по теме диссертации
    Общая характеристика работы
    Основные понятия
    Формулировка основных результатов
    Глава 1. Вычисления на регистровых машинах со счётчиками
    §1.1. Основные понятия
    §1.2. Вычисление простых арифметических функций
    §1.3. Моделирование ЯС-машин с константами
    §1.4. Стековые регистровые машины
    §1.5. Универсальность ЯС-машин
    § 1.6. Класс функций, строго вычислимых на ЯС-машинах
    Глава 2. Алгоритмические проблемы, связанные с ИС-машинами
    §2.1. ЯС-машины без ограничений на переходы
    § 2.2. Нумерации и сводимость
    § 2.3. Проблема абсолютной эквивалентности
    § 2.4. Слабая проблема эквивалентности
    § 2.5. Сильная проблема эквивалентности и проблема строгой вычислимости
    § 2.6. Проблемы, связанные с определением рекурсивности вычисляемой КС-машиной функции
    Глава 3. Упрощение ИС-машин и их арифметизация
    §3.1. Вычисления с ограничением на число программ или счётчиков
    §3.2. ЯС-машины без неравенств
    §3.3. ЯС-машины с ограниченным числом сравнений
    §3.4. Арифметизация ЯС-машин
    Глава 4. Счётчиковые машины с сумматором
    §4.1. Определение счётчиковой машины с сумматором
    § 4.2. Вычисление простых арифметических функций
    § 4.3. Моделирование СБ-машин с константами
    § 4.4. Универсальность СБ-машин
    Заключение
    Литература
  • Список литературы:
  • -
  • Стоимость доставки:
  • 230.00 руб


ПОИСК ДИССЕРТАЦИИ, АВТОРЕФЕРАТА ИЛИ СТАТЬИ


Доставка любой диссертации из России и Украины


ПОСЛЕДНИЕ СТАТЬИ И АВТОРЕФЕРАТЫ

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА