Меню
Главная
Авторизация/Регистрация
 
Главная arrow Математика, химия, физика arrow ДИСКРЕТНЫЙ АНАЛИЗ. ФОРМАЛЬНЫЕ СИСТЕМЫ И АЛГОРИТМЫ

ДИСКРЕТНЫЙ АНАЛИЗ. ФОРМАЛЬНЫЕ СИСТЕМЫ И АЛГОРИТМЫ

Исчисление высказываний Определение формальной системы ИВ Алфавит Формулы О структуре формул Сокращения при записи формул Аксиомы Правило вывода Исчисление высказываний и булевы функции Непротиворечивость ИВ Теорема дедукции Теорема о полноте Первое доказательство Второе доказательство Критерий условной выводимости Независимость аксиом ИВ Другие аксиоматизации исчисления высказываний Метод резолюций КНФ Резолютивный вывод Синтаксическое дерево и допустимое дерево Сравнение метода резолюций и ИВ Интуиционистское исчисление высказываний Ограниченное исчисление ИИВ Примеры выводов в ИИВ Модели Кринке Теорема о полноте ИИВ Интуиционистское исчисление высказываний ИИВ Модели Крипке для ИИВ Полнота ИИВ Предикаты и логика первого порядка Предикаты, кванторы, функции и константы Формулы исчисления предикатов Алфавит Формулы Интерпретации Модели и теории Общезначимые формулы Вывод в исчислении предикатов Аксиомы и правила вывода Слабая теорема дедукции Примеры выводов Полнота исчисления предикатов О проверке общезначимости формул Предварённая нормальная форма Сколемизация Теорема Эрбрана Метод резолюций для исчисления предикатов Алгоритмы Машины Тыоринга Описание машин Тьюринга Алгоритмически неразрешимые проблемы Самоприменимость и остановка Проблема равенства слов Проблема соответствия Поста Функция трудолюбия Радо Моделирование на машинах Тьюринга других моделей вычислений Машины Тьюринга в алфавите {0,1} Многоленточные машины Тыоринга Определения Моделирование /с-ленточной машины на одноленточной Использование многоленточных машин Тьюринга Модель RAM Определения Моделирование RAM на машинах Тыоринга Машины Минского Нормальные алгорифмы Маркова Универсальный алгоритм Неразрешимость нетривиальных свойств вычислимых функций Алгоритмы и логика Неразрешимость проверки общезначимости формул Перечислимость и выводимость Теорема Гёделя Арифметические предикаты Неперечислимость арифметических истин
 
Если Вы заметили ошибку в тексте выделите слово и нажмите Shift + Enter
РЕЗЮМЕ Следующая >
 
Популярные страницы