2022 m. birželio 6 d. 16 val. VU Matematikos ir informatikos fakulteto Jono Kubiliaus vardo (102 aud.) auditorijoje (Naugarduko g. 24) vyks Vytenio Šumsko matematikos krypties disertacijos viešas gynimas.
Pirmadienį (gegužės 23 d.) 13 val. sistemų analizės seminare (MS Teams aplinkoje) doktorantūros studijų rezultatus pristatys Karolis Noreika „Taikomųjų programų kūrimo proceso įvertinimas naudojant patobulintą Agile projektų valdymo metodą“.
The aim of this series of lectures is to give a brief introduction to formalization of mathematics in LEAN-3 , a proof assistant which has recently proven to be particular well-suited for encoding modern mathematics.
Siekdami užtikrinti jums teikiamų paslaugų kokybę, Universiteto tinklalapiuose naudojame slapukus. Tęsdami naršymą jūs sutinkate su Vilniaus universiteto slapukų politika. Daugiau informacijos