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