Терминологический словарь автоматизации строительства и производственных процессов

АЛГЕБРА ЛОГИКИ

Алгебра логики — раздел математической логики, изучающий логические законы, выражаемые формулами, построенными из высказывательных констант и переменных, а также из символов логических связок. Алгебра логики применяется при решении традиционных логических задач алгебраическими методами, в теории множеств, теории вероятностей, в дискретной автоматике. Отдельные высказывания в алгебре логики обозначаются буквами какого-либо алфавита. Истинность высказывания принято отождествлять с числом «1», а ложность — с числом «0». Функции, принимающие эти два значения, являются предметом изучения алгебры логики. Основными логическими операциями являются: отрицание Ā, логическое умножение, или конъюнкция (А∧В), логическое сложение, или дизъюнкция (А∨В), эквивалентность (А=В), импликация (А→В). Формулы алгебры логики получаются посредством составления сложных выражений из простых высказываний с использованием основных логических операций.

[Зотов В.В., Маслов Ю.Н., Пядочкин А.Е., Самойлов Л.К., Темников Ф.Е., Хорошилов В.О., Черпаков Б.И. Терминологический словарь по автоматике, информатике и вычислительной технике — Москва: Высшая школа, 1989 — с.191]

  1. алгебра логики—раздел математической логики изучающий высказывания рассматриваемые со стороны их логических значений истинности или ложности и логические операции над ними. А. л. возник...Большая Советская энциклопедия II
  2. алгебра логики—раздел матем. логики изучающий высказывания рассматриваемые со стороны их логич. значений истинности или ложности и логич. операции над ними. В А. л. принято отождествлят...Большой энциклопедический политехнический словарь
  3. алгебра логики—система алгебраических методов решения логических задач исовокупность таких задач в узком смысле табличное матричное построениелогики высказываний определяющее логически...Большой энциклопедический словарь II
  4. алгебра логики—АЛГЕБРА ЛОГИКИ система алгебраических методов решения логических задач и совокупность таких задач в узком смысле табличное матричное построение логики высказываний опред...Большой энциклопедический словарь III
  5. алгебра логики—АЛГЕБРА ЛОГИКИ система алгебраических методов решения логических задач и совокупность таких задач в узком смысле табличное матричное построение логики высказываний опре...Большой Энциклопедический словарь V
  6. алгебра логики—система алгебр. методов решения логич. задач и совокупность таких задач....Естествознание. Энциклопедический словарь
  7. алгебра логики—раздел математической логики изучающий высказывания рассматриваемые со стороны их логич. значений истинности плиложности и логич. операций над ними. А. л. возникла в сер...Математическая энциклопедия
  8. алгебра логики—АЛГЕБРА ЛОГИКИ система алгебраических методов решения логических задач и совокупность таких задач в узком смысле табличное матричное построение логики высказываний опред...Новый большой англо-русский словарь II
  9. алгебра логики—логика алгебрасы...Орысша-қазақша «Математика» терминологиялық сөздік
  10. алгебра логики—инф.в. мат. воен. логика алгебрасы...Орысша-қазақша салааралық терминологиялық сөздік
  11. алгебра логики—algbre logique...Политехнический русско-французский словарь
  12. алгебра логики—алгебра логки...Російсько-український словник логіки
  13. алгебра логики—algebra of logic Boolean algebra...Русско-английский политехнический словарь
  14. алгебра логики—logic algebra...Русско-английский словарь по физике
  15. алгебра логики—Boolean algebra...Русско-английский толковый словарь терминов по информатике
  16. алгебра логики—алгебра логк...Русско-белорусский математический словарь
  17. алгебра логики—аuлгебра лоuгкu...Русско-белорусский словарь математических, физических и технических терминов
  18. алгебра логики—алгебра логк...Русско-белорусский физико-математический словарь
  19. алгебра логики—algebra logica booleana di Boole...Русско-итальянский политехнический словарь
  20. алгебра логики—logick algebra...Русско-чешский словарь
  21. алгебра логики—система алгебраич. методов решения логич. задач а также совокупность задач решаемых такими методами. А. л. в узком смысле слова алгебраич. табличное матричное построение ...Советский философский словарь
  22. алгебра логики—АЛГЕБРА ЛОГИКИ система алгебраических методов решения логических задач и совокупность таких задач в узком смысле табличное матричное построение логики высказываний опред...Современный энциклопедический словарь
  23. алгебра логики—АЛГЕБРА ЛОГИКИ система алгебраич. методов решения логич. задач а также совокупность задач решаемых такими методами. А. л. в узком смысле слова алгебраич. табличное матри...Философская энциклопедия
  24. алгебра логики—одна из осн. частей математич. логики основанная на применении алгебраич. методов к логике. Возникнув в сер. в. в трудах Буля и развиваясь затем в работах Джевонса Шреде...Философская Энциклопедия (в 5 томах)
  25. алгебра логики—раздел математической логики основанный на применении алгебраических методов к изучению логических объектов классов высказываний и др. Исторически А. л. возникла как алг...Философский энциклопедический словарь
  26. алгебра логики—АЛГЕБРА ЛОГИКИ система алгебраических методов решения логических задач и совокупность таких задач в узком смысле табличное матричное построение логики высказываний опре...Энциклопедический словарь естествознания
  27. алгебра логики—АЛГЕБРА ЛОГИКИ исторически первая форма математической символической логики emсложившаяся к последней трети в. К ее созданию привела аналогия emмежду решением алгебраич...Энциклопедия эпистемологии и философии науки