пара, теорія алгоритмів і математична логіка
викладач просто золотце... вміє повеселити..
"ну це ж елементарно! рівень дитсадка!
ось був би я серед дошкільнят, то просто сказав би:
давайте проінтерпритуєм дану формулу без константних параметрів за вкладеними предикатами..."