Список файлов

Перейти к: навигация, поиск

Эта служебная страница показывает все загруженные файлы.

Список файлов
Записей на страницу:
Поиск по имени файла:
Имя участника:
Включить старые версии изображений

убывДата Имя файла Миниатюра Размер Участник Описание Версий
17:49, 10 сентября 2023 MLLP VP 09.pdf (файл) 167 КБ PodymovVV 2023-2024. Теперь здесь про подстановки 3
17:48, 10 сентября 2023 MLLP VP 07.pdf (файл) 125 КБ PodymovVV 2023-2024. Без существенных изменений 3
17:46, 10 сентября 2023 MLLP VP 05.pdf (файл) 85 КБ PodymovVV 2023-2024. Без существенных изменений 3
17:44, 10 сентября 2023 MLLP VP 04.pdf (файл) 171 КБ PodymovVV опечатки 4
17:44, 10 сентября 2023 MLLP VP 03.pdf (файл) 291 КБ PodymovVV Опечатки, уточнения 4
17:38, 10 сентября 2023 Verif VP sem01.pdf (файл) 161 КБ PodymovVV 2023-2024. Без существенных изменений 4
17:35, 10 сентября 2023 Verif VP 07.pdf (файл) 70 КБ PodymovVV 2023-2024. Теперь тут общая схема метода модел чекин 6
17:35, 10 сентября 2023 Verif VP 06.pdf (файл) 140 КБ PodymovVV 2023-2024. Теперь тут про возможности автоматизации дедуктивного анализа программ и про слабейшее предусловие 3
17:34, 10 сентября 2023 Verif VP 05.pdf (файл) 215 КБ PodymovVV 2023-2024. Теперь тут про аннотированные программы 4
17:34, 10 сентября 2023 Verif VP 04.pdf (файл) 200 КБ PodymovVV 2023-2024. Теперь тут про дедуктивную верификацию программ в целом и про логику Хоара 5
17:31, 10 сентября 2023 Verif VP 02.pdf (файл) 206 КБ PodymovVV опечатки 6
14:31, 5 сентября 2023 HDL VP 02.pdf (файл) 177 КБ PodymovVV Языки описания схем, блок 2. Напоминания: БФ, СФЭ 1
14:31, 5 сентября 2023 HDL VP 01.pdf (файл) 132 КБ PodymovVV Языки описания схем, блок 1 (оргвопросы) 1
16:49, 3 сентября 2023 Verif VP 01.pdf (файл) 188 КБ PodymovVV 2023/2024, без сверхсущественных изменений 4
16:40, 3 сентября 2023 MLLP VP 02.pdf (файл) 167 КБ PodymovVV 2023/2024, без существенных изменений 3
16:39, 3 сентября 2023 MLLP VP 01.pdf (файл) 172 КБ PodymovVV 2023/2024, без существенных изменений 3
18:54, 8 мая 2023 Mathlog 318 b53.pdf (файл) 192 КБ PodymovVV Математическая логика для 318, блок 53. Алгоритм model checking для ctl 1
18:54, 8 мая 2023 Mathlog 318 b52.pdf (файл) 153 КБ PodymovVV Математическая логика для 318, блок 52. Темпоральные формулы как спецификации 1
18:53, 8 мая 2023 Mathlog 318 b51.pdf (файл) 116 КБ PodymovVV Математическая логика для 318, блок 51. Системы переходов 1
18:53, 8 мая 2023 Mathlog 318 b50.pdf (файл) 133 КБ PodymovVV Математическая логика для 318, блок 50. Верификация распределённых систем. Вступление про model checking 1
18:51, 8 мая 2023 Mathlog 318 b49.pdf (файл) 254 КБ PodymovVV перекинул один слайд в 48 2
11:44, 2 мая 2023 DAS VP 43.pdf (файл) 131 КБ PodymovVV Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 43. Paxos 1
11:44, 2 мая 2023 DAS VP 42.pdf (файл) 88 КБ PodymovVV Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 42. Задача консенсуса 1
11:42, 2 мая 2023 DAS VP 41.pdf (файл) 77 КБ PodymovVV Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 41. Отказоустойчивость, неисправности, принятие решения 1
23:51, 25 апреля 2023 DAS VP 33.pdf (файл) 213 КБ PodymovVV опечатка 6
18:53, 25 апреля 2023 DAS VP 39.pdf (файл) 127 КБ PodymovVV опечатка 2
18:51, 25 апреля 2023 DAS VP 38.pdf (файл) 127 КБ PodymovVV была ошибка в обосновании корректности 2
22:57, 24 апреля 2023 DAS VP 40.pdf (файл) 108 КБ PodymovVV Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 40. Обнаружение завершения вычислений: алгоритм возвращения кредита 1
22:55, 24 апреля 2023 DAS VP 37.pdf (файл) 114 КБ PodymovVV Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 37. Задача обнаружения завершения вычислений 1
13:40, 24 апреля 2023 DAS VP 34.pdf (файл) 170 КБ PodymovVV Опечатка в нумерации домашних задач 3
18:38, 18 апреля 2023 DAS VP 35.pdf (файл) 111 КБ PodymovVV опечатки 2
02:49, 18 апреля 2023 DAS VP 36.pdf (файл) 97 КБ PodymovVV Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 36. Алгоритм Лаи-Янга (сохранение снимка) 1
15:56, 13 апреля 2023 MMSC VP 25.pdf (файл) 151 КБ PodymovVV опечатки разной степени грубости 2
15:56, 13 апреля 2023 MMSC VP 24.pdf (файл) 172 КБ PodymovVV опечатки 2
17:08, 11 апреля 2023 DAS VP 32.pdf (файл) 95 КБ PodymovVV опечатки 2
12:42, 6 апреля 2023 MMSC VP 23.pdf (файл) 104 КБ PodymovVV опечатки 2
12:41, 6 апреля 2023 MMSC VP 22.pdf (файл) 177 КБ PodymovVV опечатки 2
12:41, 6 апреля 2023 MMSC VP 21.pdf (файл) 181 КБ PodymovVV опечатки 2
12:41, 6 апреля 2023 MMSC VP 20.pdf (файл) 190 КБ PodymovVV опечатки 2
18:50, 4 апреля 2023 DAS VP 31.pdf (файл) 88 КБ PodymovVV опечатки 2
18:50, 4 апреля 2023 DAS VP 30.pdf (файл) 138 КБ PodymovVV опечатки 2
18:50, 4 апреля 2023 DAS VP 29.pdf (файл) 148 КБ PodymovVV опечатки 2
10:45, 4 апреля 2023 DAS VP 28.pdf (файл) 91 КБ PodymovVV Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 28. Алгоритмы избрания лидера (определения, допущения, волны) 1
12:21, 30 марта 2023 MMSC VP 19.pdf (файл) 186 КБ PodymovVV опечатки 2
12:21, 30 марта 2023 MMSC VP 18.pdf (файл) 154 КБ PodymovVV опечатки 2
12:20, 30 марта 2023 MMSC VP 17.pdf (файл) 111 КБ PodymovVV опечатки 2
12:20, 30 марта 2023 MMSC VP 16.pdf (файл) 123 КБ PodymovVV опечатки 2
12:20, 30 марта 2023 MMSC VP 15.pdf (файл) 173 КБ PodymovVV опечатки 2
12:20, 30 марта 2023 MMSC VP 14.pdf (файл) 202 КБ PodymovVV опечатки 4
19:11, 28 марта 2023 DAS VP 27.pdf (файл) 102 КБ PodymovVV опечатки 2

Первая страница
Первая страница
Последняя страница
Последняя страница