Советский философский словарь

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

система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в к-ром рассматриваются логические операции над высказываниями, каждое из к-рых имеет одно из двух значений истинности: «истина» (сокр. «и» или 1) и «ложь» («л» или 0). Элементами А. л. служат переменные, принимающие одно из этих двух значений, а также константы 1 и 0. Предмет А. л. составляет совокупность свойств логич. операций в этой двузначной алгебре, а также вытекающие из этих свойств правила преобразования и упрощения формул А. л. (интерпретируемых как высказывания) и приведения их к нек-рым стандартным формам, пригодным для алгоритмизации (см. Алгоритм) решения логич. задач. А. л. в широком смысле включает распространение методов А. л. на понятия и задачи многозначной логики: вместо теории двузначных арифметич. функций от двух аргументов в n-значной логике рассматриваются n-значные функции от аргументов О, 1, ..., n 1, причём часть из этих значений, подобно истинному значению 1 в двузначной А. л., считается «выделенными», т. е. соответствующими «истине». Термин «А. л.», идущий от традиций первых работ по математич. логике 19 в. (Дж. Буль, У. С. Джевонс, Э. Шредер, П. С. Порецкий и др.), применяют иногда также в другом, расширит, смысле к алгебраич. задачам и методам логики предикатов, составляющим предмет теории моделей.

  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между решением алгебраич...Энциклопедия эпистемологии и философии науки