Տրամաբանական որոշ համակարգերում արտածումների բարդության գնահատականների ճշգրտումը
Տրամաբանական որոշ համակարգերում արտածումների բարդության գնահատականների ճշգրտումը
| dc.contributor.author | Ճիտոյան, Արման Սամվելի / Tchitoyan Arman | |
| dc.date.accessioned | 2023-02-08T09:56:13Z | |
| dc.date.available | 2023-02-08T09:56:13Z | |
| dc.date.issued | 2018 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2018 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Ի. Դ. Զասլավսկի, Ս. Մ. Սայադյան ; Առաջատար կազմակերպություն՝ Հայ-ռուսական համալսարան ; Ատենախոսություն՝ 90 էջ, սեղմագիր՝ 22 էջ։ | |
| dc.description.abstract | Արտածումների բարդության տեսությունը ուսումնասիրում է բարդության գաղափարը տրամաբանության տեսանկյունից: Թեորեմի ապացուցման բարդության մեծությունը կարելի է նկարագրել տարբեր եղանակներով՝ ինչպիսին են տրված համակարգում նրա կարճագույն ապացույցի երկարությունը (size), քայլերի քանակը (steps), օգտագործված տարածության մեծությունը (space), յուրաքանչյուր քայլում օգտագործված պնդումների մեծագույն երկարությունը (width) / В диссертации исследованы два основных направления количественного изучения пропозициональных систем выводов двузначной и многозначных логик: оценки величин различных сложностных характеристик выводов для ряда новых пропозициональных систем, уточнение ряда известных нижних и верхних оценок длин и шагов выводов для некоторых традиционных систем выводов / Two main subjects of this thesis for two-valued and many-valued in different propositional systems for steps and sizes of proofs in are the quantitative studies of propositional proof systems logics: investigations of different proof complexity measures and improvement of some known lower and upper bounds some systems | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/1141 | |
| dc.language.iso | arm | |
| dc.pages | Ատենախոսություն՝ 90 էջ, սեղմագիր՝ 22 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | Երևանի պետական համալսարան | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Տրամաբանական որոշ համակարգերում արտածումների բարդության գնահատականների ճշգրտումը | |
| dc.type | Thesis | |
| dc.type | Abstract | |
| eperson.lastname | NT |
Files
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: