Логотип
Юніонпедія
Зв'язок
Завантажити з Google Play
Новинка! Завантажити Юніонпедія на вашому Android™ пристрої!
Завантажити
Більш швидкий доступ, ніж браузер!
 

Рекурсивні функції

Індекс Рекурсивні функції

Рекурсивні функції — клас функцій, введений як уточнення класу обчислюваних функцій.

9 відносини: Курт Гедель, Операція примітивної рекурсії, Австрія, Рекурсія, Теза Черча, Теорія обчислюваності, Універсальна алгебра, Еміль Пост, Енциклопедія кібернетики.

Курт Гедель

Курт Ге́дель (Kurt Gödel) (*28 квітня 1906, Брюнн, Австро-Угорщина (тепер Брно, Чехія) — †14 січня 1978, Принстон, США) — австрійський логік і математик, приват-доцент Віденського університету (1933–1938).

Новинка!!: Рекурсивні функції і Курт Гедель · Побачити більше »

Операція примітивної рекурсії

Опера́ція приміти́вної реку́рсії — двомісна операція, широко вживана в теорії рекурсивних функцій.

Новинка!!: Рекурсивні функції і Операція примітивної рекурсії · Побачити більше »

Австрія

А́встрія, Респу́бліка А́встрія (Republik Österreich) — держава в Центральній Європі.

Новинка!!: Рекурсивні функції і Австрія · Побачити більше »

Рекурсія

Візуальна форма рекурсії, відома як Ефект Дросте Рекурсія (Recursion) — метод визначення класу чи об'єкту через попереднє задання одного чи декількох (звичайно простих) його базових випадків чи методів, а потім заданням на їхній основі правила побудови класу, який визначається.

Новинка!!: Рекурсивні функції і Рекурсія · Побачити більше »

Теза Черча

Теза Черча — твердження, згідно з яким, клас алгоритмічно-обчислюваних функцій збігається з класом частково-рекурсивних функцій, функцій обчислюваних за Тюрінгом та інших формальних уточнень інтуїтивного поняття алгоритм.

Новинка!!: Рекурсивні функції і Теза Черча · Побачити більше »

Теорія обчислюваності

Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.

Новинка!!: Рекурсивні функції і Теорія обчислюваності · Побачити більше »

Універсальна алгебра

Універсальна алгебра (універсальна алгебра заданої сигнатури) — це множина, що називається носієм алгебри, з набором n-арних алгебраїчних операцій, що називаються сигнатурою алгебри.

Новинка!!: Рекурсивні функції і Універсальна алгебра · Побачити більше »

Еміль Пост

Пост Еміль Леон (Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста.

Новинка!!: Рекурсивні функції і Еміль Пост · Побачити більше »

Енциклопедія кібернетики

Енциклопе́дія кіберне́тики — перша у світі «Енциклопедія кібернетики» за редакцією В. Глушкова.

Новинка!!: Рекурсивні функції і Енциклопедія кібернетики · Побачити більше »

Перенаправлення тут:

Рекурсивна функція, Функція частково-рекурсивна, Функції рекурсивні, ЧРФ, Частково рекурсивна функція, Частково-рекурсивні функції, Примітивно рекурсивна функція, Примітивно-рекурсивна функція.

ВихідніВхідний
Гей! Ми на Facebook зараз! »