индуктивный

Terms for subject Programming containing индуктивный | all forms | exact matches only

Russian	English
индуктивная гипотеза	induction hypothesis (ssn)
индуктивное логическое программирование	ILP (сокр. от "inductive logic programming" Alex_Odeychuk)
индуктивное логическое программирование	inductive logic programming (Alex_Odeychuk)
индуктивное программирование	inductive programming (Alex_Odeychuk)
индуктивное семейство	inductive family (data types which depend on values, such as the type of vectors of a given length Alex_Odeychuk)
индуктивное умозаключение	grammatical inference (ssn)
индуктивный тип данных	inductive data type (Alex_Odeychuk)
обычное индуктивное определение	ordinary inductive definition (ssn)
Содержательность обычного индуктивного определения основана на том, что индексы, используемые в правой части каждого уравнения, меньше, чем индексы левой части	an ordinary inductive definition is one whose validity depends on the fact that the right hand side of each equation uses only indices less than that of the left hand side (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)
язык логического программирования с индуктивным выводом	bottom-up logic programming language (Alex_Odeychuk)
язык логического программирования с индуктивным выводом	forward-chaining logic programming language (Alex_Odeychuk)

Get short URL