Рыцари лямбда-исчисления

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

Оглавление1 Рыцари лямбда-исчисления1.1 Рыцари лямбда-исчисления1.2 Рекомендации2 Рыцари лямбда-исчисления — Википедия Рыцари лямбда-исчисления Рыцари лямбда-исчисления Шутливая хакерская культура, основанная на лямбда-исчислении […]

Computer programming stubs, Fictional knights, In-jokes, Lambda calculus, Анекдоты, Вымышленные рыцари, Лямбда-исчисление, Незавершенные работы по программированию

Рыцари лямбда-исчисления

  • Рыцари лямбда-исчисления

    • Шутливая хакерская культура, основанная на лямбда-исчислении и рыцарях-тамплиерах. 
    • Не существует реальной организации с таким названием, но концепция возникла в Массачусетском технологическом институте. 
    • В видеолекции Джеральда Джея Сассмана слушатели были представлены как члены этой группы. 
    • В массовой культуре есть аниме-сериал Serial Experiments Lain, где упоминается группа “Рыцари Восточного исчисления”. 
    • В сериале персонажи носят код, написанный на Лиспе, что может указывать на связь с Рыцарями лямбда-исчисления. 

  • Рекомендации

    • Статья является заглушкой и нуждается в расширении для Википедии. 

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

Рыцари лямбда-исчисления — Википедия

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

  1. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
  2. Секретные материалы – Arc.Ask3.Ru Оглавление1 Секретные материалы1.1 История создания и трансляции1.2 Сюжет и персонажи1.3 Мифология и эпизоды1.4 Актерский состав и...
  3. Провод – Arc.Ask3.Ru Оглавление1 Проволока1.1 Создание и концепция1.2 Сюжет и персонажи1.3 Производство и кастинг1.4 Творческая команда1.5 Структура эпизода1.6 Вступительные...
  4. Определение лямбда-исчисления Оглавление1 Определение лямбда-исчисления1.1 Определение лямбда-исчисления1.2 Каноническое определение лямбда-исчисления1.3 Операторы и правила1.4 Стратегии оценки1.5 Нормальная форма и...
  5. Типизированное лямбда-исчисление Оглавление1 Типизированное лямбда-исчисление1.1 Основы типизированных лямбда-исчислений1.2 Виды типизированных лямбда-исчислений1.3 Приложения к языкам программирования1.4 Дальнейшее чтение2 Типизированное...
  6. Восточный блок – Arc.Ask3.Ru Оглавление1 Eastern Bloc1.1 История и состав Восточного блока1.2 Терминология и определения1.3 Пост-1991 использование термина1.4 Список государств1.5...
  7. Лямбда Оглавление1 Лямбда-сигнал1.1 История и значение буквы “Лямбда”1.2 Варианты и использование в истории1.3 Символическое использование1.4 Лямбда в...
  8. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 Основы лямбда-исчисления1.2 Альфа-эквивалентность и свободные переменные1.3 Примеры лямбда-терминов1.4 Редукция и условия свежести2 Лямбда-исчисление —...
  9. Симпсоны – Arc.Ask3.Ru Оглавление1 Симпсоны1.1 Создание и развитие1.2 История и популярность1.3 Персонажи и сюжет1.4 Непрерывность и временная шкала1.5 Производство...
  10. Мультипликативная группа Оглавление1 Мультипликативная группа1.1 Основные понятия теории групп1.2 Глоссарий по теории групп1.3 Теоремы и свойства1.4 Примеры групп1.5...
  11. Восточный Пакистан Оглавление1 Восточный Пакистан1.1 История Восточного Пакистана1.2 Политическая ситуация1.3 Экономическое развитие1.4 Восстание и независимость1.5 Отставка Аюба Хана...
  12. Список фильмов, действие которых происходит в Берлине Оглавление1 Список фильмов, действие которых происходит в Берлине1.1 Берлин как центр киноиндустрии1.2 Студии и кинофестивали1.3 Фильмы...
  13. Приключения Рокки, Буллвинкля и друзей Оглавление1 Приключения Рокки, Буллвинкля и их друзей1.1 История создания и производство1.2 Производство и анимация1.3 Телевизионные показы...
  14. Зависимый тип Оглавление1 Зависимый тип1.1 Основы теории зависимых типов1.2 Типы и функции в лямбда-исчислении1.3 Зависимые типы и их...
  15. Восточный Иерусалим Оглавление1 Восточный Иерусалим1.1 История Восточного Иерусалима1.2 Демография и население1.3 Религиозное значение1.4 Политический статус1.5 Международные усилия1.6 Экономическая...
  16. Лямбда-мю-исчисление Оглавление1 Лямбда-математический анализ1.1 Основы лямбда-мю-исчисления1.2 Семантика и формальное определение1.3 Правила редукции1.4 Дополнительные правила сокращения1.5 Ссылки и...
  17. Кейп-Код Оглавление1 Кейп-Код1.1 История и география Кейп-Кода1.2 Острова и курорты1.3 Политическое и административное деление1.4 Экономическая и культурная...
  18. Головной убор Оглавление1 Головной убор1.1 Головные уборы: определение и цели1.2 Защита и самооборона1.3 Мода1.4 Религиозное значение1.5 Символ статуса...
  19. Сыны свободы (мини-сериал) Оглавление1 Сыны свободы (мини-сериал)1.1 Описание сериала1.2 Сюжет1.3 Актерский состав1.4 Производство и выпуск1.5 Прием и критика1.6 Дополнительная...
  20. Охотники (сериал, 2020) Оглавление1 Охотники (телесериал 2020 года)1.1 Описание сериала1.2 Сюжет1.3 Актерский состав и персонажи1.4 Производство1.5 Кастинг1.6 Еврейские персонажи...
  21. Код исправления ошибок – Arc.Ask3.Ru Оглавление1 Код для исправления ошибки1.1 Прямая коррекция ошибок (FEC)1.2 История и применение1.3 Обработка FEC1.4 Типы кодов1.5...
  22. Просто типизированное лямбда-исчисление Оглавление1 Просто набранное лямбда-исчисление1.1 Основы просто типизированного лямбда-исчисления1.2 Синтаксис и семантика1.3 Операции и типы1.4 Категориальная семантика...

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

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