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

Рекламные ссылки

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

Рекламные ссылки

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

Рекламные ссылки

Рекламные ссылки