Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки






А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

алгебра логики

Алгебра логики - раздел математической логики, основанный на применения алгебраических методов к изучению логических объектов - классов, высказываний и др. Исторически А. л. возникла как алгебра классов (Буль) и лишь затем была интерпретирована как алгебра высказываний. А. л. рассматривает высказывания только со стороны их значения истинности, причем равносильными считаются высказывания, имеющие одно и то же значение истинности. А. л. использует буквенную символику. Помимо символов, обозначающих сами высказывания, вводятся символы для логических операций, с помощью к-рых из одних выражений А. л. образуются др. В настоящее время А. л. находит также приложение к теории электрических и релейно-контактных схем.


Источники:

  1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.






© Алексей Злыгостев, дизайн, подборка материалов, разработка ПО 2001–2015
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'
Сайт создан при помощи Богданова В.В. (ТТИ ЮФУ в г.Таганроге)