Publication Details:

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

Journal or Publication Title:

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

Date of publication:

2002

Volume:

102

Number:

1

ISSN:

0321-1339

Official URL:

Additional Information:

click here to follow the link

Other title:

Հոսքային պատահարային կառուցվածքների հաշվարկների լեզուների տրամաբանական ներկայացումը։ Представление языков вычислений в одном классе событийных структур в логических языках.

Contributor(s):

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

Coverage:

16-22

Abstract:

Դիտարկվում են բախշված համակարգերի մոդելներից մեկի` համասեռ պատահարային կառուցվածքների, հաշվարկների լեզուները և նրանց տրամաբանական ներկայացումը: Ապացուցվում է, որ անվերջ կոնֆիգուրացիաների լեզուները ներկայացվում են մեկտեղանի երկրորդ կարգի պրեդիկատների տրամաբանության մեջ: Ապացուցող հաջորդականությունների լեզուները ներկայացվում են վերջավոր մեկտեղանի պրեդիկատներով ընդլայնված Պրեսբուրգերի տրամաբանությունում: Рассматриваются языки вычислений в одном классе моделей распределенных вычислений - однородных событийных структур - и их представимость в логических языках. Языки бесконечных конфигураций представимы в логике одноместных предикатов второго порядка. Языки доказывающих последовательностей представимы в логике Пресбургера, дополненной конечным множеством одноместных предикатов.

Place of publishing:

Երևան

Publisher:

ՀՀ ԳԱԱ հրատ.

Date created:

2002-03-15

Format:

pdf

Identifier:

oai:arar.sci.am:45893

Call number:

АЖ 144

Digitization:

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

Location of original object:

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