Исследование сложностных характеристик выводов в логических и логико-математических системах / Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութագրիչների հետազոտում / An investigation of the proofs complexities in the logic and logic-mathematical system

dc.contributor.authorՉուբարյան, Անահիտ Արտաշեսի / Chubaryan Anahit
dc.date.accessioned2024-03-29T12:11:29Z
dc.date.available2024-03-29T12:11:29Z
dc.date.issued2007
dc.descriptionԱ.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ Ֆիզիկամաթեմատիկական գիտությունների դոկտորի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2007 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Պաշտոնական ընդդիմախոսներ՝ Ի Դ. Զասլավսկի, Վ. Բ. Ալեկսեն, Վ. Պ. Օրևկով ; Առաջատար կազմակերպություն՝ ՈԴ ԳԱ Մ. Կելդիշի անվան կիրառական մաթեմատիկայի ինստիտուտ ; Սեղմագիր՝ 31 էջ։
dc.description.abstractДиссертационная работа посвящена исследованию сложностных характеристик выводов в различных модификациях классического, интуиционистского минимального систем исчисления высказываний, исчисления предикатов формальной арифметики / Ներկայացված ատենախոսությունում հետազոտված են արտածումների բարդության բնութագրիչները ասույթային հաշվի, պրեդիկատային հաշվի և ֆորմալ թվաբանության դասական, ինտուիցիոնիստական և մինիմալ համակարգերի տարբեր ձևափոխումներում
dc.identifier.urihttp://dspace.nla.am/handle/123456789/9758
dc.language.isorus
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.typeAbstract
eperson.lastnameNT
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
abs8456_chubaryan_ocr.pdf
Size:
3.33 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description: