О решениях рекурсивных уравнений с отделяющейся переменной в бестиповом λ-исчислении

Ոչ-տիպային λ-հաշվում անջատվող փոփոխականով ռեկուրսիվ հավասարումների լուծումների մասին։ On solutions of recursive equations with separable variable in untyped λ-calculus.

С. А. Нигиян ; С. А. Аветисян

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Mathematics ; Science

Նիգիյան Ս. Ա. ; Ավետիսյան Ս. Ա. ; Nigiyan S. A. ; Avetisyan S. A.

12-19

Ներկայացվող աշխատանքը վերաբերվում է ոչ-տիպային λ-հաշվին: Նրանում դիտարկվում են f=t[f] տեսքի հավասարումներ, որտեղ f‐ը փոփոխականն է, t[f] ‐ը` տերմը, որը, ընդհանրապես ասած, կախված է f ‐ից: Այդպիսի հավասարման լուծում է հանդիսանում հետևյալ τ տերմը` τ=βt[τ]:

Երևան

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան