Элементы математической логики

ВИДЕОУРОК №7. Импликация высказываний

Войдите или зарегестрируйтесь для того чтоб продолжить просмотр бесплатного видео

Материалы урока Домашние задания Тестирование

Умение правильно рассуждать необходимо в любой человеческой деятельности, а особенно в программировании. Данный урок является введением в классическую логику. Рассматриваются такие понятия как высказывание, суждение и силлогизм.

В этом видео уроке будут рассмотрены следующие темы:

Высказывание
Суждение
Силлогизм

№2

Высказывания

0:06:55

Материалы урока Домашние задания Тестирование

Основным понятием классической логики является высказывание. Высказывания имеются и в программировании и выражаются при помощи операторов языка C#. На уроке рассматриваются различные формы и правила построения высказываний. Как не ошибиться при построении высказывания?

№3

Простые и сложные высказывания

0:05:21

Материалы урока Домашние задания Тестирование

Некоторые высказывания можно разложить на отдельные части, при этом каждая такая часть будет отдельным высказыванием. На данном уроке рассматриваются способы разложения сложных высказываний на простые.

№4

Отрицание

0:08:21

Материалы урока Домашние задания Тестирование

На данном уроке рассматривается логическая операция отрицание. Использование логической функции отрицания при построении высказываний.

№5

Конъюнкция высказываний

0:08:03

Материалы урока Домашние задания Тестирование

На данном уроке рассматривается логическая функция – конъюнкция (логическое И) и ее использование при работе с высказываниями.