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

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

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

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

убывДата Имя файла Миниатюра Размер Участник Описание Версий
18:27, 20 мая 2021 Mathlog 318 b39.pdf (файл) 343 КБ PodymovVV и ещё пара опечаток поправлена 3
20:44, 17 мая 2021 Requirements-kurs-2021.zip (файл) 29 КБ PodymovVV   1
02:58, 17 мая 2021 Mathlog 318 b47.pdf (файл) 282 КБ PodymovVV Математическая логика для 318, блок 47. Проверка моделей относительно логики деревьев вычислений (CTL model checking) 1
02:56, 17 мая 2021 Mathlog 318 b46.pdf (файл) 425 КБ PodymovVV Математическая логика для 318, блок 46. Императивные программы. Формальная верификация программ. Логика Хоара 1
02:55, 17 мая 2021 Mathlog 318 b45.pdf (файл) 151 КБ PodymovVV Математическая логика для 318, блок 45. Что ещё интересного есть в логике. Формальная верификация 1
14:48, 15 мая 2021 Mathlog 318 b42.pdf (файл) 269 КБ PodymovVV Поправил один из законов модальных логик 2
14:43, 15 мая 2021 Mathlog 318 b41.pdf (файл) 283 КБ PodymovVV поправил опечатки 2
14:40, 15 мая 2021 Mathlog 318 b40.pdf (файл) 288 КБ PodymovVV поправил опечатки 2
14:29, 15 мая 2021 Mathlog 318 b37.pdf (файл) 249 КБ PodymovVV поправил опечатки 2
14:22, 15 мая 2021 Mathlog 318 b36.pdf (файл) 320 КБ PodymovVV поправил опечатки 2
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
17:14, 22 апреля 2021 Mllp 318 seminar definability.pdf (файл) 145 КБ PodymovVV пара новых пунктов, слегка поправленная стилистика 4
10:51, 21 апреля 2021 К предзащите 618-2 2021.pdf (файл) 95 КБ PodymovVV   1
10:51, 21 апреля 2021 К предзащите 418 2021.pdf (файл) 92 КБ PodymovVV   1
22:13, 18 апреля 2021 Mathlog 318 b38.pdf (файл) 162 КБ PodymovVV Математическая логика для 318, блок 38. Арифметические интерпретации и теории 1
22:00, 18 апреля 2021 Mathlog 318 b35.pdf (файл) 247 КБ PodymovVV поправлена опечатка на слайде 3 2
21:57, 18 апреля 2021 Mathlog 318 b33.pdf (файл) 222 КБ PodymovVV поправил небольшие недочёты на предпоследнем слайде 2
17:29, 11 апреля 2021 Mathlog 318 b34.pdf (файл) 248 КБ PodymovVV Математическая логика для 318, блок 32. Машины Тьюринга 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
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
21:52, 21 марта 2021 Mathlog 318 b24.pdf (файл) 343 КБ PodymovVV Математическая логика для 318, блок 24. Полнота резолютивного вывода и теорема Эрбрана 1
21:49, 21 марта 2021 Mathlog 318 b23.pdf (файл) 307 КБ PodymovVV Математическая логика для 318, блок 23. Эрбрановские интерпретации 1
21:47, 21 марта 2021 Mathlog 318 b21.pdf (файл) 297 КБ PodymovVV поправил не очень хорошо подобранные слова 2
21:45, 21 марта 2021 Mathlog 318 b20.pdf (файл) 412 КБ PodymovVV поправил незначительные опечатки 2
14:58, 18 марта 2021 Mathlog 318 b22.pdf (файл) 201 КБ PodymovVV поправил опечатку на последнем слайде (неверный резолютивный вывод) 2
21:12, 14 марта 2021 Mathlog 318 b19.pdf (файл) 271 КБ PodymovVV косметические правки 2
21:12, 14 марта 2021 Mathlog 318 b18.pdf (файл) 237 КБ PodymovVV косметические правки + чуть расширено изложение 2
21:12, 14 марта 2021 Mathlog 318 b17.pdf (файл) 287 КБ PodymovVV косметические правки 2
21:11, 14 марта 2021 Mathlog 318 b16.pdf (файл) 269 КБ PodymovVV косметические правки 2
23:18, 28 февраля 2021 Mathlog 318 b15.pdf (файл) 237 КБ PodymovVV прошлая версия была не handout. поправил 2
23:18, 28 февраля 2021 Mathlog 318 b14.pdf (файл) 267 КБ PodymovVV прошлая версия была не handout. поправил 2
12:36, 20 февраля 2021 Mathlog 318 b8.pdf (файл) 221 КБ PodymovVV исправил ошибку в примерах таблиц 2
18:54, 19 февраля 2021 Mathlog 318 b13.pdf (файл) 313 КБ PodymovVV Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации п… 1
18:53, 19 февраля 2021 Mathlog 318 b12.pdf (файл) 252 КБ PodymovVV Математическая логика для 318, блок 12. метод семантических таблиц в логике предикатов: полнота 1
18:53, 19 февраля 2021 Mathlog 318 b11.pdf (файл) 250 КБ PodymovVV Математическая логика для 318, блок 11. метод семантических таблиц в логике предикатов: корректность 1
18:52, 19 февраля 2021 Mathlog 318 b10.pdf (файл) 212 КБ PodymovVV Математическая логика для 318, блок 10. метод семантических таблиц в логике предикатов: табличный вывод 1
18:52, 19 февраля 2021 Mathlog 318 b9.pdf (файл) 212 КБ PodymovVV Математическая логика для 318, блок 9. Подстановки (основные определения) 1
18:50, 19 февраля 2021 Mathlog 318 b7.pdf (файл) 289 КБ PodymovVV не помню, менял ли тут чего, так что на всякий случай обновил 2
18:50, 19 февраля 2021 Mathlog 318 b6.pdf (файл) 177 КБ PodymovVV причесал перед окончательным рассказом 2
17:56, 19 февраля 2021 Mathlog 318 b3.pdf (файл) 436 КБ PodymovVV "счётно-бесконечный" -> "счётный" 2
17:54, 19 февраля 2021 Mathlog 318 b2.pdf (файл) 272 КБ PodymovVV "счётно-бесконечный" -> "счётный" 2
00:47, 15 февраля 2021 Mathlog 318 b5.pdf (файл) 328 КБ PodymovVV Математическая логика для 318, блок 5: логика предикатов - выполнимость, общезначимость, логическое следствие 1

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