Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 09:52, 11 февраля 2025 | DA VP 06.pdf (файл) |  |
152 КБ | PodymovVV | неточности | 3 |
| 09:52, 11 февраля 2025 | DA VP 05.pdf (файл) | |
109 КБ | PodymovVV | неточности | 3 |
| 09:52, 11 февраля 2025 | DA VP 04.pdf (файл) | |
163 КБ | PodymovVV | неточности | 4 |
| 09:52, 11 февраля 2025 | DA VP 02.pdf (файл) | |
150 КБ | PodymovVV | неточности | 5 |
| 09:40, 11 февраля 2025 | Mathlog VP 04.pdf (файл) | |
170 КБ | PodymovVV | Матлогика 318+319/2+241+242. Лекции, блок 4 | 1 |
| 14:02, 8 февраля 2025 | DA VP 07.pdf (файл) | |
90 КБ | PodymovVV | 2024/2025 | 2 |
| 14:02, 8 февраля 2025 | DA VP 03.pdf (файл) | |
86 КБ | PodymovVV | 2024/2025 | 2 |
| 14:01, 8 февраля 2025 | DA VP 01.pdf (файл) | |
65 КБ | PodymovVV | 2024/2025 | 3 |
| 12:36, 8 февраля 2025 | Mathlog VP 01.pdf (файл) | |
168 КБ | PodymovVV | Матлогика 318+319/2+241+242. Лекции, блок 1 | 1 |
| 12:33, 8 февраля 2025 | Mathlog VP 03.pdf (файл) | |
289 КБ | PodymovVV | Матлогика 318+319/2+241+242. Лекции, блок 3 | 1 |
| 12:33, 8 февраля 2025 | Mathlog VP 02.pdf (файл) | |
167 КБ | PodymovVV | Матлогика 318+319/2+241+242. Лекции, блок 2 | 1 |
| 17:19, 29 января 2025 | Lectdm.pdf (файл) | |
1,46 МБ | PodymovVV | Лекции по дискретной математике. Алексеев В.Б. 2004. | 1 |
| 11:34, 27 декабря 2024 | MLLP VP all.pdf (файл) | |
10,77 МБ | PodymovVV | 2024-2025 | 3 |
| 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 |
| 11:37, 7 апреля 2024 | Mathlog 318 b6.pdf (файл) | |
208 КБ | PodymovVV | небольшое уточнение понятий-обозначений | 8 |
| 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 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
