Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 12:23, 24 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (осень 2019. перестановка условий, несколько мелких правок)
- 22:20, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf»
- 17:55, 12 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf»
- 09:44, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (урезан согласно фактически разобранному, исправлены опечатки)
- 07:57, 27 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (2017 год, новое оформление, поправленные опечатки)
- 17:13, 28 сентября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (исправлена опечатка на последнем слайде)
- 17:08, 28 сентября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 2.pdf» (618 группа, математические методы верификации схем и программ, семинар по моделям Крипке, логикам CTL, LTL, справедливости)