комбинаторная логика
Русский
Тип и синтаксические свойства сочетания
комбинато́рная ло́гика
Устойчивое сочетание.
Произношение
- МФА: [kəm⁽ʲ⁾bʲɪnɐˈtornəɪ̯ə ˈɫoɡʲɪkə]
Значение
- матем. раздел математической логики, в котором изучаются комбинаторы и их свойства. Комбинаторная логика наиболее естественным образом отображается на языки функционального программирования.
Синонимы
- —
Антонимы
- —
Гиперонимы
- наука, математика, математическая логика
Гипонимы
- —
Перевод
| Список переводов | |
| |
|
|
Статья нуждается в доработке. Это незаконченная статья. Вы можете помочь проекту, исправив и дополнив её.
|
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.