Список файлов

Перейти к: навигация, поиск

Эта служебная страница показывает все загруженные файлы.

Список файлов
Записей на страницу:
Поиск по имени файла:
Имя участника:
Включить старые версии изображений

убывДата Имя файла Миниатюра Размер Участник Описание Версий
09:49, 17 мая 2022 Mathlog 318 b48.pdf (файл) 291 КБ PodymovVV Исправил несколько опечаток 2
19:11, 15 мая 2022 Mathlog 318 b47.pdf (файл) 412 КБ PodymovVV Весна 2022. Теперь тут про императивные программы и логику Хоара 2
19:10, 15 мая 2022 Mathlog 318 b46.pdf (файл) 148 КБ PodymovVV Весна 2022. Теперь тут общие слова про формальную верификацию 2
19:08, 15 мая 2022 Mathlog 318 b45.pdf (файл) 177 КБ PodymovVV Весна 2022. Теперь тут темпоральные логики 2
19:05, 15 мая 2022 Mathlog 318 b44.pdf (файл) 152 КБ PodymovVV Весна 2022. Теперь тут эпистемичекие логики 2
20:18, 11 мая 2022 Курсовая работа - титульный лист.doc (файл) 12 КБ PodymovVV Титульный лист курсовой работы 2022 1
20:17, 11 мая 2022 Курсовая работа - требования.pdf (файл) 28 КБ PodymovVV Требования к курсовой работе 2022 1
19:02, 29 апреля 2022 Mathlog 318 b43.pdf (файл) 283 КБ PodymovVV Исправлено несколько опечаток 3
19:02, 29 апреля 2022 Mathlog 318 b42.pdf (файл) 345 КБ PodymovVV Поправлено несколько опечаток 4
14:49, 29 апреля 2022 Dm-gos7-selezn.pdf (файл) 199 КБ SeleznevaSN   2
13:14, 29 апреля 2022 Dm-gos5-selezn.pdf (файл) 173 КБ SeleznevaSN   2
13:01, 29 апреля 2022 Dm-gos4-selezn.pdf (файл) 215 КБ SeleznevaSN   3
12:45, 29 апреля 2022 Dm-gos1-selezn.pdf (файл) 194 КБ SeleznevaSN   3
20:32, 26 апреля 2022 Dm1-kf-l15-selezn.pdf (файл) 481 КБ SeleznevaSN   1
18:31, 21 апреля 2022 Dm1-l21-selezn.pdf (файл) 297 КБ SeleznevaSN   1
18:31, 21 апреля 2022 Dm1-l20-selezn.pdf (файл) 289 КБ SeleznevaSN   1
18:36, 20 апреля 2022 Mathlog 318 b41.pdf (файл) 275 КБ PodymovVV Исправлена пара опечаток 4
18:36, 20 апреля 2022 Mathlog 318 b38.pdf (файл) 249 КБ PodymovVV Исправлена пара опечаток 3
10:59, 20 апреля 2022 Dm1-kf-l14-selezn.pdf (файл) 425 КБ SeleznevaSN   2
10:56, 19 апреля 2022 Mvk-22-04-29.pdf (файл) 41 КБ SeleznevaSN   1
22:27, 18 апреля 2022 Курс ЭТСНКДУС-22-1.pdf (файл) 96 КБ DanilovB   4
08:08, 18 апреля 2022 Mathlog 318 b40.pdf (файл) 377 КБ PodymovVV Весна 2022. Теперь тут про определения и выразимость 3
08:07, 18 апреля 2022 Mathlog 318 b39.pdf (файл) 160 КБ PodymovVV Весна 2022. Теперь тут про арифметические интерпретации и теории 4
00:56, 15 апреля 2022 Курс ЭТДУС-22-1 318.pdf (файл) 113 КБ DanilovB   2
00:50, 15 апреля 2022 Specem 220415.pdf (файл) 649 КБ DanilovB   1
22:08, 14 апреля 2022 Dm1-l19-selezn.pdf (файл) 351 КБ SeleznevaSN   1
22:04, 14 апреля 2022 Dm1-l18-selezn.pdf (файл) 266 КБ SeleznevaSN   3
18:05, 14 апреля 2022 Dsa title.png (файл) 106 КБ PodymovVV   3
17:58, 14 апреля 2022 DSA2022.pdf (файл) 69 КБ PodymovVV Презентация о научно-образовательном направлении "Дискретные структуры и алгоритмы" кафедры МК, 2022 1
20:03, 12 апреля 2022 Dm1-kf-l13-selezn.pdf (файл) 328 КБ SeleznevaSN   1
12:15, 11 апреля 2022 Mvk-22-04-22.pdf (файл) 42 КБ SeleznevaSN   1
12:15, 11 апреля 2022 Mvk-22-04-15.pdf (файл) 39 КБ SeleznevaSN   1
21:44, 10 апреля 2022 Mathlog 318 b37.pdf (файл) 343 КБ PodymovVV Весна 2022. Теперь здесь базовые определения про аксиоматические теории 3
11:21, 8 апреля 2022 Dm1-l16-selezn.pdf (файл) 339 КБ SeleznevaSN   5
12:01, 7 апреля 2022 Требования к МД 618.pdf (файл) 78 КБ PodymovVV Требования к тексту магистерской диссертации в 2022 году 1
12:00, 7 апреля 2022 Требования к ВКР 418.pdf (файл) 76 КБ PodymovVV Требования к тексту ВКР в 2022 году 1
17:47, 6 апреля 2022 Specem 220408.pdf (файл) 651 КБ DanilovB   1
19:48, 5 апреля 2022 Dm1-kf-l12-selezn.pdf (файл) 494 КБ SeleznevaSN   1
13:25, 4 апреля 2022 Mathlog 318 seminar natural inference.pdf (файл) 139 КБ PodymovVV Расширил список задач, теперь оно на два семинара. 6
13:45, 1 апреля 2022 Mvk-22-04-08.pdf (файл) 37 КБ SeleznevaSN   1
20:22, 31 марта 2022 Dm1-l15-selezn.pdf (файл) 363 КБ SeleznevaSN   4
20:22, 31 марта 2022 Dm1-l14-selezn.pdf (файл) 332 КБ SeleznevaSN   4
11:16, 30 марта 2022 Specem 220401.pdf (файл) 143 КБ DanilovB   1
13:25, 29 марта 2022 Mvk-22-04-01.pdf (файл) 49 КБ SeleznevaSN   1
08:35, 28 марта 2022 Mathlog 318 b36.pdf (файл) 267 КБ PodymovVV Весна 2022. Теперь это теорема Чёрча 3
08:35, 28 марта 2022 Mathlog 318 b35.pdf (файл) 245 КБ PodymovVV Весна 2022. Теперь это про машины Тьюринга 3
08:34, 28 марта 2022 Mathlog 318 b34.pdf (файл) 202 КБ PodymovVV Весна 2022. Теперь это про задачи, проблемы, алгоритмы, разрешимость и m-сводимость 2
23:11, 22 марта 2022 Specem 220325.pdf (файл) 765 КБ DanilovB   1
15:16, 22 марта 2022 Dm1-l13-selezn.pdf (файл) 301 КБ SeleznevaSN   6
15:15, 22 марта 2022 Dm1-l12-selezn.pdf (файл) 460 КБ SeleznevaSN   7

Первая страница
Первая страница
Предыдущая страница
Предыдущая страница
Последняя страница
Последняя страница