Языки и исчисления

       

Языки и исчисления

Введение
Высказывания и операции

Полные системы связок
Схемы из функциональных элементов
Исчисление высказываний
Исчисление высказываний (ИВ)
Второе доказательство теоремы о полноте
Поиск контрпримера и исчисление секвенций
Интуиционистская пропозициональная логика

Языки и исчисления

Языки первого порядка
Формулы и интерпретации
Определение истинности

Выразимые предикаты

Языки и исчисления


Выразимость в арифметике
Невыразимые предикаты: автоморфизмы
Элиминация кванторов: элиминация кванторов

Языки и исчисления

Арифметика Пресбургера
Теорема Тарского-Зайденберга

Элементарная эквивалентность
Игра Эренфойхта
Понижение мощности
Общезначимые формулы
Аксиомы и правила вывода
Корректность исчисления предикатов

Языки и исчисления

Примеры выводимых формул
Выводимость из посылок
Переменные и константы
Полнота исчисления предикатов

Переименование переменных
Предваренная нормальная форма
Теорема Эрбрана

Сколемовские функции

Языки и исчисления

Аксиомы равенства
Повышение мощности
Полные теории

Плотные линейно упорядоченные множества
Теория Th(Q,=,,+,0,1)
Теория Th(Z,=,,S,0)
Алгебраически замкнутые поля характеристики 0
Вещественно замкнутые поля

Языки и исчисления

Неполные и неразрешимые теории
Теория равенства

Теория полугрупп
Формальная арифметика
Диаграммы и расширения
Ультрафильтры и компактность
Нестандартный анализ









Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий