Комбинаторная логика

Вики

Комбинатор с фиксированной точкой

/

Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой — это функция, возвращающая фиксированную […]

Вики

Издеваться над пересмешником

/

Чтобы поиздеваться над пересмешником Описание книги «Поиздеваться над пересмешником» Автор: Рэймонд Смаллян, математик и логик  Год издания: 1985, ISBN 0-19-280142-2 

Вики

Бинарная комбинаторная логика

/

Бинарная комбинаторная логика Определение и основы BCL Двоичная комбинаторная логика использует двоичные символы для формулирования комбинаторной логики.  Комбинаторы S и

Вики

Система B, C, K, W

/

Система B, C, K, W Основы комбинаторной логики Система B, C, K, W использует примитивные комбинаторы для логики.  Открыта Хаскеллом

Вики

Йота и Джот

/

На йоту и Йоту больше Основы Йоты и Йот Йота и Йот — минималистичные формальные языки, разработанные для простоты.  Они

Вики

Комбинаторное исчисление SKI

/

ЛЫЖНЫЙ комбинаторный расчет Основы комбинаторной логики Комбинаторная логика — это система, которая позволяет создавать сложные выражения из простых комбинаций.  Она

Вики

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

/

Прикладные вычислительные системы Основы прикладных вычислительных систем ACS основаны на комбинаторной логике и лямбда-исчислении.  Основное понятие — представление объекта.  Комбинаторная

Вики

Комбинаторная логика

/

Комбинаторная логика Основы комбинаторной логики Комбинаторная логика — это формальная система, основанная на комбинаторах, введенных в 1924 году.  Комбинаторы —

Вики

Комбинаторная категориальная грамматика

/

Комбинаторно-категориальная грамматика Комбинаторно-категориальная грамматика (CCG) — формализм для описания синтаксиса и семантики языка.  CCG использует комбинаторные правила для создания языка,

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