Список файлов
Эта служебная страница показывает все загруженные файлы.
![]() |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
15:52, 19 февраля 2024 | DA VP 07.pdf (файл) | ![]() |
89 КБ | PodymovVV | распределённые алгоритмы, весна 2023-2024, блок 7 | 1 |
13:15, 19 февраля 2024 | DA VP S01.pdf (файл) | ![]() |
111 КБ | PodymovVV | опечатка | 2 |
10:18, 13 февраля 2024 | Mathlog 318 b5.pdf (файл) | ![]() |
86 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 7 |
10:17, 13 февраля 2024 | Mathlog 318 b4.pdf (файл) | ![]() |
170 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 5 |
18:29, 12 февраля 2024 | DA VP 06.pdf (файл) | ![]() |
152 КБ | PodymovVV | Распределённые алгоритмы, 521, весна 2023-2024, блок 6 | 1 |
18:29, 12 февраля 2024 | DA VP 05.pdf (файл) | ![]() |
114 КБ | PodymovVV | Распределённые алгоритмы, 521, весна 2023-2024, блок 5 | 1 |
18:29, 12 февраля 2024 | DA VP 04.pdf (файл) | ![]() |
162 КБ | PodymovVV | Распределённые алгоритмы, 521, весна 2023-2024, Блок 4 | 1 |
18:28, 12 февраля 2024 | DA VP 02.pdf (файл) | ![]() |
150 КБ | PodymovVV | опечатки | 2 |
18:28, 12 февраля 2024 | DA VP 01.pdf (файл) | ![]() |
64 КБ | PodymovVV | опечатки | 2 |
10:40, 12 февраля 2024 | DA VP 03.pdf (файл) | ![]() |
85 КБ | PodymovVV | Распределённые алгоритмы, 521, весна 2023-2024, блок 3 | 1 |
16:43, 11 февраля 2024 | Mathlog 318 b3.pdf (файл) | ![]() |
289 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 8 |
16:43, 11 февраля 2024 | Mathlog 318 b2.pdf (файл) | ![]() |
166 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
16:43, 11 февраля 2024 | Mathlog 318 b1.pdf (файл) | ![]() |
168 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 5 |
11:01, 22 января 2024 | Verif VP all.pdf (файл) | ![]() |
7,15 МБ | PodymovVV | 2023-2024 | 2 |
16:58, 6 января 2024 | MLLP VP all.pdf (файл) | ![]() |
10,77 МБ | PodymovVV | для экзамена 2023-2024 | 2 |
16:33, 12 декабря 2023 | MLLP VP 58.pdf (файл) | ![]() |
206 КБ | PodymovVV | опечатки | 4 |
16:33, 12 декабря 2023 | MLLP VP 57.pdf (файл) | ![]() |
181 КБ | PodymovVV | опечатки | 4 |
16:33, 12 декабря 2023 | MLLP VP 56.pdf (файл) | ![]() |
188 КБ | PodymovVV | опечатки | 4 |
16:26, 12 декабря 2023 | Verif VP 40.pdf (файл) | ![]() |
158 КБ | PodymovVV | опечатки | 2 |
16:26, 12 декабря 2023 | Verif VP 38.pdf (файл) | ![]() |
166 КБ | PodymovVV | опечатки | 2 |
14:32, 12 декабря 2023 | HDL VP 24.pdf (файл) | ![]() |
213 КБ | PodymovVV | 2 | |
10:03, 11 декабря 2023 | Verif VP 39.pdf (файл) | ![]() |
128 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 39. sat | 1 |
10:01, 11 декабря 2023 | Verif VP 37.pdf (файл) | ![]() |
157 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 37. абстракция и редукция | 1 |
10:01, 11 декабря 2023 | Verif VP 36.pdf (файл) | ![]() |
153 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 36. алгоритм проверки бисимул экв | 1 |
10:00, 11 декабря 2023 | Verif VP 35.pdf (файл) | ![]() |
247 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция | 1 |
09:59, 11 декабря 2023 | Verif VP 34.pdf (файл) | ![]() |
248 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 34. алгоритм для тиситиэль, системы регионов | 1 |
13:09, 7 декабря 2023 | HDL VP R06.pdf (файл) | ![]() |
197 КБ | PodymovVV | исправлен | 2 |
13:08, 7 декабря 2023 | HDL VP 17.pdf (файл) | ![]() |
97 КБ | PodymovVV | Важное уточнение синтаксиса констант | 3 |
19:22, 4 декабря 2023 | MLLP VP 54.pdf (файл) | ![]() |
257 КБ | PodymovVV | опечатки | 5 |
19:22, 4 декабря 2023 | MLLP VP 53.pdf (файл) | ![]() |
203 КБ | PodymovVV | опечатки | 6 |
19:22, 4 декабря 2023 | MLLP VP 52.pdf (файл) | ![]() |
95 КБ | PodymovVV | опечатки | 3 |
10:34, 4 декабря 2023 | Verif VP Prac Uppaal.pdf (файл) | ![]() |
457 КБ | PodymovVV | 2023-2024, без существенных изменений | 3 |
20:30, 3 декабря 2023 | MLLP VP 55.pdf (файл) | ![]() |
130 КБ | PodymovVV | русифицировал главный термин | 3 |
12:30, 3 декабря 2023 | Verif VP 33.pdf (файл) | ![]() |
158 КБ | PodymovVV | Методы верификации программ, 2023-2024. Сети временных автоматов | 1 |
12:29, 3 декабря 2023 | Verif VP 32.pdf (файл) | ![]() |
163 КБ | PodymovVV | 2023-2024. Теперь тут TCTL | 3 |
11:30, 28 ноября 2023 | Verif VP 29.pdf (файл) | ![]() |
131 КБ | PodymovVV | опечатки | 4 |
11:30, 28 ноября 2023 | Verif VP 28.pdf (файл) | ![]() |
146 КБ | PodymovVV | опечатки | 3 |
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 |
![]() Первая страница |
![]() Предыдущая страница |
![]() Следующая страница |
![]() Последняя страница |