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

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

Кредит вентиляционные решетки из нержавеющей стали. Вентиляционные решетки из нержавеющей стали.

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

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

Кредит вентиляционные решетки из нержавеющей стали. Вентиляционные решетки из нержавеющей стали.

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

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

Кредит вентиляционные решетки из нержавеющей стали. Вентиляционные решетки из нержавеющей стали.

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

Кредит вентиляционные решетки из нержавеющей стали. Вентиляционные решетки из нержавеющей стали.