Математическая ЛОГИКА. Лекции 1-21 НОУ ИНТУИТ. (Бояршинов Борис Сергеевич)

Spread the love

Лекция 1: Вводная лекция (часть 1)

Лекция 2: Вводная лекция (часть 2)

Лекция 3: Высказывания и действия над ними

Лекция 4: Формулы алгебры высказываний. Тавтологии

Лекция 5: Эквивалентные преобразования логических формул (часть 1)

Лекция 6: Эквивалентные преобразования логических формул (часть 2)

Лекция 7: Эквивалентные преобразования логических формул (часть 3)

Лекция 8: Нормальная форма алгебры высказываний (часть 1)

Лекция 9: Нормальная форма алгебры высказываний (часть 2)

Лекция 10: Логическое следование формул

Лекция 11: Правила логических умозаключений. Модусы. (Часть 1)

Лекция 12: Правила логических умозаключений. Модусы. (Часть 2)

Лекция 13: Булева алгебра

Лекция 14: Многочлены Жегалкина

Лекция 15: Замкнутые классы функций

Лекция 16: Полные системы функций

Лекция 17: Реализация булевых функций с помощью логических схем

Лекция 18: Четыре фигуры силлогизмов

Лекция 19: Логика предикатов. Кванторы

Лекция 20: Машина Тьюринга

Лекция 21: Наивная теория множеств и нечёткая логика


Spread the love