Конструктивные семантики логических языков, основанные на обобщенной вычислимости Коновалов Александр Юрьевич

Короткий опис

Коновалов, Александр Юрьевич.
Конструктивные семантики логических языков, основанные на обобщенной вычислимости : диссертация ... кандидата физико-математических наук : 01.01.06 / Коновалов Александр Юрьевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова]. - Москва, 2017. - 137 с.
Оглавление диссертациикандидат наук Коновалов Александр Юрьевич
Введение
Глава 1. Основные определения и вспомогательные утверждения
1.1 Гиперарифметические отношения
1.1.1 [Рр-описания
1.1.2 Нумерация частично-рекурсивных функций
1.1.3 Гиперарифметические отношения и Д^-индексы
1.1.4 Алгоритм Тарекого - Куратовского
1.1.5 Гинерарифметическая иерархия
1.2 Формальные языки
1.2.1 О языках первого порядка
1.2.2 Язык формальной арифметики 1_д и его расширения
1.2.3 Язык логики предикатов 1_Р
1.3 Формальные дедуктивные системы
1.3.1 Интуиционистское исчисление предикатов 1РС
1.3.2 Классическое исчисление предикатов СРС
1.3.3 Формальная арифметика РА
1.3.4 Формальная арифметика РА'
1.4 Определимость в расширениях языка 1_д
1.4.1 Определимость в языке 1_н
1.4.2 Предикаты истинности для расширений языка 1_д
1.4.3 Нумерация функций, определимых в расширениях языка 1_д
1.4.4 Отношения на множестве метаобозначений С
Глава 2. Обобщенная реализуемость для расширений языка арифметики
2.1 Понятие реализуемости для расширений языка 1_д
2.2 Классическая семантика и реализуемость
Глава 3. Реализуемость и логика предикатов
3.1 Варианты понятия реализуемости дня языка логики предикатов
3.2 Классическая логика и реализуемость
3.3 Интуиционистская логика и реализуемость
3.4 Базисная логика предикатов ВРС
3.5 Базисная логика и реализуемость
Глава 4. Реализуемость и теория множеств
4.1 Язык теории множеств 1_Б
4.2 Универсум А
4.3 Понятие реализуемости для языка теории множеств 1_Б
4.4 Теории 2Р, С1Р
4.5 Теория и реализуемость
4.6 Теория и реализуемость
4.7 Теория и реализуемость
Заключение
Указатель обозначений
Список литературы
Введение