Что является следствием теоремы стандартизации? применение - Ответ на вопрос по ФП №1296422
-42%
Вопрос
Что является следствием теоремы стандартизации?- применение нормального порядка редукции позволяет всегда получить нормальную форму
- применение аппликативного порядка редукции позволяет всегда получить нормальную форму
- если нам удалось редуцировать выражение до нормальной формы, то эта форма единственная, вне зависимости от порядка редукции
- если нам удалось редуцировать выражение до нормальной формы, то эта форма единственная с точностью до альфа-преобразования, вне зависимости от порядка редукции
Ответ
Этот вопрос в коллекциях
🎓 Поможем сдать всё — тесты, практику, экзамены, курсовые, дипломы, отчёты! Закроем долги под ключ 🔑 Ведём от первой сессии до диплома 🏆 Работаем с Синергией, МЭИ и другими вузами 🤝 Гарантия результата или возврат денег 💰 Пиши! 🚀
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
