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

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

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

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

убывДата Имя файла Миниатюра Размер Участник Описание Версий
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
18:36, 20 апреля 2022 Mathlog 318 b41.pdf (файл) 275 КБ PodymovVV Исправлена пара опечаток 4
18:36, 20 апреля 2022 Mathlog 318 b38.pdf (файл) 249 КБ PodymovVV Исправлена пара опечаток 3
08:08, 18 апреля 2022 Mathlog 318 b40.pdf (файл) 377 КБ PodymovVV Весна 2022. Теперь тут про определения и выразимость 3
08:07, 18 апреля 2022 Mathlog 318 b39.pdf (файл) 160 КБ PodymovVV Весна 2022. Теперь тут про арифметические интерпретации и теории 4
18:05, 14 апреля 2022 Dsa title.png (файл) 106 КБ PodymovVV   3
17:58, 14 апреля 2022 DSA2022.pdf (файл) 69 КБ PodymovVV Презентация о научно-образовательном направлении "Дискретные структуры и алгоритмы" кафедры МК, 2022 1
21:44, 10 апреля 2022 Mathlog 318 b37.pdf (файл) 343 КБ PodymovVV Весна 2022. Теперь здесь базовые определения про аксиоматические теории 3
12:01, 7 апреля 2022 Требования к МД 618.pdf (файл) 78 КБ PodymovVV Требования к тексту магистерской диссертации в 2022 году 1
12:00, 7 апреля 2022 Требования к ВКР 418.pdf (файл) 76 КБ PodymovVV Требования к тексту ВКР в 2022 году 1
13:25, 4 апреля 2022 Mathlog 318 seminar natural inference.pdf (файл) 139 КБ PodymovVV Расширил список задач, теперь оно на два семинара. 6
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
16:48, 21 марта 2022 Mathlog 318 b30.pdf (файл) 266 КБ PodymovVV Исправлена пара незначительных опечаток 3
16:48, 21 марта 2022 Mathlog 318 b28.pdf (файл) 198 КБ PodymovVV Исправлена незначительная опечатка 3
21:40, 20 марта 2022 Mathlog 318 b33.pdf (файл) 190 КБ PodymovVV Весна 2022. Теперь тут полнота НИП 3
21:39, 20 марта 2022 Mathlog 318 b32.pdf (файл) 231 КБ PodymovVV Весна 2022. Теперь тут ГИП и формулировка теоремы Гёделя о полноте 3
21:38, 20 марта 2022 Mathlog 318 b31.pdf (файл) 332 КБ PodymovVV Весна 2022. Теперь тут основные определения и корректность НИП 3
21:37, 20 марта 2022 Mathlog 318 b29.pdf (файл) 208 КБ PodymovVV Весна 2022. Теперь тут корректность НИВ и сопутствующее 2
10:22, 14 марта 2022 Mathlog 318 b27.pdf (файл) 233 КБ PodymovVV Весна 2022. Теперь здесь начало про логические исчисления. 3
10:21, 14 марта 2022 Mathlog 318 b26.pdf (файл) 282 КБ PodymovVV Весна 2022. Теперь здесь заключительный пример на методы сем таб и резол. 2
11:58, 8 марта 2022 Mathlog 318 b25.pdf (файл) 322 КБ PodymovVV Поправлена стыдная ошибка: следствие не в ту сторону на слайде 2. 3
11:54, 8 марта 2022 Mathlog 318 b24.pdf (файл) 306 КБ PodymovVV Поправлена стыдная ошибка: следствие не в ту сторону на слайде 2. 3
11:52, 8 марта 2022 Mathlog 318 b23.pdf (файл) 202 КБ PodymovVV Поправлена стыдная ошибка, следствие не в ту сторону на слайде 2. 4
19:57, 6 марта 2022 Mathlog 318 b22.pdf (файл) 273 КБ PodymovVV ударение над "выводим" 4
19:49, 6 марта 2022 Mathlog 318 b21.pdf (файл) 399 КБ PodymovVV Мелкая техническая правка 4
19:46, 6 марта 2022 Mathlog 318 b20.pdf (файл) 262 КБ PodymovVV Мелкая техническая правка 4
19:42, 6 марта 2022 Mathlog 318 b16.pdf (файл) 226 КБ PodymovVV Мелкая техническая правка 4
11:37, 2 марта 2022 Mathlog 318 b5.pdf (файл) 121 КБ PodymovVV Техническая правка: убрал ненужный заголовок слайдов 5
08:47, 28 февраля 2022 Mathlog 318 b19.pdf (файл) 228 КБ PodymovVV Весна 2022. Теперь это про системы дизъюнктов. 3
08:46, 28 февраля 2022 Mathlog 318 b18.pdf (файл) 278 КБ PodymovVV Весна 2022. Теперь это про ССФ. 3
23:04, 20 февраля 2022 Mathlog 318 b17.pdf (файл) 266 КБ PodymovVV Весна 2022. Теперь это про ПНФ. 3
23:03, 20 февраля 2022 Mathlog 318 b15.pdf (файл) 263 КБ PodymovVV Весна 2022. Теперь это общая схема метода резолюций. 3
23:03, 20 февраля 2022 Mathlog 318 b14.pdf (файл) 302 КБ PodymovVV Весна 2022. Теперь это послесловие метода семантических таблиц (Лёвенгейм-Сколем, Мальцев, автоматизация доказательства теорем). 3
23:02, 20 февраля 2022 Mathlog 318 b13.pdf (файл) 241 КБ PodymovVV Весна 2022. Теперь это про полноту табличного вывода в логике предикатов. 2
23:02, 20 февраля 2022 Mathlog 318 b12.pdf (файл) 236 КБ PodymovVV Весна 2022. Теперь это про корректность табличного вывода в логике предикатов. 2
23:01, 20 февраля 2022 Mathlog 318 b11.pdf (файл) 204 КБ PodymovVV Весна 2022. Теперь это про табличный вывод в логике предикатов. 2
23:01, 20 февраля 2022 Mathlog 318 b10.pdf (файл) 211 КБ PodymovVV Весна 2022. Теперь это про подстановки. 2
23:00, 20 февраля 2022 Mathlog 318 b9.pdf (файл) 210 КБ PodymovVV Весна 2022. Теперь это про семантические таблицы в логике предикатов. 2
23:00, 20 февраля 2022 Mathlog 318 b8.pdf (файл) 277 КБ PodymovVV Технические правки, без существенных содержательных изменений. 4
22:59, 20 февраля 2022 Mathlog 318 b7.pdf (файл) 162 КБ PodymovVV Технические правки, без существенных содержательных изменений. 4

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