Значення

значень: 1

  1. To syntactically replace a function call by the result of calling that function.

    The term (#92;lambdax.#92;,x)#92;,y can beta reduce to y#92;#33;.

Форми

beta reduces, beta reducing, beta reduced, beta reduced
Базова формаbeta reduce · to beta reduce
3-я особа одниниbeta reduces
Дієприкметник теперішнього часуbeta reducing
Минулий часbeta reduced
Дієприкметник минулого часуbeta reduced

правильне

Present simpleУрок

I, you, we, theybeta reduce
he, she, itbeta reduces

Past simpleУрок

усі особиbeta reduced

Present perfectУрок

I, you, we, theyhave beta reduced
he, she, ithas beta reduced

Future simple (will)Урок

усі особиwill beta reduce

Спільнокореневі

пов’язаних слів: 1
Пов’язаніbeta reduction

Уроки до слова

уроків: 3

Дивіться також

сусідні слова
betB1betabetelbethbetrayB2betrayal
beta reduce — значення, приклади, форми, синоніми | Krumeto