16 отношения: Academic Press, Curry, Haskell, Парадигма программирования, Соединённые Штаты Америки, Университет штата Пенсильвания, Формализм (математика), Массачусетс, Метаматематика, Гёттингенский университет, Гарвардский университет, Гильберт, Давид, 1 сентября, 12 сентября, 1900 год, 1982 год.
Academic Press
Academic Press — издательство с центрами в Нью-Йорке, Лондоне, Оксфорде, Бостоне и Сан-Диего, специализирующееся на научной литературе.
Новый!!: Карри, Хаскелл и Academic Press · Узнать больше »
Curry
Curry — встраиваемый язык программирования общего назначения, реализованный поверх языка Haskell.
Новый!!: Карри, Хаскелл и Curry · Узнать больше »
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: Карри, Хаскелл и Haskell · Узнать больше »
Парадигма программирования
Паради́гма программи́рования — это совокупность идей и понятий, определяющих стиль написания компьютерных программ (подход к программированию).
Новый!!: Карри, Хаскелл и Парадигма программирования · Узнать больше »
Соединённые Штаты Америки
Соединённые Шта́ты Аме́рики (United States of America), часто кратко именуемые США (USA) или Соединёнными Штатами (United States, U.S.), — государство в Северной Америке.
Новый!!: Карри, Хаскелл и Соединённые Штаты Америки · Узнать больше »
Университет штата Пенсильвания
Университет штата Пенсильвания (The Pennsylvania State University) — публичный исследовательский университет в США, находящийся в Юниверсити-Парк, штат Пенсильвания.
Новый!!: Карри, Хаскелл и Университет штата Пенсильвания · Узнать больше »
Формализм (математика)
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем.
Новый!!: Карри, Хаскелл и Формализм (математика) · Узнать больше »
Массачусетс
Массачу́сетс (Massachusetts), официально — Содру́жество Массачу́сетса (Commonwealth of Massachusetts) — штат в Новой Англии, расположенный на северо-востоке США, на берегу Атлантического океана.
Новый!!: Карри, Хаскелл и Массачусетс · Узнать больше »
Метаматематика
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов.
Новый!!: Карри, Хаскелл и Метаматематика · Узнать больше »
Гёттингенский университет
Гёттингенский университет имени Георга-Августа (Georg-August-Universität) — один из традиционных образовательных центров Нижней Саксонии.
Новый!!: Карри, Хаскелл и Гёттингенский университет · Узнать больше »
Гарвардский университет
Гарвардский университет (Гарвард) (Harvard University) — один из самых известных университетов США и всего мира, старейший вуз США.
Новый!!: Карри, Хаскелл и Гарвардский университет · Узнать больше »
Гильберт, Давид
Дави́д Ги́льберт (David Hilbert; 23 января 1862 — 14 февраля 1943) — немецкий -универсал, внёс значительный вклад в развитие многих областей математики.
Новый!!: Карри, Хаскелл и Гильберт, Давид · Узнать больше »
1 сентября
См.
Новый!!: Карри, Хаскелл и 1 сентября · Узнать больше »
12 сентября
См.
Новый!!: Карри, Хаскелл и 12 сентября · Узнать больше »
1900 год
В программах Lotus 1-2-3, Microsoft Excel и стандарте Microsoft Office Open XML 1900 год считается високосным.
Новый!!: Карри, Хаскелл и 1900 год · Узнать больше »
1982 год
Почтовая марка СССР, 1982 год.
Новый!!: Карри, Хаскелл и 1982 год · Узнать больше »