Изучение темы «Алгебра логики» в 10(информационно-технологическом классе).

Тема 1. Введение в алгебру логики.

В 1847 году английский математик Джордж Буль, преподаватель Коркского университета, разработал алгебру логики. Почти 100 лет эта «алгебра высказываний» не была известна широкому кругу пользователей. Лишь в 1938 г. выдающийся американский математик и инженер Клод Шеннон обнаружил, что алгебра логики приложима к любым переменным, которые могут принимать только два значения. Например, к состоянию контактов: включено – выключено или напряжению: есть – нет.

В результате алгебра логики явилась математической основой теории электрических и электронных переключательных схем, используемых в ЭВМ, поэтому ее предпочитают называть не алгеброй логики, а булевой алгеброй – по имени ее создателя.

Основные понятия алгебраической логики.

Логика – наука правильно рассуждать, наука о формах и законах человеческого мышления.

Логика – наука древняя. Ее основоположником считается древнегреческий мыслитель Аристотель, живший в 324-322 г.г.до н.э.. Именно он подверг анализу человеческое мышление, а именно, такие его формы, как понятие, суждение, умозаключение. Так возникла формальная логика – наука, пытавшаяся найти ответ на вопрос, как мы рассуждаем, изучающая логические операции и правила мышления.

Главная задача логики – выявить, какие способы рассуждения правильные, а какие нет.

Можно рассмотреть несколько типичных задач.

Скачать полный текст материала