Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 14:04, 26 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (2019. Добавил пару картинок)
- 20:04, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (суперулучшенный вариант (2018))
- 21:11, 31 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (переиначен рассказ о табличном алгоритме + мелкие стилистические правки)
- 18:17, 8 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf»
- 14:12, 2 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf»
- 14:05, 2 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 7.pdf» (математические методы верификации схем и программ. лекция 7: табличный и автоматный алгоритмы проверки LTL-формул и около того)