ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

К логической трактовке процедурного программирования

Нигиян, С. А. and Хачоян, Л. О. and Нигиян, А. В. (2007) К логической трактовке процедурного программирования. ՀՀ ԳԱԱ Զեկույցներ, 107 (1). pp. 20-25. ISSN 0321-1339

[img]PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
194Kb

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.

Item Type:Article
Additional Information:Պրոցեդուրային ծրագրավորման տրամաբանական մեկնաբանության մասին / Ս. Ա. Նիգիյան, Լ. О. Խաչոյան, Ա. Վ. Նիգիյան։ On Logical Interpretation of Procedural Programming / S. A. Nigiyan, L. O. Khachoyan, A. V. Nigiyan.
Uncontrolled Keywords:процедурный, логический, язык, программирование, интерпретатор.
Subjects:Q Science > QA Mathematics
ID Code:2570
Deposited By:NAS Reports
Deposited On:26 Mar 2012 15:31
Last Modified:13 Mar 2014 08:16

Repository Staff Only: item control page