Конкатенация - это операция:
Каждая операция проектирования:
Совокупность элементов X и определённых над ними операции F, удовлетворяющих аксиомам, называется:
Совокупность операндов алгебры A называется:
Совокупность операций алгебры A называется:
Если V(m,x)=U(s(m),x), m, x - любые, то U называется:
Теорема о неподвижной точке называется также теоремой:
Частично рекурсивная и всюду определенная функция называется:
Нумерация, соответствующая главной универсальной функции называется:
Непустое множество с ассоциативной операцией типа умножения и единичным элементом называется:
