Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 20:14, 26 ноября 2023 | MLLP VP 51.pdf (файл) |  |
164 КБ | PodymovVV | 2023-2024. без существенных изменений | 2 |
| 20:13, 26 ноября 2023 | MLLP VP 50.pdf (файл) | |
116 КБ | PodymovVV | 2023-2024. без существенных изменений | 2 |
| 20:13, 26 ноября 2023 | MLLP VP 49.pdf (файл) | |
109 КБ | PodymovVV | 2023-2024. без существенных изменений | 4 |
| 20:13, 26 ноября 2023 | MLLP VP 48.pdf (файл) | |
169 КБ | PodymovVV | 2023-2024. без существенных изменений | 2 |
| 17:25, 26 ноября 2023 | Verif VP 31.pdf (файл) | |
124 КБ | PodymovVV | 2023-2024. теперь здесь про неправдоподобные вычисления временных автоматов | 3 |
| 17:25, 26 ноября 2023 | Verif VP 30.pdf (файл) | |
161 КБ | PodymovVV | 2023-2024. теперь здесь про срв и временные автоматы | 3 |
| 14:30, 25 ноября 2023 | HDL VP R03.pdf (файл) | |
174 КБ | PodymovVV | опечатки | 2 |
| 14:29, 25 ноября 2023 | HDL VP R02.pdf (файл) | |
227 КБ | PodymovVV | опечатки | 2 |
| 14:29, 25 ноября 2023 | HDL VP R01.pdf (файл) | |
171 КБ | PodymovVV | опечатки | 2 |
| 19:18, 24 ноября 2023 | Verif VP Review Nusmv.pdf (файл) | |
427 КБ | PodymovVV | опечатки | 4 |
| 15:05, 19 ноября 2023 | HDL VP R05.pdf (файл) | |
163 КБ | PodymovVV | языки описания схем. 2023-2024. кое-что ещё 5: эспиай для двух устройств | 1 |
| 15:05, 19 ноября 2023 | HDL VP R04.pdf (файл) | |
77 КБ | PodymovVV | языки описания схем. 2023-2024. кое-что ещё 4: классификация протоколов передачи данных | 1 |
| 15:00, 19 ноября 2023 | Verif VP Prac Nusmv.pdf (файл) | |
1,46 МБ | PodymovVV | 2023-2024, без существенных изменений | 2 |
| 19:51, 13 ноября 2023 | MLLP VP 46.pdf (файл) | |
166 КБ | PodymovVV | исправлены недочёты в одном доказательстве | 3 |
| 19:50, 13 ноября 2023 | Verif VP sem03.pdf (файл) | |
117 КБ | PodymovVV | опечатки | 3 |
| 15:50, 9 ноября 2023 | MLLP VP 47.pdf (файл) | |
159 КБ | PodymovVV | 2023-2024. без существенных изменений | 4 |
| 15:48, 9 ноября 2023 | MLLP VP 45.pdf (файл) | |
168 КБ | PodymovVV | опечатки | 3 |
| 20:27, 7 ноября 2023 | HDL VP 31.pdf (файл) | |
145 КБ | PodymovVV | опечатки | 2 |
| 20:27, 7 ноября 2023 | HDL VP 29.pdf (файл) | |
125 КБ | PodymovVV | опечатки | 2 |
| 13:04, 7 ноября 2023 | HDL VP 30.pdf (файл) | |
122 КБ | PodymovVV | поправлен (улучшен) рисунок | 2 |
| 12:27, 7 ноября 2023 | HDL VP s05.pdf (файл) | |
144 КБ | PodymovVV | языки описания схем. практика: операционный и управляющий автоматы в верилоге | 1 |
| 11:44, 2 ноября 2023 | HDL VP 28.pdf (файл) | |
205 КБ | PodymovVV | опечатки | 2 |
| 11:44, 2 ноября 2023 | HDL VP 27.pdf (файл) | |
175 КБ | PodymovVV | опечатки | 2 |
| 11:41, 2 ноября 2023 | MLLP VP 44.pdf (файл) | |
138 КБ | PodymovVV | 2023-2024, без существенных изменений | 2 |
| 20:10, 1 ноября 2023 | MLLP VP 42.pdf (файл) | |
147 КБ | PodymovVV | опечатки | 3 |
| 20:10, 1 ноября 2023 | MLLP VP 41.pdf (файл) | |
135 КБ | PodymovVV | опечатки | 3 |
| 20:10, 1 ноября 2023 | MLLP VP 40.pdf (файл) | |
162 КБ | PodymovVV | опечатки | 4 |
| 20:10, 1 ноября 2023 | MLLP VP 38.pdf (файл) | |
193 КБ | PodymovVV | опечатки | 4 |
| 20:10, 1 ноября 2023 | MLLP VP 37.pdf (файл) | |
184 КБ | PodymovVV | опечатки | 3 |
| 19:59, 1 ноября 2023 | Verif VP 25.pdf (файл) | |
256 КБ | PodymovVV | опечатки | 4 |
| 13:18, 31 октября 2023 | HDL VP s04.pdf (файл) | |
155 КБ | PodymovVV | языки описания схем 2023-2024. упражнения по символьным автоматам | 1 |
| 17:43, 29 октября 2023 | MLLP VP 43.pdf (файл) | |
200 КБ | PodymovVV | 2023-2024. без существенных изменений | 3 |
| 17:40, 29 октября 2023 | MLLP VP 39.pdf (файл) | |
168 КБ | PodymovVV | 2023-2024. без существенных изменений | 3 |
| 17:33, 29 октября 2023 | Verif VP 27.pdf (файл) | |
156 КБ | PodymovVV | 2023-2024. теперь тут про преобразователи предикатов и неподвижные точки | 2 |
| 17:33, 29 октября 2023 | Verif VP 26.pdf (файл) | |
142 КБ | PodymovVV | 2023-2024. теперь тут начало символьного алгоритма модел чекин для цтл | 2 |
| 17:31, 29 октября 2023 | HDL VP 26.pdf (файл) | |
200 КБ | PodymovVV | опечатка | 2 |
| 11:44, 24 октября 2023 | HDL VP s03.pdf (файл) | |
140 КБ | PodymovVV | опечатка | 2 |
| 16:40, 23 октября 2023 | MLLP VP 35.pdf (файл) | |
177 КБ | PodymovVV | опечатки | 4 |
| 12:54, 23 октября 2023 | Verif VP 24.pdf (файл) | |
194 КБ | PodymovVV | опечатки | 3 |
| 12:36, 22 октября 2023 | MLLP VP lections colloq.pdf (файл) | |
5,7 МБ | PodymovVV | 2023-2024 | 2 |
| 12:32, 22 октября 2023 | MLLP VP 36.pdf (файл) | |
93 КБ | PodymovVV | 2023-2024, без существенных изменений | 2 |
| 16:38, 5 октября 2023 | Выставка кафедр Информационный лист.pdf (файл) | |
1,16 МБ | PodymovVV | больше qr-кодов! | 6 |
| 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 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
