рекурсивное множество

Рекурсивно перечислимое множество А называется простым, если его дополнение бесконечно, но не содержит никакого бесконечного рекурсивно перечислимого подмножества.

A recursively enumerable set A is simple if its complement is infinite but includes no infinite recursively enumerable set.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Рекурсивно перечислимое множество А креативно, если оно имеет креативную функцию.

A recursively enumerable set A is creative if it has a creating function.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Например, каждое множество является объединением счетного числа конечных, а потому рекурсивных множеств.

For example, every set is the union of countably many finite, and hence recursive, sets.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Затем показать, что существуют рекурсивно неотделимые рекурсивно перечислимые множества.

Conclude that there exist recursively inseparable recursively enumerable sets.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Предположим, что креативное множество А Таблично сводимо к рекурсивно перечислимому множеству В.

Suppose that the creative set A is truth-table reducible to the recursively enumerable set B.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Это, в свою очередь, сократит общее количество выполняемых разборов, поскольку при жестком разборе выполняется множество рекурсивных SQL-операторов.

This in turn would reduce the overall number of parses done because a hard parse has to perform a lot of recursive SQL itself.

Кайт, Том / Oracle для профессионаловKyte, Tom / Expert One-on-One Oracle

Expert One-on-One Oracle

Kyte, Tom

© Wrox Press Ltd, 2002

Oracle для профессионалов

Кайт, Том

© Перевод на русский язык. ООО «ДиаСофтЮП», 2003

© Wrox Press Ltd, 2002