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

Автор admin

Feb 03

Сентенциональные связки. Элементарные формулы. Составные формулы. Истинностные функции. Исчисления высказывания. Тавтологии в исчислении высказываний. Эквивалентность высказываний. Теоремы об эквивалентности. Логические следствия. Основные теоремы о логическом следствии. Метод доказательства от противного. Основные понятия теории исчисления предикатов.
Read the rest of this entry

  • Категория: Математическая логика
    • Рекламная ссылка: Helvar заказ. Изу helvar на заказ. Helvar.

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

    Автор admin

    Feb 03

    Курс лекций по математической логике, читаемый Андреевым Кириллом Кирилловичем. (ФПМ МГИЭМ)
    Теория алгоритмов, Булевые функции, Логические исчисления, Предикаты и кванторы.
    Read the rest of this entry

  • Категория: Математическая логика

    • Лекции по алгоритмам и анализу сложности

    Автор admin

    Feb 19

    Введение в теорию алгоритмов
    Сложность алгоритмов
    Сортировка и поиск
    Сортировка всплытия Флойда
    Логарифмический поиск
    Сортировка с вычисляемыми адресами
    Генетические алгоритмы
    Моделирование генетических операций
    Вычислительные эксперименты с генетическими операциями
    Read the rest of this entry

  • Категория: Математическая логика