Алгебра логики – часть дискретной математики Математический аппарат алгебры логики широко используется в информатике : Проектирование ЭВМ Теория автоматов Теория алгоритмов Теория информации Целочисленное программирование
Cлайд 3
«Двузначная логика» Алгебра логики изучает свойства функции, у которых и аргументы, и значения принадлежат заданному двухэлементному множеству (0, 1) Английский математик XIX столетия – отец алгебры логики. Построил один из разделов формальной логики.
Cлайд 4
Вклад в становление и развитие алгебры логики внесли:
Cлайд 5
Спустя 100 лет… 1938 год Клод Шеннон (математик и инженер) показал, что алгебра логики применима для описания процессов функционирования релейно-контактных и электронно-ламповых схем.
Cлайд 6
Высказывания С помощью высказывания мы устанавливаем свойства, взаимосвязи между объектами. Каждое высказывание несет значение «истина» или «ложь»
Cлайд 7
Предикаты Высказывания могут выражаться с помощью математических, физических, химических и прочих знаков. Сами числовые выражения, равенства или неравенства, содержащие переменные высказываниями не являются. Предложения типа «х
Cлайд 8
Cлайд 9
Дома: §3.1 прочитать, №4 Подготовить сообщения об ученых: Аристотель Готфрид-Вильгельм Лейбниц Дж. Буль