Список файлов
Эта служебная страница показывает все загруженные файлы.
Дата | Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
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 | |
19:04, 28 марта 2023 | DAS VP 25.pdf (файл) | 217 КБ | PodymovVV | ещё опечатки | 3 | |
19:04, 28 марта 2023 | DAS VP 24.pdf (файл) | 228 КБ | PodymovVV | ещё опечатки | 3 | |
17:39, 28 марта 2023 | DAS VP 26.pdf (файл) | 160 КБ | PodymovVV | опечатки | 2 | |
14:15, 23 марта 2023 | Требования к ВКР 418.pdf (файл) | 72 КБ | PodymovVV | 2023 | 2 | |
14:15, 23 марта 2023 | Требования к МД 618.pdf (файл) | 72 КБ | PodymovVV | 2023 | 2 | |
12:40, 23 марта 2023 | MMSC VP 13.pdf (файл) | 179 КБ | PodymovVV | опечатки | 2 | |
12:40, 23 марта 2023 | MMSC VP 12.pdf (файл) | 151 КБ | PodymovVV | опечатки | 2 | |
19:15, 21 марта 2023 | DAS VP 23.pdf (файл) | 278 КБ | PodymovVV | опечатки и грубая ошибка в доказательстве | 2 | |
18:34, 21 марта 2023 | DAS VP 22.pdf (файл) | 141 КБ | PodymovVV | опечатки | 2 | |
14:04, 21 марта 2023 | DAS VP 21.pdf (файл) | 159 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 21. Общее про волновые алгоритмы | 1 | |
19:33, 17 марта 2023 | DAS VP 14.pdf (файл) | 213 КБ | PodymovVV | и еще опечатка | 4 | |
19:12, 17 марта 2023 | MMSC VP 11.pdf (файл) | 192 КБ | PodymovVV | опечатки | 2 | |
19:12, 17 марта 2023 | MMSC VP 10.pdf (файл) | 142 КБ | PodymovVV | опечатки | 2 | |
19:10, 17 марта 2023 | DAS VP 20.pdf (файл) | 139 КБ | PodymovVV | и ещё опечатка | 3 | |
18:05, 15 марта 2023 | MMSC VP 02.pdf (файл) | 221 КБ | PodymovVV | опечатки | 3 | |
19:25, 14 марта 2023 | DAS VP 19.pdf (файл) | 123 КБ | PodymovVV | опечатки | 2 |
Первая страница |
Предыдущая страница |
Следующая страница |
Последняя страница |