Рекурсивна безліч
рекурсивна безліч — — [http://www.iks media.ru/glossary/index.html?gloss >Довідник технічного перекладача
РЕКУРСИВНЕ ВІДНОСИНИ — таке ставлення , де безліч натуральних чисел, що функція f, визначена умовою є рекурсивною функцією. Зокрема, за будь-якого пуниверсальное ставлення і нуль відношення є Р. о. Якщо Rі Sсуть n місцеві Р. о., то стосунки… … Математична енциклопедія
КРЕАТИВНЕ МНОЖИНСТВО — творча множина, рекурсивно перерахована множина Анатуральних чисел, доповнення до рого Адо натурального ряду є продуктивною множиною; інакше кажучи, множина Акреативно, якщо вона рекурсивно перелічима і існує така частково ... Математична енциклопедія
теорія — ТЕОРІЯ У широкому значенні комплекс поглядів, уявлень, ідей, спрямованих на тлумачення та пояснення будь-якого явища; у вужчому та спеціальному сенсі вища, найрозвиненіша форма організації наукового знання, що дає цілісне… Енциклопедія епістемології та філософії науки
РЕКУРСИВНА ТЕОРІЯ МНОЖИН — розділ теорії рекурсивних функцій, які розглядаються і класифікуються підмножини натуральних чисел з алгоритміч. точки зору, а також досліджуються структури, що виникають у результаті такої класифікації. Для кожної множини А, до рої… … Математична енциклопедія
fork-бомба — Рекурсивне породження процесів, що веде до відмови в обслуговуванні або падінні системи fork бомба шкідлива або помилково написана програма, що нескінченно створює свої копії (системним викликом fork()), які зазвичай також починають… Вікіпедія
Список статей з математичної логіки - Це службовий список статей, створений для координації робіт з розвитку теми. Цепопередження не ... Вікіпедія
ТЕОРІЯ У ЛОГІЦІ — ТЕОРІЯ У ЛОГІЦІ є логічно зв'язною системою пропозицій. Як логічний зв'язок використовуються процедури дедукції, що формалізують відношення виведення. Залежно від ступеня проясненості (виявленості) дедуктивних ... Філософська енциклопедія
НЕДОЗВІЛЬНІСТЬ СТУПЕНЬ — клас еквівалентності, індукованої ставленням тьюрингової зведеності на підмножинах натурального ряду (, якщо). Інакше кажучи, дві множини належать одній Н. с, якщо для кожного з них існує ефективна роздільна здатність при… Математична енциклопедія
Обчислюване число — У цій статті не вистачає посилань на джерела інформації. Інформація має бути перевіряється, інакше вона може бути поставлена під сумнів та видалена. Ви можете … Вікіпедія