Философский энциклопедический словарь

КОМБИНАТОРНАЯ ЛОГИКА

лат combinare — соединять, сочетать) — одно из направлений в математической логике, занимающееся анализом понятий, к-рые в рамках классической математической логики принимаются без дальнейшего изучения. К их числу принадлежат понятия переменной, функции, правила подстановки и т. п. В классической математической логике пользуются правилами двух родов. Первые формулируются просто и используются без всяких ограничений. Таково, напр., правило modus ponens. Оно формулируется так: если выведены предложения “Если А, то “В” и “А”, то выводится предложение “В”. Это правило доступно для одноактного автоматического выполнения. Др. (напр., правило подстановки) формулируются очень сложно и предполагают ряд ограничений и оговорок (без них они не могут использоваться чисто формально). Одной из задач К. л. является создание таких формальных систем, где не будет встречаться правил, подобных правилу подстановки.

  1. комбинаторная логика—ветвь математической логики изучающая комбинаторы и их свойства. В качестве основных понятий в К. л. выбираются функция и операция применения функции к аргументу аппликац...Большая Советская энциклопедия II
  2. комбинаторная логика—раздел логики посвященный изучению и анализу таких понятий и методов как переменная функция операция подстановки классификация предметов по типам или категориям и другие....Математическая энциклопедия
  3. комбинаторная логика—logique fu combinatoire...Политехнический русско-французский словарь
  4. комбинаторная логика—комбнаторна логка...Російсько-український словник логіки
  5. комбинаторная логика—combinational [combinatorial] logic combinational logic...Русско-английский политехнический словарь
  6. комбинаторная логика—combinatory logic...Русско-английский психологический словарь
  7. комбинаторная логика—combination logic...Русско-английский словарь по электронике
  8. комбинаторная логика—combinational logic combinatory logic...Русско-английский технический словарь
  9. комбинаторная логика—logica combinatoria...Русско-итальянский политехнический словарь
  10. комбинаторная логика—комбнаторна логка...Русско-украинский политехнический словарь
  11. комбинаторная логика—КОМБИНАТОРНАЯ ЛОГИКА см. Логика комбинаторная. dd Философская Энциклопедия. В х т. М. Советская энциклопедия.Под редакцией Ф. В. Константинова. КОМБИНАТОРНАЯ ЛОГИКА КОМБ...Философская энциклопедия
  12. комбинаторная логика—см. Логика комбинаторная....Философская Энциклопедия (в 5 томах)