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

Лекции по математической логике (компактные)

  • Добавлен пользователем , дата добавления неизвестна
  • Отредактирован
Лекции по математической логике (компактные)
Теория алгоритмов.
Различные подходы к определению алгоритма.
Машина с неограниченными регистрами (МНР).
Машина Тьюринга - Поста.
Нормальные алгоритмы Маркова.
Реализация функции натурального переменного.
Эквивалентность трех подходов к понятию алгоритм.
Булевы функции.
Основные определения.
Дизъюнктивные нормальные формы.
Логические Исчисления.
Исчисление высказываний (ИВ).
Правило одновременной подстановки.
Критерий выводимости в ИВ.
Непротиворечивость ИВ.
Формальные исчисления.
Предикаты и кванторы.
Определение предиката.
Понятие квантора.
Геометрическая интерпретация навешивания кванторов.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация