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

Математическая логика и основы теории алгоритмов

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