Зарегистрироваться
Восстановить пароль
FAQ по входу

Лекции по математической логике

  • Добавлен пользователем , дата добавления неизвестна
  • Отредактирован
Лекции по математической логике
Логика высказываний.
Лингвистические соображения, формулы.
Таблицы истинности, общезначимость.
Правило подстановки, совокупность общезначимых формул.
Отношение следования.
Сокращенные таблицы истиности.
Доказуемость и выводимость.
Теорема о дедукции.
Непротиворечивость, правила введения и удаления.
Полнота.
Логика предикатов.
Лингвистические соображения, формулы.
Общезначимость.
Следование.
Доказуемость и выводимость.
Теорема о дедукции.
Непротиворечивость.
Функции, термы.
Формальные преобразования алгоритмов.
Метатеория формальных систем.
Математика аксиоматическая и математика интуитивная.
Формальные системы, математика.
Формальная арифметика.
Понятие алгебраической системы.
Общие замечания.
Операторные алгоритмы Ван Хао.
Рекурсивные функции.
Машины Тьюринга.
Основные понятия.
Машины Тьюринга с двумя выходами
Универсальная машина Тьюринга.
Композиции машин Тьюринга.
Тезис Чёрча. Алгоритмически неразрешимые проблемы.
Методы оценки алгоритмов
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация