Исследование сложностных характеристик выводов в логических и логико-математических системах / Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութագրիչների հետազոտում / An investigation of the proofs complexities in the logic and logic-mathematical system
Исследование сложностных характеристик выводов в логических и логико-математических системах / Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութագրիչների հետազոտում / An investigation of the proofs complexities in the logic and logic-mathematical system
| dc.contributor.author | Չուբարյան, Անահիտ Արտաշեսի / Chubaryan Anahit | |
| dc.date.accessioned | 2024-03-29T12:11:29Z | |
| dc.date.available | 2024-03-29T12:11:29Z | |
| dc.date.issued | 2007 | |
| dc.description | Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ Ֆիզիկամաթեմատիկական գիտությունների դոկտորի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2007 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Պաշտոնական ընդդիմախոսներ՝ Ի Դ. Զասլավսկի, Վ. Բ. Ալեկսեն, Վ. Պ. Օրևկով ; Առաջատար կազմակերպություն՝ ՈԴ ԳԱ Մ. Կելդիշի անվան կիրառական մաթեմատիկայի ինստիտուտ ; Սեղմագիր՝ 31 էջ։ | |
| dc.description.abstract | Диссертационная работа посвящена исследованию сложностных характеристик выводов в различных модификациях классического, интуиционистского минимального систем исчисления высказываний, исчисления предикатов формальной арифметики / Ներկայացված ատենախոսությունում հետազոտված են արտածումների բարդության բնութագրիչները ասույթային հաշվի, պրեդիկատային հաշվի և ֆորմալ թվաբանության դասական, ինտուիցիոնիստական և մինիմալ համակարգերի տարբեր ձևափոխումներում | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/9758 | |
| dc.language.iso | rus | |
| dc.pages | Սեղմագիր՝ 31 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ | |
| dc.subject | Ֆիզիկամաթեմատիկական գիտություններ / Mathematics & Physics | |
| dc.title | Исследование сложностных характеристик выводов в логических и логико-математических системах / Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութագրիչների հետազոտում / An investigation of the proofs complexities in the logic and logic-mathematical system | |
| dc.type | Abstract | |
| eperson.lastname | NT |