Синонимы к слову «лямбда-исчисление»

Связанные слова и выражения

• индексатор, инвариантность, предикат, дескриптор, ассемблер, логицизм, модульность, решатель, отладчик, аппроксимация, контрпример, импликация, метафункция, итерация, семантика
• интерпретатор, инкапсуляция, интеграл, дифференцирование, интегрирование, выполнимость, функция, функционал, эквивалентность, обобщение, сходимость, алгебра, аргумент, гомология, аксиома
• макрос, инициализация, теория, размерность, подмножество, операнд, топология, комбинаторика
• присваивание, разбиение, отображение, многочлен, дизъюнкция

• модель вычислений
• сопоставление с образцом
• логика первого порядка
• исчисления предикатов
• абстрактный тип данных
• теория категорий
• нормальный алгоритм
• конечный автомат
• автоматическое доказательство
• метод итерации

• статическая типизация
• локально выпуклое пространство
• аддитивная комбинаторика
• поле класса
• параметрический полиморфизм
• взаимная рекурсия
• эллиптическая криптография
• бинарная операция
• синтаксическая диаграмма
• стандартная библиотека
• поиск с возвратом
• сравнение по модулю
• множественное наследование
• модульное разложение
• циклический код

Предложения со словом «лямбда-исчисление»

• Не говоря уже о системе лямбда-исчисления.
  Екатерина Флат, Академия Попаданцев, 2014
• (все предложения)

Значение слова «лямбда-исчисление»

• 1. формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости (Викисловарь)

  Все значения слова ЛЯМБДА-ИСЧИСЛЕНИЕ

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

Дополнительно

• Как правильно пишется слово «лямбда-исчисление»