Предзащита дипломных работ студентов кафедры математической логики

Presentation of master's thesis by students of the department of Mathematical logic:
Alexander Lebedkin: "Optimisation of the search of weighted even factor in a weighted two-directed graph where all cycles of even length are symmetric".
Alexander Melnikov: "Algorithms of prenatal screening".