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

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

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

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

убывДата Имя файла Миниатюра Размер Участник Описание Версий
15:30, 12 мая 2021 Etdus-lectures-2021-1.pdf (файл) 1,56 МБ DanilovB   2
13:58, 11 мая 2021 Dmus-exam-var.pdf (файл) 95 КБ SeleznevaSN   1
13:18, 11 мая 2021 Mvk-21-05-28.pdf (файл) 38 КБ SeleznevaSN   1
20:31, 2 мая 2021 Mathlog 318 b44.pdf (файл) 181 КБ PodymovVV Математическая логика для 318, блок 44. Темпоральные логики 1
20:31, 2 мая 2021 Mathlog 318 b43.pdf (файл) 158 КБ PodymovVV Математическая логика для 318, блок 43. Эпистемические логики 1
20:30, 2 мая 2021 Mathlog 318 b42.pdf (файл) 269 КБ PodymovVV Математическая логика для 318, блок 42. Модальные логики 1
16:10, 27 апреля 2021 Курс ОК 320-328 2021 04 27 онлайн.doc (файл) 80 КБ RomanovDS   1
20:53, 25 апреля 2021 Mathlog 318 b41.pdf (файл) 283 КБ PodymovVV Математическая логика для 318, блок 41. Арифметика Пресбургера 1
20:53, 25 апреля 2021 Mathlog 318 b40.pdf (файл) 288 КБ PodymovVV Математическая логика для 318, блок 40. Формальная арифметика и теорема Гёделя о неполноте 1
21:39, 23 апреля 2021 Mvk-21-05-21.pdf (файл) 39 КБ SeleznevaSN   1
17:14, 22 апреля 2021 Mllp 318 seminar definability.pdf (файл) 145 КБ PodymovVV пара новых пунктов, слегка поправленная стилистика 4
12:24, 21 апреля 2021 К предзащите 618-1 2021.pdf (файл) 95 КБ SeleznevaSN   1
10:51, 21 апреля 2021 К предзащите 618-2 2021.pdf (файл) 95 КБ PodymovVV   1
10:51, 21 апреля 2021 К предзащите 418 2021.pdf (файл) 92 КБ PodymovVV   1
20:20, 20 апреля 2021 Mvk-21-05-14.pdf (файл) 45 КБ SeleznevaSN   1
17:06, 20 апреля 2021 Dm1-l16-selezn.pdf (файл) 285 КБ SeleznevaSN   4
17:06, 20 апреля 2021 Dm1-l15-selezn.pdf (файл) 351 КБ SeleznevaSN   3
22:14, 18 апреля 2021 Mathlog 318 b39.pdf (файл) 343 КБ PodymovVV Математическая логика для 318, блок 39. Определения и выразимость 1
22:13, 18 апреля 2021 Mathlog 318 b38.pdf (файл) 162 КБ PodymovVV Математическая логика для 318, блок 38. Арифметические интерпретации и теории 1
22:11, 18 апреля 2021 Mathlog 318 b37.pdf (файл) 249 КБ PodymovVV Математическая логика для 318, блок 37. Основные свойства аксиоматических теорий 1
22:11, 18 апреля 2021 Mathlog 318 b36.pdf (файл) 327 КБ PodymovVV Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории 1
22:00, 18 апреля 2021 Mathlog 318 b35.pdf (файл) 247 КБ PodymovVV поправлена опечатка на слайде 3 2
21:57, 18 апреля 2021 Mathlog 318 b33.pdf (файл) 222 КБ PodymovVV поправил небольшие недочёты на предпоследнем слайде 2
16:36, 16 апреля 2021 ZADACHI2021.pdf (файл) 196 КБ DanilovB   1
16:36, 16 апреля 2021 Zadachi title.png (файл) 90 КБ DanilovB   1
16:31, 16 апреля 2021 Dusp title.png (файл) 373 КБ DanilovB   2
14:55, 16 апреля 2021 Mvk-21-04-30.pdf (файл) 39 КБ SeleznevaSN   1
13:30, 16 апреля 2021 DCSA2021.pdf (файл) 1,77 МБ ShupletsovMS   1
15:23, 15 апреля 2021 Mvk-21-04-16.pdf (файл) 41 КБ SeleznevaSN   2
14:43, 15 апреля 2021 Dm1-l18-selezn.pdf (файл) 266 КБ SeleznevaSN   2
16:28, 13 апреля 2021 Dm1-l17-selezn.pdf (файл) 507 КБ SeleznevaSN   3
17:29, 11 апреля 2021 Mathlog 318 b34.pdf (файл) 248 КБ PodymovVV Математическая логика для 318, блок 32. Машины Тьюринга 1
22:41, 8 апреля 2021 Specem 210409.pdf (файл) 640 КБ DanilovB   1
15:52, 7 апреля 2021 Mathlog 318 seminar natural inference.pdf (файл) 122 КБ PodymovVV и ещё капельку поправил (расположение правил вывода) 5
15:49, 4 апреля 2021 Mathlog 318 b32.pdf (файл) 206 КБ PodymovVV случайно залил версию не-handout, поправил 2
14:31, 4 апреля 2021 Mathlog 318 b31.pdf (файл) 242 КБ PodymovVV поправил недочёт в титуле 2
14:26, 4 апреля 2021 Mathlog 318 b30.pdf (файл) 335 КБ PodymovVV Математическая логика для 318, блок 30. Натуральное исчисление предикатов (основные определения, корректность) 1
14:25, 4 апреля 2021 Mathlog 318 b29.pdf (файл) 251 КБ PodymovVV Математическая логика для 318, блок 29. Натуральное исчисление высказываний (полнота) 1
14:25, 4 апреля 2021 Mathlog 318 b28.pdf (файл) 200 КБ PodymovVV Математическая логика для 318, блок 28. Натуральное исчисление высказываний (корректность) 1
14:24, 4 апреля 2021 Mathlog 318 b27.pdf (файл) 172 КБ PodymovVV не помню, менял ли что, на всякий случай обновил 2
09:02, 3 апреля 2021 Specem 210402.pdf (файл) 624 КБ DanilovB   1
20:43, 30 марта 2021 Dm1-l14-selezn.pdf (файл) 339 КБ SeleznevaSN   3
20:43, 30 марта 2021 Dm1-l13-selezn.pdf (файл) 363 КБ SeleznevaSN   5
15:47, 29 марта 2021 Курс ЭТСНКДУС-21-1.pdf (файл) 118 КБ DanilovB   1
22:51, 28 марта 2021 Mathlog 318 b26.pdf (файл) 223 КБ PodymovVV Математическая логика для 318, блок 26. Устройство доказательств, логические исчисления 1
22:50, 28 марта 2021 Mathlog 318 b25.pdf (файл) 310 КБ PodymovVV Математическая логика для 318, блок 25. Метод резолюций - заключительный пример 1
11:09, 24 марта 2021 Dm1-l12-selezn.pdf (файл) 332 КБ SeleznevaSN   6
11:09, 24 марта 2021 Dm1-l11-selezn.pdf (файл) 300 КБ SeleznevaSN   6
04:02, 24 марта 2021 Specem 210326.pdf (файл) 624 КБ DanilovB   2
19:35, 23 марта 2021 Dm1-l10-selezn.pdf (файл) 464 КБ SeleznevaSN   5

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