Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 12:53, 9 декабря 2024 | MLLP VP r06.pdf (файл) |  |
151 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 6. Формальная арифметика. Теорема Гёделя о неполноте | 1 |
| 12:53, 9 декабря 2024 | MLLP VP r05.pdf (файл) | |
132 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 5. Теорема Гёделя о полноте | 1 |
| 12:52, 9 декабря 2024 | MLLP VP r04.pdf (файл) | |
129 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 4. Изоморфизм Карри-Говарда | 1 |
| 12:52, 9 декабря 2024 | MLLP VP r03.pdf (файл) | |
127 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 3. Пара слов о лямбда-исчислении | 1 |
| 12:51, 9 декабря 2024 | MLLP VP r02.pdf (файл) | |
146 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 1. Натуральные исчисления | 1 |
| 12:50, 9 декабря 2024 | MLLP VP r01.pdf (файл) | |
107 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 1. Логические исчисления | 1 |
| 12:50, 9 декабря 2024 | MLLP VP 58.pdf (файл) | |
206 КБ | PodymovVV | 2024-2025, без существенных изменений | 5 |
| 14:17, 2 декабря 2024 | MLLP VP 57.pdf (файл) | |
181 КБ | PodymovVV | 2024-2025, без существенных изменений | 5 |
| 14:16, 2 декабря 2024 | MLLP VP 56.pdf (файл) | |
188 КБ | PodymovVV | 2024-2025, без существенных изменений | 5 |
| 14:18, 1 декабря 2024 | Verif VP all.pdf (файл) | |
7,12 МБ | PodymovVV | 2024-2025 | 3 |
| 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 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
