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

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

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

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

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

2007

Հատոր:

107

Համար:

1

ISSN:

0321-1339

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

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

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

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

Պրոցեդուրային ծրագրավորման տրամաբանական մեկնաբանության մասին / Ս. Ա. Նիգիյան, Լ. О. Խաչոյան, Ա. Վ. Նիգիյան։ On Logical Interpretation of Procedural Programming / S. A. Nigiyan, L. O. Khachoyan, A. V. Nigiyan.

Աջակից(ներ):

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

Ծածկույթ:

20-25

Ամփոփում:

Աշխատանքում ցույց է տրված, թե ինչպես պրոցեդուրային ծրագրավորման լեզուն կարող է սահմանվել որպես տրամաբանական ծրագրավորման լեզու: Այդ նպատակով մտցվում է առաջին կարգի պրեդիկատների տրամաբանության վրա հիմնված տրամաբանական ծրագրավորման լեզվի գաղափարը: Ապացուցվում է, որ կամայական պրոցեդուրային ծրագիրը (եթե այն դիտարկել որպես տրամաբանական բանաձև) ունի փոքրագույն մոդել: Ապացուցվում է նաև, որ պրոցեդուրային ծրագրավորման լեզվի ինտերպրետատորը (եթե այն դիտարկել որպես տրամաբանական ծրագրավորման լեզու) տրամաբանորեն լրիվ է և անհակասելի: In this paper it is shown how the procedural programming language can be defined as the logical programming language. For this purpose the notion of the logical programming language based on the first-order predicate logic is introduced. It is proved that every procedural program (if it is regarded as the logical formula) has the least model. It is also proved that the interpreter of the procedural programming language (if it is regarded as the logical programming language) is logically complete and consistent.

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

Երևան

Հրատարակիչ:

ՀՀ ԳԱԱ հրատ.

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

2007-03-15

Ձևաչափ:

pdf

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

oai:arar.sci.am:46229

Դասիչ:

АЖ 144

Թվայնացում:

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

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

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