Лекция 10: Логическое следование формул
Лекция 11: Правила логических умозаключений. Модусы. (Часть 1)
Лекция 12: Правила логических умозаключений. Модусы. (Часть 2)
Лекция 13: Булева алгебра
Лекция 14: Многочлены Жегалкина
Лекция 15: Замкнутые классы функций
Лекция 17: Реализация булевых функций с помощью логических схем
Лекция 18: Четыре фигуры силлогизмов
Лекция 19: Логика предикатов. Кванторы
Лекция 20: Машина Тьюринга
Лекция 21: Наивная теория множеств и нечёткая логика
Лекция 3: Высказывания и действия над ними
Лекция 7: Эквивалентные преобразования логических формул (часть 3)
Лекция 8: Нормальная форма алгебры высказываний (часть 1)
Лекция 9: Нормальная форма алгебры высказываний (часть 2)
Математическая логика. (С.К. Клини)
Введение в конечную математику (Дж.Кемени, Дж. Снелл , Дж. Томпсон)
Лекции по математической логике и теории алгоритмов (Н.К. Верещагин , А. Шень ) - в 3-х частях
Лекция 1: Вводная лекция (часть 1)
Лекция 1: Исторический обзор
Лекция 10: Функции
Лекция 11: Математическая логика
Лекция 12: Об импликации
Лекция 13: Логика предикатов
Лекция 14: Логические функции
Лекция 15: Функции и таблицы истинности
Лекция 16: Бинарные логические функции
Лекция 16: Полные системы функций
Лекция 17: Функции многих переменных
Лекция 18: Эквивалентность формул
Лекция 19: Нормальная форма записи
Лекция 2: Вводная лекция (часть 2)
Лекция 2: Логический вывод – индукция
Лекция 20: О базисе
Лекция 21: Законы логики
Лекция 22: Чьи это части?
Лекция 23: Какие у Вас корни? Часть 1.
Лекция 24: Какие у Вас корни? Часть 2
Лекция 25: Формально или неформально? Часть 1
Лекция 26: Формально или неформально? Часть 2
Лекция 3: Логический вывод – дедукция
Лекция 4: Дедуктивный метод Шерлока Холмса
Лекция 4: Формулы алгебры высказываний. Тавтологии
Лекция 5: Множества
Лекция 5: Эквивалентные преобразования логических формул (часть 1)
Лекция 6: Операции над множествами
Лекция 6: Эквивалентные преобразования логических формул (часть 2)
Лекция 7: Отношения
Лекция 8: Свойства отношений
Лекция 9: Отношения и базы данных
Что такое математическая логика (Л.А. Калужнин )

Яндекс.Метрика