9 відносини: Курт Гедель, Операція примітивної рекурсії, Австрія, Рекурсія, Теза Черча, Теорія обчислюваності, Універсальна алгебра, Еміль Пост, Енциклопедія кібернетики.
Курт Гедель
Курт Ге́дель (Kurt Gödel) (*28 квітня 1906, Брюнн, Австро-Угорщина (тепер Брно, Чехія) — †14 січня 1978, Принстон, США) — австрійський логік і математик, приват-доцент Віденського університету (1933–1938).
Новинка!!: Рекурсивні функції і Курт Гедель · Побачити більше »
Операція примітивної рекурсії
Опера́ція приміти́вної реку́рсії — двомісна операція, широко вживана в теорії рекурсивних функцій.
Новинка!!: Рекурсивні функції і Операція примітивної рекурсії · Побачити більше »
Австрія
А́встрія, Респу́бліка А́встрія (Republik Österreich) — держава в Центральній Європі.
Новинка!!: Рекурсивні функції і Австрія · Побачити більше »
Рекурсія
Візуальна форма рекурсії, відома як Ефект Дросте Рекурсія (Recursion) — метод визначення класу чи об'єкту через попереднє задання одного чи декількох (звичайно простих) його базових випадків чи методів, а потім заданням на їхній основі правила побудови класу, який визначається.
Новинка!!: Рекурсивні функції і Рекурсія · Побачити більше »
Теза Черча
Теза Черча — твердження, згідно з яким, клас алгоритмічно-обчислюваних функцій збігається з класом частково-рекурсивних функцій, функцій обчислюваних за Тюрінгом та інших формальних уточнень інтуїтивного поняття алгоритм.
Новинка!!: Рекурсивні функції і Теза Черча · Побачити більше »
Теорія обчислюваності
Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.
Новинка!!: Рекурсивні функції і Теорія обчислюваності · Побачити більше »
Універсальна алгебра
Універсальна алгебра (універсальна алгебра заданої сигнатури) — це множина, що називається носієм алгебри, з набором n-арних алгебраїчних операцій, що називаються сигнатурою алгебри.
Новинка!!: Рекурсивні функції і Універсальна алгебра · Побачити більше »
Еміль Пост
Пост Еміль Леон (Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста.
Новинка!!: Рекурсивні функції і Еміль Пост · Побачити більше »
Енциклопедія кібернетики
Енциклопе́дія кіберне́тики — перша у світі «Енциклопедія кібернетики» за редакцією В. Глушкова.
Новинка!!: Рекурсивні функції і Енциклопедія кібернетики · Побачити більше »
Перенаправлення тут:
Рекурсивна функція, Функція частково-рекурсивна, Функції рекурсивні, ЧРФ, Частково рекурсивна функція, Частково-рекурсивні функції, Примітивно рекурсивна функція, Примітивно-рекурсивна функція.