Список файлов
Эта служебная страница показывает все загруженные файлы.
Дата | Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
12:17, 16 июня 2020 | ЭТСНДУС 2020.pdf (файл) | 956 КБ | DanilovB | 3 | ||
18:37, 12 июня 2020 | OK cons link.doc (файл) | 32 КБ | RomanovDS | 1 | ||
18:12, 11 июня 2020 | Sm.pdf (файл) | 36 КБ | SeleznevaSN | 2 | ||
17:48, 9 июня 2020 | Dm-exam-task.pdf (файл) | 25 КБ | SeleznevaSN | 1 | ||
17:46, 9 июня 2020 | Dm-exam.pdf (файл) | 36 КБ | SeleznevaSN | 2 | ||
13:26, 8 июня 2020 | Курс ОК 320-328 2020 06 08 онлайн.doc (файл) | 85 КБ | RomanovDS | 2 | ||
19:02, 24 мая 2020 | Mathlog 318 lecture 17.pdf (файл) | 337 КБ | PodymovVV | Весна 2020. Минимальные изменения - пара правок в терминологии. | 5 | |
13:38, 23 мая 2020 | Konovodov ok sem 08.pdf (файл) | 1,81 МБ | KonovodovV | 1 | ||
11:42, 17 мая 2020 | Mathlog 318 lecture 16.pdf (файл) | 359 КБ | PodymovVV | весна 2020. ltl для формальной верификации | 5 | |
11:41, 17 мая 2020 | Mathlog 318 lecture 15.pdf (файл) | 381 КБ | PodymovVV | весна 2020. логика хоара | 7 | |
10:41, 16 мая 2020 | Mathlog 318 lecture 14.pdf (файл) | 346 КБ | PodymovVV | слегка подправил вводный слайд | 7 | |
00:10, 16 мая 2020 | РП Вероятностные методы в комбинаторике 2020.pdf (файл) | 239 КБ | NagornyAS | 1 | ||
00:46, 15 мая 2020 | Лекция 13 Вероятностные методы в комбинаторике.pdf (файл) | 438 КБ | NagornyAS | 1 | ||
00:45, 15 мая 2020 | Лекция 12 Вероятностные методы в комбинаторике.pdf (файл) | 436 КБ | NagornyAS | 1 | ||
21:33, 14 мая 2020 | OK seminar 8 .pdf (файл) | 265 КБ | KonovodovV | 2 | ||
13:24, 9 мая 2020 | Konovodov ok sem 07.pdf (файл) | 1,44 МБ | KonovodovV | 1 | ||
17:24, 5 мая 2020 | Лекция 11 Вероятностные методы в комбинаторике.pdf (файл) | 466 КБ | NagornyAS | 1 | ||
17:16, 5 мая 2020 | Лекция 10 Вероятностные методы в комбинаторике.pdf (файл) | 423 КБ | NagornyAS | 1 | ||
16:57, 5 мая 2020 | Лекция 9 Вероятностные методы в комбинаторике.pdf (файл) | 430 КБ | NagornyAS | 1 | ||
12:51, 5 мая 2020 | OK seminar 7 .pdf (файл) | 228 КБ | RomanovDS | 1 | ||
11:27, 3 мая 2020 | Mathlog 318 lecture 12 13.pdf (файл) | 397 КБ | PodymovVV | поправлены опечатки | 2 | |
13:34, 2 мая 2020 | Konovodov ok sem 06.pdf (файл) | 1,18 МБ | KonovodovV | 1 | ||
11:30, 28 апреля 2020 | Lecture-DA-12.pdf (файл) | 980 КБ | ZakharovVA | 1 | ||
01:06, 28 апреля 2020 | Курс ОК 320-328 2020 04 28 онлайн.doc (файл) | 88 КБ | RomanovDS | 1 | ||
02:47, 27 апреля 2020 | OK seminar 7.pdf (файл) | 229 КБ | RomanovDS | 1 | ||
19:59, 23 апреля 2020 | OK seminar 6 full.pdf (файл) | 1,06 МБ | DanilovB | 1 | ||
11:39, 21 апреля 2020 | Mathlog 318 lecture 11.pdf (файл) | 371 КБ | PodymovVV | поправил недочёты на последнем слайде (про исчисление дизъюнктов) | 9 | |
17:33, 19 апреля 2020 | Md618 2020.pdf (файл) | 284 КБ | ShupletsovMS | 1 | ||
17:33, 19 апреля 2020 | Vkr418 2020.pdf (файл) | 284 КБ | ShupletsovMS | 1 | ||
12:10, 19 апреля 2020 | Lecture-DA-11.pdf (файл) | 583 КБ | ZakharovVA | 1 | ||
13:43, 18 апреля 2020 | Konovodov ok sem 05.pdf (файл) | 1,76 МБ | KonovodovV | 1 | ||
02:02, 15 апреля 2020 | Курс ЭТСНКДУС-20-1 318.pdf (файл) | 91 КБ | DanilovB | 1 | ||
01:48, 15 апреля 2020 | Курс ЭТДУС-20-1 318.pdf (файл) | 110 КБ | DanilovB | 1 | ||
16:04, 13 апреля 2020 | Mathlog 318 lecture 10.pdf (файл) | 410 КБ | PodymovVV | урезано согласно фактически прочитанному: машины Тьюринга будут в лекции 11 | 6 | |
13:41, 13 апреля 2020 | Lecture-DA-10.pdf (файл) | 875 КБ | ZakharovVA | 1 | ||
12:23, 11 апреля 2020 | Konovodov ok sem 04.pdf (файл) | 1,62 МБ | KonovodovV | 1 | ||
00:21, 10 апреля 2020 | Лекция 8 Вероятностные методы в комбинаторике.pdf (файл) | 412 КБ | NagornyAS | "Вероятностные методы в комбинаторике", лекция №8 | 1 | |
20:36, 6 апреля 2020 | OK seminar 5.pdf (файл) | 216 КБ | RomanovDS | 3 | ||
18:27, 5 апреля 2020 | Lecture-DA-9.pdf (файл) | 1006 КБ | ZakharovVA | 1 | ||
11:35, 3 апреля 2020 | Lecture 12a.pdf (файл) | 867 КБ | ZakharovVA | 1 | ||
11:34, 3 апреля 2020 | Lecture 11a.pdf (файл) | 1,09 МБ | ZakharovVA | 1 | ||
11:22, 3 апреля 2020 | Lecture 11.pdf (файл) | 1,09 МБ | ZakharovVA | 7 | ||
11:18, 3 апреля 2020 | Seminar 4-1.pdf (файл) | 530 КБ | ZakharovVA | 3 | ||
10:53, 3 апреля 2020 | Seminar 4-2.pdf (файл) | 93 КБ | ZakharovVA | 1 | ||
13:18, 2 апреля 2020 | Mathlog 318 lecture 9.pdf (файл) | 335 КБ | PodymovVV | весна 2020. от резолютивного вывода до теоремы эрбрана. | 5 | |
10:38, 31 марта 2020 | Lecture-DA-8.pdf (файл) | 708 КБ | ZakharovVA | 1 | ||
12:07, 30 марта 2020 | Mathlog 318 lecture 7.pdf (файл) | 367 КБ | PodymovVV | мелкие правки | 7 | |
15:55, 26 марта 2020 | Lecture 10.pdf (файл) | 924 КБ | ZakharovVA | 3 | ||
15:03, 26 марта 2020 | Seminar 3-2.pdf (файл) | 100 КБ | ZakharovVA | 3 | ||
13:37, 25 марта 2020 | Лекция 7 Вероятностные методы в комбинаторике.pdf (файл) | 373 КБ | NagornyAS | Лекция №7 по курсу "Вероятностные методы в комбинаторике" | 1 |
Первая страница |
Предыдущая страница |
Следующая страница |
Последняя страница |