Лекция 1. Логика высказываний | Открытые видеолекции учебных курсов МГУ

Лекция 1. Логика высказываний

Лекция из курса:

Математическая логика

Яворская Татьяна Леонидовна

Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.

Лекция 1. Логика высказываний

Видео закончится через

NaN:NaN

00:00

00:00

00:19

Следующая секция начнется через 01:06

Вводное слово к курсу

01:06

Следующая секция начнется через 01:06

Логика высказываний. Что есть высказывание?

05:09

Следующая секция начнется через 01:06

Операции над высказываниями: логические и нелогические

12:38

Следующая секция начнется через 01:06

Примеры логических операций

17:37

Следующая секция начнется через 01:06

Язык логики высказываний

39:18

Следующая секция начнется через 01:06

Тавтологии, опровержимые формулы: определения

48:17

Следующая секция начнется через 01:06

Сколько строк в таблице истинности, если переменных n?

51:32

Следующая секция начнется через 01:06

Задания на определение тавтологий

58:56

Следующая секция начнется через 01:06

Эквивалентные формулы. Основные эквивалентности

Свернуть таймкоды

00:00

00:00

Скорость

Качество

00:00

00:00

Скорость

Качество

Лекция 1. Логика высказываний

Следующая лекция

Лекция 2. Дизъюнктивная нормальная форма