Філософський енциклопедичний словник
А Б В Г Д Е Є Ж З І Й К [Л] М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я S
логіка комбінаторна
ЛОГІКА КОМБІНАТОРНА (від лат. combino - з'єдную) - спосіб побудови логічної системи з термами як послідовностями комбінаторів (аналогами функцій) і формулами як твердженнями про їх рівність.
Ви можете поставити посилання на це слово:

матиме такий вигляд: логіка комбінаторна


матиме такий вигляд: Що таке логіка комбінаторна