термы – phrases

Terms for subject Programming containing термы | all forms

Russian	English
бинарное отношение между термами и типами	binary relation between terms and types (ssn)
верное утверждение о типе терма	valid typing statement (ssn)
данный терм	given term (ssn)
дескриптивный терм	descriptive term (ssn)
конец главной синтаксической линии для определяемого терма	end of the main syntax line for a defined term (ssn)
конечная точка определяемого терма	defined term end point (ssn)
лямбда-терм	lambda term (Alex_Odeychuk)
набор правил вывода, присваивающих термам типы	set of inference rules assigning types to terms (ssn)
наименьшее бинарное отношение между термами и типами	smallest binary relation between terms and types (ssn)
наименьшее бинарное отношение между термами и типами, удовлетворяющее всем правилам	smallest binary relation between terms and types satisfying all instances of the rules (ssn)
начало главной синтаксической линии для определяемого терма	beginning of the main syntax line for a defined term (ssn)
начальная точка определяемого терма	defined term start point (ssn)
определяемые термы	defined terms (ssn)
отношение между термами и типами	relation between terms and types (ssn)
правила вывода, присваивающие термам типы	inference rules assigning types to terms (ssn)
преобразование терма	term rewriting (логического выражения ssn)
синтаксическая диаграмма для определяемого терма	syntax diagram for a defined term (ssn)
синтаксический терм	term (в текстах, содержащих описание грамматической нотации языка программирования Alex_Odeychuk)
составной терм	compound term (структура, список или недоопределённое множество; в языке логического программирования Prolog Alex_Odeychuk)
структурированный терм	structured term (e.g., array(array(byte)))
структурированный терм	structured term
терм-данные	data-term (University of Melbourne, Австралия Alex_Odeychuk)
терм дизъюнкции	disjunction term (ssn)
терм как представление структуры данных	term-representation of data structures (см. Introduction to logic programming by Ghristopher John Hogger ssn)
терм как простой тип данных	term as simple data type (см. Introduction to logic programming by Ghristopher John Hogger ssn)
терм конъюнкции	product term (ssn)
терм конъюнкции	conjunction term (ssn)
терм поиска	search term (ssn)
утверждение о типе терма	typing statement (ssn)
циклический терм	cyclic term (Alex_Odeychuk)

Get short URL