Дата семинара: Семинарист: Савельев Егор Монтажер: Кобзев А. Таймкоды: 00:00 начало 17:00 теорема о корректности и полноте 19:00 лемма о дедукции 23:30 задача 25 33:20 задача 26 39:05 возращаемся к 25.д 40:00 возвращаемся к 26 46:30 задача 27 01:11:30 задача 32 01:21:00 задача 33
Hide player controls
Hide resume playing