27 відносини: Lisp, Scheme, Каліфорнійський університет у Лос-Анджелесі, Принстонський університет, Огайо, Алан Тюрінг, Стівен Коул Кліні, Символічна логіка, Сполучені Штати Америки, Теза Черча, Теорія обчислюваності, Вашингтон, Гаскелл Каррі, Гадсон, Еміль Пост, Лямбда-числення, 11 серпня, 14 червня, 1903, 1924, 1927, 1929, 1932, 1935, 1936, 1967, 1995.
Lisp
Лісп (Lisp) — мова програмування загального призначення з підтримкою парадигм функціонального та процедурного програмування.
Новинка!!: Алонзо Черч і Lisp · Побачити більше »
Scheme
Scheme — мультипарадигмна мова програмування, підтримує функціональну та процедурну парадигми програмування.
Новинка!!: Алонзо Черч і Scheme · Побачити більше »
Каліфорнійський університет у Лос-Анджелесі
Каліфорнійський університет у Лос-Анджелесі (University of California, Los Angeles.) — публічний університет, розташований в місті Лос-Анджелес у штаті Каліфорнія, США.
Новинка!!: Алонзо Черч і Каліфорнійський університет у Лос-Анджелесі · Побачити більше »
Принстонський університет
При́нстонський університет — один із найстаріших та найпрестижніших університетів США, розташований у місті Принстон, штат Нью-Джерсі.
Новинка!!: Алонзо Черч і Принстонський університет · Побачити більше »
Огайо
Ога́йо (Ohio Овга́йов) штат на півночі центральної частини США, над озером Ері.
Новинка!!: Алонзо Черч і Огайо · Побачити більше »
Алан Тюрінг
Алан Ма́тісон Тю́рінг (Alan Mathison Turing) (23 червня 1912, Вілмслоу, Чешир, Англія, Велика Британія — 7 червня 1954, Вілмслоу, Чешир, Англія, Велика Британія) — англійський математик, логік і криптограф.
Новинка!!: Алонзо Черч і Алан Тюрінг · Побачити більше »
Стівен Коул Кліні
Стівен Коул Кліні (Stephen Cole Kleene) (5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики.
Новинка!!: Алонзо Черч і Стівен Коул Кліні · Побачити більше »
Символічна логіка
Символічна логіка — сучасний етап розвитку логіки, котрий характеризується всеохопним використанням у цій науці математичних методів, через що він також отримав назву «математична логіка».
Новинка!!: Алонзо Черч і Символічна логіка · Побачити більше »
Сполучені Штати Америки
Сполу́чені Шта́ти Аме́рики, також США, Сполу́чені Шта́ти, Шта́ти, Аме́рика (United States of America, USA, U.S., the USA, the States, America) — конституційна федеративна республіка в Північній Америці, що складається з 50 штатів: Аляски, Гаваїв, 48 штатів на території між Атлантичним і Тихим океанами і між Канадою і Мексикою та федерального (столичного) округу Колумбія.
Новинка!!: Алонзо Черч і Сполучені Штати Америки · Побачити більше »
Теза Черча
Теза Черча — твердження, згідно з яким, клас алгоритмічно-обчислюваних функцій збігається з класом частково-рекурсивних функцій, функцій обчислюваних за Тюрінгом та інших формальних уточнень інтуїтивного поняття алгоритм.
Новинка!!: Алонзо Черч і Теза Черча · Побачити більше »
Теорія обчислюваності
Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.
Новинка!!: Алонзо Черч і Теорія обчислюваності · Побачити більше »
Вашингтон
Вашингтон (Washington, D.C.) — столиця США.
Новинка!!: Алонзо Черч і Вашингтон · Побачити більше »
Гаскелл Каррі
Га́скелл Брукс Каррі (Haskell Brooks Curry; 12 вересня 1900, Массачусетс — 1 вересня 1982, Пенсильванія) — американський математик і логік.
Новинка!!: Алонзо Черч і Гаскелл Каррі · Побачити більше »
Гадсон
Га́дсон, Ха́дсон; застар.
Новинка!!: Алонзо Черч і Гадсон · Побачити більше »
Еміль Пост
Пост Еміль Леон (Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста.
Новинка!!: Алонзо Черч і Еміль Пост · Побачити більше »
Лямбда-числення
Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.
Новинка!!: Алонзо Черч і Лямбда-числення · Побачити більше »
11 серпня
11 серпня — 223-й день року (224-й у високосні роки) в григоріанському календарі.
Новинка!!: Алонзо Черч і 11 серпня · Побачити більше »
14 червня
14 червня — 165-й день року (166-й у високосні роки) у григоріанському календарі.
Новинка!!: Алонзо Черч і 14 червня · Побачити більше »
1903
Без опису.
Новинка!!: Алонзо Черч і 1903 · Побачити більше »
1924
Без опису.
Новинка!!: Алонзо Черч і 1924 · Побачити більше »
1927
Без опису.
Новинка!!: Алонзо Черч і 1927 · Побачити більше »
1929
Без опису.
Новинка!!: Алонзо Черч і 1929 · Побачити більше »
1932
Без опису.
Новинка!!: Алонзо Черч і 1932 · Побачити більше »
1935
Без опису.
Новинка!!: Алонзо Черч і 1935 · Побачити більше »
1936
Без опису.
Новинка!!: Алонзо Черч і 1936 · Побачити більше »
1967
Банкомат.
Новинка!!: Алонзо Черч і 1967 · Побачити більше »
1995
Без опису.
Новинка!!: Алонзо Черч і 1995 · Побачити більше »
Перенаправлення тут:
Алонзо Чорч, Алонсо Черч, Черч Алонзо, Черч Алонсо, Чорч, Чорч Алонзо.