Список файлов
Эта служебная страница показывает все загруженные файлы.
![]() |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
23:44, 8 сентября 2020 | Seminar Verification 1 eng.pdf (файл) | ![]() |
208 КБ | PodymovVV | курс методов верификации. осень 2020. семинар по логике хоара на английском | 1 |
11:11, 8 сентября 2020 | Lecture Verification 2 eng.pdf (файл) | ![]() |
429 КБ | PodymovVV | магистерский курс методов верификации, лекция про логику Хоара | 1 |
14:47, 1 июля 2020 | Test.txt (файл) | ![]() |
6 байт | PodymovVV | 5 | |
19:02, 24 мая 2020 | Mathlog 318 lecture 17.pdf (файл) | ![]() |
337 КБ | PodymovVV | Весна 2020. Минимальные изменения - пара правок в терминологии. | 5 |
11:42, 17 мая 2020 | Mathlog 318 lecture 16.pdf (файл) | ![]() |
359 КБ | PodymovVV | весна 2020. ltl для формальной верификации | 5 |
11:41, 17 мая 2020 | Mathlog 318 lecture 15.pdf (файл) | ![]() |
381 КБ | PodymovVV | весна 2020. логика хоара | 7 |
10:41, 16 мая 2020 | Mathlog 318 lecture 14.pdf (файл) | ![]() |
346 КБ | PodymovVV | слегка подправил вводный слайд | 7 |
11:27, 3 мая 2020 | Mathlog 318 lecture 12 13.pdf (файл) | ![]() |
397 КБ | PodymovVV | поправлены опечатки | 2 |
11:39, 21 апреля 2020 | Mathlog 318 lecture 11.pdf (файл) | ![]() |
371 КБ | PodymovVV | поправил недочёты на последнем слайде (про исчисление дизъюнктов) | 9 |
16:04, 13 апреля 2020 | Mathlog 318 lecture 10.pdf (файл) | ![]() |
410 КБ | PodymovVV | урезано согласно фактически прочитанному: машины Тьюринга будут в лекции 11 | 6 |
13:18, 2 апреля 2020 | Mathlog 318 lecture 9.pdf (файл) | ![]() |
335 КБ | PodymovVV | весна 2020. от резолютивного вывода до теоремы эрбрана. | 5 |
12:07, 30 марта 2020 | Mathlog 318 lecture 7.pdf (файл) | ![]() |
367 КБ | PodymovVV | мелкие правки | 7 |
12:43, 22 марта 2020 | Mathlog 318 lecture 8.pdf (файл) | ![]() |
351 КБ | PodymovVV | 2020, весна. Алгоритм унификации с доказательством. | 6 |
12:58, 16 марта 2020 | Mathlog 318 lecture 6.pdf (файл) | ![]() |
371 КБ | PodymovVV | 2020, весенний семестр. метод сем.таблиц от полноты до конца + равносильность | 6 |
10:59, 4 марта 2020 | Mathlog 318 lecture 4 5.pdf (файл) | ![]() |
359 КБ | PodymovVV | мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода). | 1 |
11:27, 18 февраля 2020 | Mathlog 318 lecture 3.pdf (файл) | ![]() |
461 КБ | PodymovVV | весна 2020. вырезаны последние темы, взамен подробнее строится формула по предложению | 7 |
10:13, 11 февраля 2020 | Mathlog 318 lecture 2.pdf (файл) | ![]() |
333 КБ | PodymovVV | исправлена пара опечаток | 11 |
12:59, 10 февраля 2020 | Mathlog 318 lecture 1.pdf (файл) | ![]() |
997 КБ | PodymovVV | Версия весны 2020. Мелкие правки. | 8 |
12:33, 29 ноября 2019 | Lecture Verification 10.pdf (файл) | ![]() |
355 КБ | PodymovVV | обновлён год + мелкие не очень значительные правки. по содержанию всё то же. | 6 |
10:45, 20 ноября 2019 | Lecture Verification 9.pdf (файл) | ![]() |
376 КБ | PodymovVV | 2019. обновил год, остальное то же | 7 |
21:38, 5 ноября 2019 | Seminar Verification 8.pdf (файл) | ![]() |
185 КБ | PodymovVV | 2019. обновил год, остальное то же | 5 |
14:05, 26 октября 2019 | Seminar Verification 7.pdf (файл) | ![]() |
841 КБ | PodymovVV | 2019. Пара мелких визуальных правок | 8 |
14:04, 26 октября 2019 | Lecture Verification 7.pdf (файл) | ![]() |
341 КБ | PodymovVV | 2019. Добавил пару картинок | 6 |
12:30, 14 октября 2019 | Seminar Verification 4.pdf (файл) | ![]() |
613 КБ | PodymovVV | обновил год, наполнение то же | 7 |
09:40, 8 октября 2019 | Seminar Verification 3.pdf (файл) | ![]() |
177 КБ | PodymovVV | поменялся год, остальное как было | 6 |
12:23, 24 сентября 2019 | Seminar Verification 2.pdf (файл) | ![]() |
219 КБ | PodymovVV | осень 2019. перестановка условий, несколько мелких правок | 7 |
17:08, 10 сентября 2019 | Seminar Verification 1.pdf (файл) | ![]() |
223 КБ | PodymovVV | осень 2019, поменял последовательность задач | 6 |
12:29, 6 сентября 2019 | Lecture Verification 2.pdf (файл) | ![]() |
446 КБ | PodymovVV | снова мелкие правки | 4 |
11:35, 25 апреля 2019 | Mathlog 318 lecture 13.pdf (файл) | ![]() |
345 КБ | PodymovVV | опечатка была плохо поправлена, а теперь хорошо | 15 |
14:34, 22 апреля 2019 | Mathlog 318 lecture 12.pdf (файл) | ![]() |
356 КБ | PodymovVV | поправлены опечатки | 6 |
13:13, 2 марта 2019 | Mathlog 318 lecture 5.pdf (файл) | ![]() |
423 КБ | PodymovVV | предыдущая версия - обновлённая версия: весенний семестр 2018/2019 учебного года в этой версии исправлено несколько опечаток | 6 |
17:46, 23 февраля 2019 | Mathlog 318 lecture 4.pdf (файл) | ![]() |
334 КБ | PodymovVV | обновлённая версия: весенний семестр 2018/2019 учебного года | 5 |
11:22, 15 февраля 2019 | LectEng2.pdf (файл) | ![]() |
450 КБ | PodymovVV | 3 | |
13:58, 11 декабря 2018 | Otchet pattern618-2018.zip (файл) | ![]() |
148 КБ | PodymovVV | поправлен мелкий некритичный баг ("Список литературы") | 2 |
13:57, 11 декабря 2018 | Otchet pattern418-2018.zip (файл) | ![]() |
144 КБ | PodymovVV | поправлен мелкий некритичный баг ("Список литературы") | 2 |
12:19, 28 ноября 2018 | Seminar Verification 10.pdf (файл) | ![]() |
478 КБ | PodymovVV | семинар по uppaal, версия 18-го года (поправлена стилистика) | 4 |
20:38, 7 ноября 2018 | Traditional meeting 2018 announcement.pdf (файл) | ![]() |
59 КБ | PodymovVV | объявление о вечере кафедр 2018 | 1 |
22:43, 28 сентября 2018 | Seminar Verification 5.pdf (файл) | ![]() |
1,56 МБ | PodymovVV | 3 | |
20:23, 24 сентября 2018 | Paper-33-2018.pdf (файл) | ![]() |
1,98 МБ | PodymovVV | 1 | |
20:23, 24 сентября 2018 | Paper-32-2018.pdf (файл) | ![]() |
254 КБ | PodymovVV | 1 | |
20:22, 24 сентября 2018 | Paper-31-2018.pdf (файл) | ![]() |
181 КБ | PodymovVV | 1 | |
20:21, 24 сентября 2018 | Paper-30-2018.pdf (файл) | ![]() |
443 КБ | PodymovVV | 1 | |
20:21, 24 сентября 2018 | Paper-29-2018.pdf (файл) | ![]() |
288 КБ | PodymovVV | 1 | |
20:20, 24 сентября 2018 | Paper-28-2018.pdf (файл) | ![]() |
745 КБ | PodymovVV | 1 | |
20:19, 24 сентября 2018 | Paper-27-2018.pdf (файл) | ![]() |
187 КБ | PodymovVV | 1 | |
20:18, 24 сентября 2018 | Paper-26-2018.pdf (файл) | ![]() |
170 КБ | PodymovVV | 1 | |
20:17, 24 сентября 2018 | Paper-25-2018.pdf (файл) | ![]() |
440 КБ | PodymovVV | 1 | |
20:17, 24 сентября 2018 | Paper-24-2018.pdf (файл) | ![]() |
283 КБ | PodymovVV | 1 | |
20:16, 24 сентября 2018 | Paper-23-2018.pdf (файл) | ![]() |
2,37 МБ | PodymovVV | 1 | |
20:12, 24 сентября 2018 | Paper-22-2018.pdf (файл) | ![]() |
234 КБ | PodymovVV | 1 |
![]() Первая страница |
![]() Предыдущая страница |
![]() Следующая страница |
![]() Последняя страница |