Исследование сложностных характеристик выводов в логических и логико-математических системах / Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութագրիչների հետազոտում / An investigation of the proofs complexities in the logic and logic-mathematical system
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
Abstract
Диссертационная работа посвящена исследованию сложностных характеристик выводов в различных модификациях классического, интуиционистского минимального систем исчисления высказываний, исчисления предикатов формальной арифметики / Ներկայացված ատենախոսությունում հետազոտված են արտածումների բարդության բնութագրիչները ասույթային հաշվի, պրեդիկատային հաշվի և ֆորմալ թվաբանության դասական, ինտուիցիոնիստական և մինիմալ համակարգերի տարբեր ձևափոխումներում
Description
Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ Ֆիզիկամաթեմատիկական գիտությունների դոկտորի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2007 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Պաշտոնական ընդդիմախոսներ՝ Ի Դ. Զասլավսկի, Վ. Բ. Ալեկսեն, Վ. Պ. Օրևկով ; Առաջատար կազմակերպություն՝ ՈԴ ԳԱ Մ. Կելդիշի անվան կիրառական մաթեմատիկայի ինստիտուտ ; Սեղմագիր՝ 31 էջ։