Аппликативные вычислительные системы

От / / Оставьте комментарий

Оглавление1 Прикладные вычислительные системы1.1 Основы прикладных вычислительных систем1.2 Особенности объектов в ACS1.3 Применение ACS1.4 Проблемы и ограничения ACS1.5 Дополнительная информация2 […]

Applicative computing systems, Combinatory logic, Lambda calculus, Models of computation, Аппликативные вычислительные системы, Комбинаторная логика, Лямбда-исчисление, Модели вычислений

Прикладные вычислительные системы

  • Основы прикладных вычислительных систем

    • ACS основаны на комбинаторной логике и лямбда-исчислении. 
    • Основное понятие – представление объекта. 
    • Комбинаторная логика использует приложение, а лямбда-исчисление – приложение и функциональную абстракцию. 

  • Особенности объектов в ACS

    • Функциональные объекты с переменной арностью. 
    • Функции и аргументы рассматриваются на равных правах. 
    • Возможность самостоятельного применения функций. 

  • Применение ACS

    • ACS способствуют прикладному подходу к программированию. 

  • Проблемы и ограничения ACS

    • Отсутствие памяти и чувствительности к истории ограничивает их применение в компьютерном проектировании. 
    • Основная операция в лямбда-исчислении – подстановка – требует больших вычислительных ресурсов. 

  • Дополнительная информация

    • Ссылки на литературу и рекомендации по использованию системы. 
    • Упоминание о Х. Карри и его вкладе в вычислительные модели. 

Полный текст статьи:

Аппликативные вычислительные системы — Википедия

Похожие статьи:

  1. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
  2. Австралийское компьютерное общество Оглавление1 Австралийское компьютерное общество1.1 Обзор Австралийского компьютерного общества (ACS)1.2 Структура и деятельность ACS1.3 Представительство и членство1.4...
  3. Список военных операций Второй мировой войны Оглавление1 Список военных операций Второй мировой войны1.1 Основные операции Второй мировой войны1.2 Операции союзников1.3 Операции Германии1.4...
  4. Альтернативы авторскому праву Оглавление1 Альтернативы авторскому праву1.1 Защита авторских прав в альтернативных системах компенсации1.2 Предложение о ваучере на свободу...
  5. Зависимый тип Оглавление1 Зависимый тип1.1 Основы теории зависимых типов1.2 Типы и функции в лямбда-исчислении1.3 Зависимые типы и их...
  6. Подстановка (логика) Подстановка (логика) Подстановка – это отображение переменных в члены выражения.  Многие авторы требуют, чтобы подстановка отображала...
  7. Лямбда Оглавление1 Лямбда-сигнал1.1 История и значение буквы “Лямбда”1.2 Варианты и использование в истории1.3 Символическое использование1.4 Лямбда в...
  8. Переписка Карри-Ховарда Оглавление1 Переписка Карри и Говарда1.1 Основы соответствия Карри-Говарда1.2 Связь с интуиционистской логикой1.3 Связь с типизированным лямбда-исчислением1.4...
  9. Путешествие во время пандемии COVID-19 Оглавление1 Travel during the COVID-19 pandemic1.1 Пандемия COVID-19 и её влияние на туризм1.2 Эффективность и последствия...
  10. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 Основы лямбда-исчисления1.2 Альфа-эквивалентность и свободные переменные1.3 Примеры лямбда-терминов1.4 Редукция и условия свежести2 Лямбда-исчисление —...
  11. Типизированное лямбда-исчисление Оглавление1 Типизированное лямбда-исчисление1.1 Основы типизированных лямбда-исчислений1.2 Виды типизированных лямбда-исчислений1.3 Приложения к языкам программирования1.4 Дальнейшее чтение2 Типизированное...
  12. Европейский театр Второй мировой войны Оглавление1 Европейский театр военных действий во время Второй мировой войны1.1 Европейский театр военных действий1.2 Начало войны1.3...
  13. Лямбда-мю-исчисление Оглавление1 Лямбда-математический анализ1.1 Основы лямбда-мю-исчисления1.2 Семантика и формальное определение1.3 Правила редукции1.4 Дополнительные правила сокращения1.5 Ссылки и...
  14. Опрос американского сообщества Опрос американского сообщества Исследование американского сообщества (ACS) – ежегодная программа демографических исследований в США.  ACS собирает...
  15. Ответные меры на пандемию COVID-19 в июне 2020 г. – Википедия Оглавление1 Responses to the COVID-19 pandemic in June 20201.1 Пандемия COVID-19 и её последствия1.2 Реакция ООН1.3...
  16. Определение лямбда-исчисления Оглавление1 Определение лямбда-исчисления1.1 Определение лямбда-исчисления1.2 Каноническое определение лямбда-исчисления1.3 Операторы и правила1.4 Стратегии оценки1.5 Нормальная форма и...
  17. «Морские котики» США Оглавление1 United States Navy SEALs1.1 История и происхождение1.2 Naval Combat Demolition Units (NCDUs)1.3 OSS Maritime Unit1.4...
  18. Стратегия сокращения Оглавление1 Стратегия сокращения выбросов1.1 Основы лямбда-исчисления1.2 Редукция нормального порядка1.3 Параллельная редукция1.4 Стратегии сокращения1.5 Лямбда-исчисление и редукция1.6...
  19. Операция «Скрепка» Оглавление1 Операция “Скрепка для бумаги”1.1 Операция “Скрепка”1.2 Цели и начало операции1.3 Методы и участники1.4 Результаты и...
  20. Месяц черной истории Оглавление1 Месяц черной истории1.1 История Месяца черной истории1.2 Происхождение и развитие1.3 Рост популярности1.4 Соблюдение и признание1.5...
  21. Человеческий фактор при проектировании водолазного снаряжения Оглавление1 Человеческий фактор при проектировании водолазного снаряжения1.1 Человеческий фактор в проектировании водолазного снаряжения1.2 Основные принципы проектирования1.3...
  22. Лямбда-барион Оглавление1 Лямбда-барион1.1 Определение и свойства лямбда-барионов1.2 Открытие и свойства1.3 Экспериментальные подтверждения1.4 Наблюдения в атомных ядрах1.5 Типы...

Оставьте комментарий

Прокрутить вверх