В дискретной математике тесно связана с ?-исчислением, т. High Quality Content by WIKIPEDIA articles! Комбина?торная ло?гика — направление математической логики, занимающееся фундаментальными — не нуждающимися в объяснении и не анализируемыми — понятиями и методами формальных логических систем или исчислений. описывает вычислительные процессы. к. 2013