Рекурсивен набор
рекурсивен набор — — [http://www.iks media.ru/glossary/index.html?gloss >Ръководство за технически преводач
РЕКУРСИВНА ВРЪЗКА е такава релация, където е множеството от естествени числа, че функцията f, дефинирана върху условието, е рекурсивна функция. По-специално, за всяко p универсалната връзка и нулевата връзка са R. o. Ако R и S са n локални R. o., тогава отношенията ... ... Математическа енциклопедия
КРЕАТИВЕН НАБОР - творчески набор, рекурсивно изброим набор от естествени числа, добавянето към рога Ado на естествената серия е продуктивен набор; с други думи, наборът е творчески, ако е рекурсивно изброим и има такова частично ... ... Математическа енциклопедия
теория - ТЕОРИЯ В широк смисъл набор от възгледи, идеи, идеи, насочени към тълкуване и обяснение на феномен; в по-тесен и по-специализиран смисъл най-висшата, най-развитата форма на организация на научното познание, даваща цялостен ... ... Енциклопедия на епистемологията и философията на науката
РЕКУРСИВНАТА ТЕОРИЯ НА МНОЖЕСТВАТА е клон на теорията на рекурсивните функции, в който се разглеждат и класифицират подмножества от естествени числа с алгоритмични подмножества. гледни точки, както и структурите, произтичащи от такава класификация. За всеки набор А, до рояк ... ... Математическа енциклопедия
вилица бомба - Рекурсивно генериране на процеси, което води до отказ на услуга или системен срив.
Списък със статии по математическа логика - Това е сервизен списък със статии, създаден за координиране на работата по разработването на темата. даденипредупреждението не е ... Wikipedia
THORY IN LOGIC — ТЕОРИЯТА В ЛОГИКАТА е логически последователна система от изречения. Като логическа връзка се използват дедукционни процедури, които формализират отношението на изводимост. В зависимост от степента на яснота (откровение) на дедуктивната ... ... Философска енциклопедия
НЕРАЗРЕШИМА СТЕПЕН е класът на еквивалентност, индуциран от връзката на редуцируемостта на Тюринг върху подмножествата на естествения ред ( , ако ). С други думи, две множества принадлежат на едно и също N. s, ако за всяко от тях има ефективна разрешаваща процедура за ... ... Математическа енциклопедия
Изчислимо число - В тази статия липсват връзки към източници на информация. Информацията трябва да може да се провери, в противен случай може да бъде поставена под съмнение и премахната. Можете да ... Уикипедия