Արտածումների բարդության հետազոտում ասույթային հաշվի մի շարք հայտնի և նոր կառուցված համակարգերում / 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
No Thumbnail Available
Date
2024
Authors
Թամազյան, Հակոբ Արամի / Tamazyan Hakob
Journal Title
Journal ISSN
Volume Title
Publisher
Երևանի պետական համալսարան
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
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2024 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ա. Ա. Չուբարյան ; Պաշտոնական ընդդիմախոսներ՝ Է. Մ. Պողոսյան, Հ. Ռ. Բոլիբեկյան ; Առաջատար կազմակերպություն Հայ-ռուսակական (Սլավոնական) համալսարան ; Սեղմագիր՝ 23 էջ։
Keywords
Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics