— раздел математической логики, основанный на применении алгебраических методов к изучению логических объектов — классов, высказываний и др. Исторически А. л. возникла как алгебра классов и как алгебра высказываний (Буль). А. л. рассматривает высказывания только со стороны значения их истинности, причем равносильными считаются высказывания, имеющие одно и то же значение истинности. А. л. использует буквенную символику. Помимо символов, обозначающих сами высказывания, вводятся символы для логических операций, с помощью к-рых из одних выражений А. л. образуются др. А. л. находит также приложение к теории электрических и релейно-контактных схем.
В. А. Смирнов
Читайте далее:
- Видеоустройства ПЭВМ и их основные характеристики
- ДАВЫДОВА КОНЦЕПЦИЯ ПОСТРОЕНИЯ НАЧАЛЬНОГО КУРСА МАТЕМАТИКИ
- Видеоадаптер VGA. Принцип работы
- Архитектура персональных компьютеров IBM PC
- Контрольная работа по информатике № 5
- Информационные технологии в экономике
- Что такое клавиатура