Publication Details:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
Journal or Publication Title:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Date of publication:
Volume:
Number:
ISSN:
Official URL:
Additional Information:
Title:
К логической трактовке процедурного программирования
Other title:
Creator:
С. А. Нигиян ; Л. О. Хачоян ; А. В. Нигиян
Contributor(s):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Subject:
Uncontrolled Keywords:
процедурный ; логический ; язык ; программирование ; интерпретатор.
Coverage:
Abstract:
Աշխատանքում ցույց է տրված, թե ինչպես պրոցեդուրային ծրագրավորման լեզուն կարող է սահմանվել որպես տրամաբանական ծրագրավորման լեզու: Այդ նպատակով մտցվում է առաջին կարգի պրեդիկատների տրամաբանության վրա հիմնված տրամաբանական ծրագրավորման լեզվի գաղափարը: Ապացուցվում է, որ կամայական պրոցեդուրային ծրագիրը (եթե այն դիտարկել որպես տրամաբանական բանաձև) ունի փոքրագույն մոդել: Ապացուցվում է նաև, որ պրոցեդուրային ծրագրավորման լեզվի ինտերպրետատորը (եթե այն դիտարկել որպես տրամաբանական ծրագրավորման լեզու) տրամաբանորեն լրիվ է և անհակասելի: 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.
Place of publishing:
Երևան
Publisher:
Date created:
Type:
Format:
Call number:
Digitization:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան