Еффективность разновидностей правила подстановки для классических и неклассических логических систем / Տեղադրության կանոնի տարատեսակների էֆեկտիվությունը դասական և ոչ դասական տրամաբանական համակարգերի համար / Efficiency of substitution rule modifications for classical and non-classical logical systems
Еффективность разновидностей правила подстановки для классических и неклассических логических систем / Տեղադրության կանոնի տարատեսակների էֆեկտիվությունը դասական և ոչ դասական տրամաբանական համակարգերի համար / Efficiency of substitution rule modifications for classical and non-classical logical systems
| dc.contributor.author | Նալբանդյան, Հակոբ Սիմոնի / Nalbandyan Hakob | |
| dc.date.accessioned | 2023-03-03T07:26:31Z | |
| dc.date.available | 2023-03-03T07:26:31Z | |
| dc.date.issued | 2011 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբերնետիկա և մաթեմատիկական տրամաբանության» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2011 ; Ատենախոսության թեման հաստատվել է ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Բ. Մարանջյան, Հ. Ռ. Բոլիբեկյան ; Առաջատար կազմակերպություն՝ Հայ-ռուսական (Սլավոնական) համալսարան ; Սեղմագիր՝ 20 էջ։ | |
| dc.description.abstract | В диссертационной работе для классического, интуиционистского и минимального исчисления высказываний исследована эффективность различных модификаций правила подстановки с точки зрения двух основных критериев сложностных характеристик выводов: количества различных формул вывода и общей длины вывода / Աշխատանքում համեմատված են դասական, ինտուիցիոնիստական և մինիմալ ասույթային հաշվի տարբեր համակարգեր ըստ նրանցում ապացուցվող բանաձևերի արտածման բարդության տարբեր բնութագրիչների արտածման քայլերի քանակի և արտածման երկարության / In this thesis some proof systems of classical, intuitionistic and minimal pro positional logics are compared by different characteristics of proof complexity (by the number of steps and by sizes) for the formulas, proved in these systems | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/1900 | |
| dc.language.iso | rus | |
| dc.pages | Սեղմագիր՝ 20 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | Երևանի պետական համալսարան | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Еффективность разновидностей правила подстановки для классических и неклассических логических систем / Տեղադրության կանոնի տարատեսակների էֆեկտիվությունը դասական և ոչ դասական տրամաբանական համակարգերի համար / Efficiency of substitution rule modifications for classical and non-classical logical systems | |
| dc.type | Abstract | |
| eperson.lastname | NT |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- abs4275_nalbandyan_ocr.pdf
- Size:
- 424.93 KB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed to upon submission
- Description: