Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 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: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:03, 26 марта 2020 | Seminar 3-2.pdf (файл) | |
100 КБ | ZakharovVA | 3 | |
| 13:37, 25 марта 2020 | Лекция 7 Вероятностные методы в комбинаторике.pdf (файл) | |
373 КБ | NagornyAS | Лекция №7 по курсу "Вероятностные методы в комбинаторике" | 1 |
| 17:41, 24 марта 2020 | Лекция 6 Вероятностные методы в комбинаторике.pdf (файл) | |
377 КБ | NagornyAS | Лекция №6 по курсу "Вероятностные методы в комбинаторике" | 1 |
| 13:41, 24 марта 2020 | Lecture-DA-7.pdf (файл) | |
1,09 МБ | ZakharovVA | 1 | |
| 09:46, 24 марта 2020 | OK seminar 4.pdf (файл) | |
2,22 МБ | RomanovDS | 1 | |
| 12:43, 22 марта 2020 | Mathlog 318 lecture 8.pdf (файл) | |
351 КБ | PodymovVV | 2020, весна. Алгоритм унификации с доказательством. | 6 |
| 15:53, 20 марта 2020 | Lecture 9-full.pdf (файл) | |
902 КБ | ZakharovVA | 1 | |
| 19:02, 19 марта 2020 | Seminar 3-1.pdf (файл) | |
111 КБ | ZakharovVA | 3 | |
| 14:33, 19 марта 2020 | Курс ОК 320-328 2020 03 19.doc (файл) |  |
93 КБ | RomanovDS | 1 | |
| 00:53, 18 марта 2020 | OK seminar 3.pdf (файл) | |
159 КБ | RomanovDS | 1 | |
| 16:51, 17 марта 2020 | Lecture 7 full.pdf (файл) | |
1,08 МБ | ZakharovVA | 1 | |
| 12:49, 17 марта 2020 | Dm1-1-17-03-24-03.pdf (файл) | |
174 КБ | SeleznevaSN | 1 | |
| 12:02, 17 марта 2020 | Dm1-1-s-d-20.pdf (файл) | |
61 КБ | SeleznevaSN | 1 | |
| 12:00, 17 марта 2020 | Dm1-1-s-20.pdf (файл) | |
131 КБ | SeleznevaSN | 1 | |
| 03:19, 17 марта 2020 | Плейлист ОК.doc (файл) | |
27 КБ | RomanovDS | 1 | |
| 13:08, 16 марта 2020 | Lecture-DA-6.pdf (файл) | |
1,05 МБ | ZakharovVA | 1 | |
| 12:58, 16 марта 2020 | Mathlog 318 lecture 6.pdf (файл) | |
371 КБ | PodymovVV | 2020, весенний семестр. метод сем.таблиц от полноты до конца + равносильность | 6 |
| 23:25, 11 марта 2020 | Курс ОК 320-328 2020 03 11.doc (файл) | |
92 КБ | RomanovDS | 1 | |
| 23:23, 11 марта 2020 | Курс ОК 320-328 2020 .doc (файл) | |
92 КБ | RomanovDS | 2 | |
| 15:05, 11 марта 2020 | Лекция 5 Вероятностные методы в комбинаторике.pdf (файл) | |
296 КБ | NagornyAS | Лекция №5 по курсу "Вероятностные методы в комбинаторике" | 2 |
| 22:52, 10 марта 2020 | Лекция 4 Вероятностные методы в комбинаторике.pdf (файл) | |
401 КБ | NagornyAS | Лекция №4 по курсу "Вероятностные методы в комбинаторике" | 1 |
| 22:51, 10 марта 2020 | Лекция 3 Вероятностные методы в комбинаторике.pdf (файл) | |
360 КБ | NagornyAS | Лекция 3 по курсу "Вероятностные методы в комбинаторике" | 2 |
| 00:41, 10 марта 2020 | Lecture-DA-5.pdf (файл) | |
968 КБ | ZakharovVA | 1 | |
| 11:30, 5 марта 2020 | Курс ОК 320-328 2020.doc (файл) | |
92 КБ | RomanovDS | 3 | |
| 10:59, 4 марта 2020 | Mathlog 318 lecture 4 5.pdf (файл) | |
359 КБ | PodymovVV | мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода). | 1 |
| 00:07, 4 марта 2020 | Lecture-DA-4.pdf (файл) | |
1022 КБ | ZakharovVA | 1 | |
| 23:55, 1 марта 2020 | Prosem20 schedule.pdf (файл) | |
411 КБ | DanilovB | 1 | |
| 19:08, 27 февраля 2020 | Lecture-DA-3.pdf (файл) | |
1014 КБ | ZakharovVA | 1 | |
| 23:59, 25 февраля 2020 | Specsem 200228.pdf (файл) | |
514 КБ | DanilovB | 1 | |
| 13:39, 20 февраля 2020 | Specem 200221.pdf (файл) | |
523 КБ | DanilovB | 1 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
