Материал по информатике "Алгебра логики, кванторы"

Основы логики урок 1.

1. Основоположники науки логики;

2. Формы мышления;

3. Две стороны понятия;

4. Свойства  высказывания;

5. Слова-кванторы.

Более 2300 лет назад древнегреческий философ Аристотель впервые систематизировал формы и правила мышления.

Логика - наука о способах и формах мышления.

Алгебра логики - раздел математической логики.

Булева алгебра.

Применение:

1. Для упрощения сложных логических  доказательств и тождеств.

2. При решении логических задач.

3. При доказательстве теорем.

4. В контактных схемах.

5. В базах данных при составлении запросов.

Джордж Буль изобрел систему обозначений и правил, применимую ко всевозможным объектам, от чисел до предложений.

Самостоятельная работа.

Слова-кванторы, логические высказывания и выражения.

1. Верно или неверно? (пример ответа: 1 - верно, 2 - неверно).

а) Все компьютеры - приборы.  

б) Не все приборы - компьютеры.

в) Все программы - игры.  

г) Не все игры - программы.

2. Выберите правильное слово-квантор:

В классе: 10 мальчиков и 15 девочек. 25 детей ходят в бассейн.

(Все, не все, никакие) девочки из класса ходят в бассейн.

3. Определите высказывание это или нет. (пример ответа: 1 - да, 2 - нет):

а) Пейте томатный сок.

б) 2+5>6.

в) Стой, кто идет?

г) Какого цвета этот цветок?

д) У учителя всегда есть любимый ученик.

е) Да здравствует мир во всем мире!

Весь материал - в архиве.