Более быстрый доступ, чем браузер!
20 отношения: Academic Press, Agda, Coq, MIT Press, Карри, Хаскелл, Клини, Стивен Коул, Компьютерная программа, Конструктивная математика, Просто типизированное лямбда-исчисление, Автоматическое доказательство, Амстердам, Система F, Тавтология (логика), Функциональное программирование, Математическое доказательство, Импликация, Интуиционистское исчисление высказываний, Интуиционизм, Зависимый тип, Вычислительная машина.
Academic Press
Academic Press — издательство с центрами в Нью-Йорке, Лондоне, Оксфорде, Бостоне и Сан-Диего, специализирующееся на научной литературе.
Новый!!: Соответствие Карри — Ховарда и Academic Press · Узнать больше »
Agda
Agda — чистый функциональный язык программирования с зависимыми типами, то есть типами, которые могут быть индексированы значениями другого типа.
Новый!!: Соответствие Карри — Ховарда и Agda · Узнать больше »
Coq
Coq (coq — петух) — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами.
Новый!!: Соответствие Карри — Ховарда и Coq · Узнать больше »
MIT Press
MIT Press — издательство Массачусетского технологического института (MIT), расположенное в Кембридже (США, штат Массачусетс) и специализирующееся на выпуске изданий научного и технического профиля.
Новый!!: Соответствие Карри — Ховарда и MIT Press · Узнать больше »
Карри, Хаскелл
Ха́скелл Брукс Ка́рри (12 сентября 1900 — 1 сентября 1982) — американский и. Программа его исследований способствовала становлению конструктивного подхода к выработке оснований математики.
Новый!!: Соответствие Карри — Ховарда и Карри, Хаскелл · Узнать больше »
Клини, Стивен Коул
Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский и. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логики — теории вычислимости.
Новый!!: Соответствие Карри — Ховарда и Клини, Стивен Коул · Узнать больше »
Компьютерная программа
Компьютерная программа. Компью́терная програ́мма — 1) комбинация компьютерных инструкций и данных, позволяющая аппаратному обеспечению вычислительной системы выполнять вычисления или функции управления (стандарт ISO/IEC/IEEE 24765:2010)ISO/IEC/IEEE 24765:2010 Systems and software engineering — Vocabulary; 2) синтаксическая единица, которая соответствует правилам определённого языка программирования, состоящая из определений и операторов или инструкций, необходимых для определённой функции, задачи или решения проблемы (стандарт ISO/IEC 2382-1:1993)ISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms. Первое определение соответствует понятию «исполняемая программа», второе — относится к понятию «исходный текст». Другие определения из нормативных документов.
Новый!!: Соответствие Карри — Ховарда и Компьютерная программа · Узнать больше »
Конструктивная математика
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.
Новый!!: Соответствие Карри — Ховарда и Конструктивная математика · Узнать больше »
Просто типизированное лямбда-исчисление
Просто типизированное лямбда-исчисление (простое типизированное лямбда-исчисление, лямбда-исчисление с простыми типами, система \lambda^\rightarrow) — система типизированного лямбда-исчисления, в которой лямбда-абстракции приписывается специальный «стрелочный» тип.
Новый!!: Соответствие Карри — Ховарда и Просто типизированное лямбда-исчисление · Узнать больше »
Автоматическое доказательство
Автоматическое доказательство (Automated Theorem Proving, ATP, а также Automated deduction) — доказательство, реализованное программно.
Новый!!: Соответствие Карри — Ховарда и Автоматическое доказательство · Узнать больше »
Амстердам
Амстерда́м (Amsterdam) — столица и крупнейший город Нидерландов.
Новый!!: Соответствие Карри — Ховарда и Амстердам · Узнать больше »
Система F
Система F (полиморфное лямбда-исчисление, система \lambda2, типизированное лямбда-исчисление второго порядка) — система типизированного лямбда-исчисления, отличающаяся от просто типизированной системы наличием механизма универсальной квантификации над типами.
Новый!!: Соответствие Карри — Ховарда и Система F · Узнать больше »
Тавтология (логика)
Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов.
Новый!!: Соответствие Карри — Ховарда и Тавтология (логика) · Узнать больше »
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Новый!!: Соответствие Карри — Ховарда и Функциональное программирование · Узнать больше »
Математическое доказательство
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно.
Новый!!: Соответствие Карри — Ховарда и Математическое доказательство · Узнать больше »
Импликация
Импликация (от implicatio — «связь») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».
Новый!!: Соответствие Карри — Ховарда и Импликация · Узнать больше »
Интуиционистское исчисление высказываний
Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма.
Новый!!: Соответствие Карри — Ховарда и Интуиционистское исчисление высказываний · Узнать больше »
Интуиционизм
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности».
Новый!!: Соответствие Карри — Ховарда и Интуиционизм · Узнать больше »
Зависимый тип
Зависимый тип в информатике и логике — тип, который зависит от некоторого значения.
Новый!!: Соответствие Карри — Ховарда и Зависимый тип · Узнать больше »
Вычислительная машина
«Считающие часы» Вильгельма Шиккарда. Счётная машина «Resulta BS 7». Вычисли́тельная маши́на, счётная маши́на — механизм, электромеханическое или электронное устройство, предназначенное для автоматического выполнения математических операций.
Новый!!: Соответствие Карри — Ховарда и Вычислительная машина · Узнать больше »
Перенаправления здесь:
Соответствие Карри — Говарда, Изоморфизм Карри — Ховарда, Изоморфизм Карри — Говарда.
