Հրապարակման մանրամասներ:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
Ամսագրի կամ հրապարակման վերնագիր:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Հրապարակման ամսաթիւ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկութիւն:
կապին հետեւելուն համար սեղմէ հոս
Վերնագիր:
К логической трактовке процедурного программирования
Այլ վերնագիր:
Ստեղծողը:
С. А. Нигиян ; Л. О. Хачоян ; А. В. Нигиян
Աջակից(ներ):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Խորագիր:
Չվերահսկուող բանալի բառեր:
процедурный ; логический ; язык ; программирование ; интерпретатор.
Ծածկոյթ:
Ամփոփում:
Աշխատանքում ցույց է տրված, թե ինչպես պրոցեդուրային ծրագրավորման լեզուն կարող է սահմանվել որպես տրամաբանական ծրագրավորման լեզու: Այդ նպատակով մտցվում է առաջին կարգի պրեդիկատների տրամաբանության վրա հիմնված տրամաբանական ծրագրավորման լեզվի գաղափարը: Ապացուցվում է, որ կամայական պրոցեդուրային ծրագիրը (եթե այն դիտարկել որպես տրամաբանական բանաձև) ունի փոքրագույն մոդել: Ապացուցվում է նաև, որ պրոցեդուրային ծրագրավորման լեզվի ինտերպրետատորը (եթե այն դիտարկել որպես տրամաբանական ծրագրավորման լեզու) տրամաբանորեն լրիվ է և անհակասելի: 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.
Հրատարակութեան վայրը:
Երևան
Հրատարակիչ:
Ստեղծման ամսաթիւը:
Տեսակ:
Ձեւաչափ:
Դասիչ:
Թուայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան