Журнал загрузок
Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)- 17:43, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 38.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 38. ХЛП: деревья вычислений, стратегии вычисления, стандартная стратегия)
- 17:40, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 37.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 37. ХЛП: переключательная лемма, сильная полнота операционной семантики, стандартное правило выбора подц…)
- 17:40, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 36.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 36. ХЛП, сравнение семантик)
- 14:39, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 21.pdf» (Методы верификации (618, 621). Блок 21. Символьный алгоритм для CTL, преобразователи предикатов, неподвижные точки)
- 07:54, 31 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч4 2022-2.pdf»
- 07:54, 31 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч2 2022-2.pdf»
- 07:54, 31 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч1 2022-2.pdf»
- 07:54, 31 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций В 2022-2.pdf»
- 22:01, 30 октября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l3-selezn.pdf»
- 19:22, 28 октября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l6-selezn.pdf»
- 16:53, 26 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP sem03.pdf» (Методы верификации (618, 621). Семинар 3. CTL, базовый алгоритм model checking, BDD.)
- 15:13, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 20.pdf» (Исправлены опечатки)
- 15:13, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 19.pdf» (Исправлены опечатки)
- 14:22, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 35.pdf» (Исправлены опечатки, улучшено представление одного из доказательств (добавлена картинка, которую рисовал на лекции))
- 14:21, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 33.pdf» (Исправлены опечатки)
- 14:21, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 32.pdf» (Исправлены опечатки)
- 14:20, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 31.pdf» (Исправлены опечатки)
- 13:16, 25 октября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-10-28.pdf»
- 13:04, 24 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 20.pdf» (Методы верификации (618, 621). Блок 20. BDD)
- 13:03, 24 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 19.pdf» (Методы верификации (618, 621). Блок 19. Символьные представления моделей)