Հրապարակման մանրամասներ:

"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:

Ամսագրի կամ հրապարակման վերնագիր:

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

Հրապարակման ամսաթիվ:

2001

Հատոր:

101

Համար:

1

ISSN:

0321-1339

Պաշտոնական URL:

Լրացուցիչ տեղեկություն:

սեղմիր այստեղ կապին հետևելու համար

Այլ վերնագիր:

Ոչ-տիպային λ-հաշվում անջատվող փոփոխականով ռեկուրսիվ հավասարումների լուծումների մասին։ 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-)

Ծածկույթ:

12-19

Ամփոփում:

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

Հրատարակության վայրը:

Երևան

Հրատարակիչ:

ՀՀ ԳԱԱ հրատ.

Ստեղծման ամսաթիվը:

2001-03-15

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:45824

Դասիչ:

АЖ 144

Թվայնացում:

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

Բնօրինակի գտնվելու վայրը:

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