- рекурсивное равенство
- лог. recuirson equation
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
рекурсивное определение — (от лат. recurso возвращаюсь) метод определения арифметической функции ?(у) или предиката Р(у) через область значений этой функции или предиката. Примером Р. о. может быть определение функции сложения: а + 0 = а, (1) а + b =(а+b) (2) В равенстве… … Словарь терминов логики
Сортировка слиянием — Действие алгоритма на примере сортировки случайных точек. Сортировка слиянием (англ. merge sort) алгоритм сортировки, который упорядочивает списки (или другие структуры данных, доступ к элементам которых можно получать только п … Википедия
КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… … Математическая энциклопедия
Квалиа — «Квалиа» от лат. qualia (мн. ч.) свойства, качества, quale (ед. ч.) какого сорта или какого рода. Термин, используемый в философии, преимущественно в англоязычной аналитической философии сознания, для обозначения сенсорных,… … Википедия