Արտածումների բարդության հետազոտում ասույթային հաշվի մի շարք հայտնի և նոր կառուցված համակարգերում / Investigation of proof complexities in various known and newly constructed propositional calculus systems
Արտածումների բարդության հետազոտում ասույթային հաշվի մի շարք հայտնի և նոր կառուցված համակարգերում / Investigation of proof complexities in various known and newly constructed propositional calculus systems
| dc.contributor.author | Թամազյան, Հակոբ Արամի / Tamazyan Hakob | |
| dc.date.accessioned | 2025-03-12T10:28:15Z | |
| dc.date.available | 2025-03-12T10:28:15Z | |
| dc.date.issued | 2024 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2024 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Է. Մ. Պողոսյան, Հ. Ռ. Բոլիբեկյան ; Առաջատար կազմակերպություն Հայ-ռուսակական (Սլավոնական) համալսարան ; Սեղմագիր՝ 23 էջ։ | |
| dc.description.abstract | Ատենախոսական աշխատանքի նպատակն է արտածումների որոշ հայտնի համակարգերում, արտածումների տարատեսակներում տարբեր բարդության բնութագրիչների հետազոտությունը, ինչպես նաև նոր համակարգերի կառուցումը, նպատակ ունենալով արտածման համակարգերի ըստ արդյունավետության բաղդատման ճշգրտումը / В диссертации изучаются основные характеристики сложности доказательств как в некоторых известных пропозициональных системах классической логики, так и в ряде вновь построенных систем, что позволило внести ряд уточнений в известную иерархию пропозициональных систем / This dissertation studies the main complexity characteristics of proofs in both some known propositional systems of classical logic and a number of newly constructed systems, which made it possible to introduce a number of refinements into the well-known hierarchy of propositional system | |
| dc.identifier.uri | https://dspace.nla.am/handle/123456789/13222 | |
| dc.language.iso | arm | |
| dc.pages | Սեղմագիր՝ 23 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | Երևանի պետական համալսարան | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Արտածումների բարդության հետազոտում ասույթային հաշվի մի շարք հայտնի և նոր կառուցված համակարգերում / Investigation of proof complexities in various known and newly constructed propositional calculus systems | |
| dc.type | Abstract | |
| eperson.lastname | NM |