Թեորեմների ապացուցում մեքենայական ուսուցման միջոցով

Ս.թ. մարտի 4-ին՝ ժամը 15։00-ին, ԵՊՀ մաթեմատիկայի և մեխանիկայի ֆակուլտետի 203 լսարանում Մաթեմատիկական և կիրառական հետազոտությունների կենտրոնի նախաձեռնությամբ կանցկացվի գիտական սեմինար՝ «Թեորեմների ապացուցում մեքենայական ուսուցման միջոցով» թեմայով:

Զեկույցով հանդես կգա ԵՊՀ ԻԿՄ ֆակուլտետի դիսկրետ մաթեմատիկայի և տեսական ինֆորմատիկայի ամբիոնի ասիստենտ Աշոտ Բաղդասարյանը։