Список файлов
Эта служебная страница показывает все загруженные файлы.
![]() |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
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 |
![]() Первая страница |
![]() Предыдущая страница |
![]() Следующая страница |
![]() Последняя страница |