Главная /
Введение в теорию программирования. Функциональный подход /
Что отличает ламбда-исчисление от булевой логики?
Что отличает ламбда-исчисление от булевой логики?
вопросПравильный ответ:
ламбда-исчисление адекватно формализует процесс программирования
булева логика более наглядно формализует процесс программирования
существенных различий нет
Сложность вопроса
93
Сложность курса: Введение в теорию программирования. Функциональный подход
37
Оценить вопрос
Комментарии:
Аноним
Какой студент ищет эти вопросы интуит? Это же элементарно (я не ботан)
14 мар 2020
Аноним
Спасибо за решебник по intuit.
04 июл 2016
Другие ответы на вопросы из темы программирование интуит.
- # Какая формализация относится к операционным семантикам?
- # Какие объекты могут определяться рекурсивно?
- # Какие операции характерны для перехода от комбинаторной логики к категориальной комбинаторной логике?
- # Какие условия необходимы для формирования декартовых категорий?
- # Какие символы являются специальными в алфавите формальной системы комбинаторной логики?