Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 10:45, 20 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (2019. обновил год, остальное то же)
- 16:35, 15 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (вывернул определение логики tctl, чтобы было проще всё анализировать)
- 18:42, 14 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (обновлённая версия, более милая и понятная)
- 19:55, 28 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (поправлен баг в определении оператора U в TCTL)
- 11:09, 22 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (обновлённая и урезанная версия)
- 02:35, 5 декабря 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf»
- 02:22, 5 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 9.pdf» (математические методы верификации схем и программ, лекция 9: временные автоматы)