Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 20:23, 24 ноября 2024 | MLLP VP 55.pdf (файл) |  |
130 КБ | PodymovVV | 2024-2025, без существенных изменений | 4 |
| 20:23, 24 ноября 2024 | MLLP VP 54.pdf (файл) | |
257 КБ | PodymovVV | 2024-2025, без существенных изменений | 6 |
| 10:34, 20 ноября 2024 | Verif VP 40.pdf (файл) | |
158 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 |
| 10:33, 20 ноября 2024 | Verif VP 39.pdf (файл) | |
128 КБ | PodymovVV | 2024-2025, без существенных изменений | 2 |
| 10:33, 20 ноября 2024 | Verif VP 38.pdf (файл) | |
164 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 |
| 10:33, 20 ноября 2024 | Verif VP 37.pdf (файл) | |
157 КБ | PodymovVV | 2024-2025, без существенных изменений | 2 |
| 16:22, 7 мая 2024 | Mathlog 318 b46.pdf (файл) | |
160 КБ | PodymovVV | теперь здесь снова интуиционистская логика (в связи с урезанием концовки по болезни) | 5 |
| 22:02, 6 мая 2024 | Mathlog 318 b48.pdf (файл) | |
256 КБ | PodymovVV | 2023-2024, теперь тут про логику хоара | 5 |
| 22:02, 6 мая 2024 | Mathlog 318 b47.pdf (файл) | |
193 КБ | PodymovVV | 2023-2024, теперь тут про императивные программы | 4 |
| 22:01, 6 мая 2024 | Mathlog 318 b45.pdf (файл) | |
115 КБ | PodymovVV | 2023-2024, без существенных изменений | 4 |
| 22:01, 6 мая 2024 | Mathlog 318 b44.pdf (файл) | |
108 КБ | PodymovVV | 2023-2024, без существенных изменений | 5 |
| 13:27, 23 апреля 2024 | Mathlog 318 b43.pdf (файл) | |
168 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 5 |
| 23:37, 21 апреля 2024 | Mathlog 318 b42.pdf (файл) | |
211 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 7 |
| 13:01, 9 апреля 2024 | Mathlog 318 b41.pdf (файл) | |
190 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 13:01, 9 апреля 2024 | Mathlog 318 b40.pdf (файл) | |
260 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 7 |
| 13:00, 9 апреля 2024 | Mathlog 318 b39.pdf (файл) | |
101 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 12:11, 8 апреля 2024 | Mathlog 318 b36.pdf (файл) | |
172 КБ | PodymovVV | опечатка | 7 |
| 11:58, 7 апреля 2024 | Mathlog 318 b38.pdf (файл) | |
172 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 11:58, 7 апреля 2024 | Mathlog 318 b37.pdf (файл) | |
208 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 18:10, 2 апреля 2024 | Mathlog 318 b34.pdf (файл) | |
135 КБ | PodymovVV | опечатка | 6 |
| 14:19, 2 апреля 2024 | Mathlog 318 b35.pdf (файл) | |
164 КБ | PodymovVV | незначительное исправление | 6 |
| 14:09, 2 апреля 2024 | Mathlog 318 b32.pdf (файл) | |
150 КБ | PodymovVV | опечатки | 7 |
| 11:25, 2 апреля 2024 | Mathlog 318 b33.pdf (файл) | |
138 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 5 |
| 12:24, 1 апреля 2024 | MD requirements.pdf (файл) | |
71 КБ | PodymovVV | требования к магистерской диссертации 618 | 1 |
| 12:24, 1 апреля 2024 | VKR requirements.pdf (файл) | |
69 КБ | PodymovVV | требования к выпускной работе 418 | 1 |
| 15:15, 26 марта 2024 | Mathlog 318 b31.pdf (файл) | |
206 КБ | PodymovVV | весна 2023-2024. обратил внимание на непроизводность правила монотонности | 7 |
| 14:51, 25 марта 2024 | Mathlog 318 b29.pdf (файл) | |
136 КБ | PodymovVV | опечатки | 5 |
| 14:51, 25 марта 2024 | Mathlog 318 b28.pdf (файл) | |
142 КБ | PodymovVV | опечатки | 6 |
| 14:51, 25 марта 2024 | Mathlog 318 b27.pdf (файл) | |
152 КБ | PodymovVV | опечатки | 6 |
| 14:50, 25 марта 2024 | Mathlog 318 b26.pdf (файл) | |
173 КБ | PodymovVV | опечатки | 5 |
| 14:50, 25 марта 2024 | Mathlog 318 b24.pdf (файл) | |
173 КБ | PodymovVV | опечатки | 7 |
| 22:05, 24 марта 2024 | Mathlog 318 b30.pdf (файл) | |
170 КБ | PodymovVV | весенний семестр 2023-2024, без существенных изменений | 6 |
| 12:48, 19 марта 2024 | Mathlog 318 b25.pdf (файл) | |
239 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 5 |
| 14:21, 12 марта 2024 | Mathlog 318 b23.pdf (файл) | |
143 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 14:21, 12 марта 2024 | Mathlog 318 b22.pdf (файл) | |
183 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 15:26, 10 марта 2024 | Mathlog 318 b21.pdf (файл) | |
121 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 15:25, 10 марта 2024 | Mathlog 318 b20.pdf (файл) | |
270 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 14:47, 10 марта 2024 | Mathlog 318 b18.pdf (файл) | |
158 КБ | PodymovVV | опечатки | 6 |
| 14:47, 10 марта 2024 | Mathlog 318 b16.pdf (файл) | |
158 КБ | PodymovVV | опечатки | 7 |
| 12:07, 4 марта 2024 | Mathlog 318 b19.pdf (файл) | |
164 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 5 |
| 12:06, 4 марта 2024 | Mathlog 318 b17.pdf (файл) | |
175 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 5 |
| 12:06, 4 марта 2024 | Mathlog 318 b15.pdf (файл) | |
162 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 12:06, 4 марта 2024 | Mathlog 318 b14.pdf (файл) | |
177 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 5 |
| 12:05, 4 марта 2024 | Mathlog 318 b13.pdf (файл) | |
211 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 4 |
| 18:13, 25 февраля 2024 | Mathlog 318 b12.pdf (файл) | |
187 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 4 |
| 12:36, 22 октября 2023 | MLLP VP lections colloq.pdf (файл) | |
5,7 МБ | 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 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
