Մաթեմատիկայի և մեխանիկայի ֆակուլտետ, 203 լսարան
Երկուշաբթի, մարտ 4, 2024
Ս.թ. մարտի 4-ին՝ ժամը 15:00-ին, ԵՊՀ մաթեմատիկայի և մեխանիկայի ֆակուլտետի 203 լսարանում կանցկացվի սեմինար՝ «Թեորեմների ապացուցում մեքենայական ուսուցման միջոցով» խորագրով:
Սեմինարը նվիրված է լինելու նեյրոնային ցանցերի օգտագործմամբ թեորեմների ապացույցներ ստանալու խնդիրներին: