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

О нижних оценках выводов в системах Фреге с подстановками

Чубарян, А. А. (2000) О нижних оценках выводов в системах Фреге с подстановками. ՀՀ ԳԱԱ Զեկույցներ, 100 (3). pp. 223-227. ISSN 0321-1339

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

Abstract

Հոդվածում ապացուցված Է, որ գոյություն ունեն O(n) երկարության նույնաբանություններ, որոնց արտածման քայլերի քանակը և երկարությունը գնահատվում են համապատասխանաբար O(n) և O(n2) կարգի ֆունկցիաներով և' Ֆրեգեյի համակարգում, և' պարզ տեղադրության կանոնը պարունակող Ֆրեգեի համակարգում: Ապացույցը տրվում Է հոդվածում ներմուծված նույնաբանությունների Էական ենթաբանաձևերի գաղափարի հիման վրա:

Item Type:Article
Additional Information:Տեղադրության գործողությունը պարունակող Ֆրեգեի համակարգերի արտածումների բարդության վերաբերյալ։ The complexity in Frege proofs with substitution.
Uncontrolled Keywords:Չուբարյան Ա. Ա., Chubaryan A. A.
Subjects:Q Science > Q Science (General)
ID Code:278
Deposited By:NAS Reports
Deposited On:15 Jun 2011 12:16
Last Modified:13 Mar 2014 08:17

Repository Staff Only: item control page