Список файлов
Эта служебная страница показывает все загруженные файлы.
Дата | Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
19:22, 4 декабря 2023 | MLLP VP 54.pdf (файл) | 257 КБ | PodymovVV | опечатки | 5 | |
13:01, 9 апреля 2024 | Mathlog 318 b40.pdf (файл) | 260 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 7 | |
17:51, 14 октября 2020 | Выставка кафедр Задачки.pdf (файл) | 263 КБ | PodymovVV | Осень 2020 | 1 | |
15:23, 20 февраля 2023 | Dusp title.png (файл) | 263 КБ | PodymovVV | Для презентации 2023 | 3 | |
11:44, 16 сентября 2023 | Verif VP 08.pdf (файл) | 267 КБ | PodymovVV | 2023-2024. Теперь тут модели Крипке | 5 | |
16:03, 24 ноября 2015 | 2015 cad-contest gallery 2.JPG (файл) | 267 КБ | PodymovVV | 2015 cad contest: фотография с iccad | 1 | |
15:25, 10 марта 2024 | Mathlog 318 b20.pdf (файл) | 270 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 | |
22:44, 24 сентября 2023 | MLLP VP 20.pdf (файл) | 272 КБ | PodymovVV | 2023-2024. теперь тут алгоритм унификации | 3 | |
10:44, 19 марта 2024 | DA VP 21.pdf (файл) | 275 КБ | PodymovVV | опечатки | 2 | |
19:15, 21 марта 2023 | DAS VP 23.pdf (файл) | 278 КБ | PodymovVV | опечатки и грубая ошибка в доказательстве | 2 | |
20:17, 24 сентября 2018 | Paper-24-2018.pdf (файл) | 283 КБ | PodymovVV | 1 | ||
13:47, 16 ноября 2020 | Hdl lecture 24.pdf (файл) | 286 КБ | PodymovVV | языки описания схем, 2020. символьные автоматы с таймерами | 1 | |
20:21, 24 сентября 2018 | Paper-29-2018.pdf (файл) | 288 КБ | PodymovVV | 1 | ||
16:43, 11 февраля 2024 | Mathlog 318 b3.pdf (файл) | 289 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 8 | |
17:44, 10 сентября 2023 | MLLP VP 03.pdf (файл) | 291 КБ | PodymovVV | Опечатки, уточнения | 4 | |
10:39, 13 ноября 2020 | Hdl lecture 17.pdf (файл) | 294 КБ | PodymovVV | 2020, суть та же | 6 | |
11:00, 17 декабря 2020 | Hdl lecture aux 02.pdf (файл) | 295 КБ | PodymovVV | поправлена одна незначительная опечатка | 3 | |
10:40, 13 ноября 2020 | Hdl lecture 18.pdf (файл) | 304 КБ | PodymovVV | 2020, суть та же | 6 | |
11:01, 17 декабря 2020 | Hdl lecture aux 05.pdf (файл) | 312 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 | |
23:11, 26 сентября 2016 | Prac 318 GNU Make.pdf (файл) | 322 КБ | PodymovVV | 2 | ||
13:45, 16 ноября 2020 | Hdl lecture 20.pdf (файл) | 324 КБ | PodymovVV | 2020. теперь тут типовая реализация автомата в verilog | 3 | |
23:45, 3 октября 2016 | Prac 318 command line in cpp.pdf (файл) | 326 КБ | PodymovVV | Лекция про разбор параметров командной строки в исходном коде C/C++ | 1 | |
19:09, 14 октября 2020 | Выставка кафедр Информационный лист (миниатюра).png (файл) | 331 КБ | PodymovVV | Осень 2020 | 1 | |
10:13, 11 февраля 2020 | Mathlog 318 lecture 2.pdf (файл) | 333 КБ | PodymovVV | исправлена пара опечаток | 11 | |
14:59, 24 ноября 2015 | 2015 cad contest winners award.jpg (файл) | 334 КБ | PodymovVV | 2015 cad contest: грамота победителям | 1 | |
17:46, 23 февраля 2019 | Mathlog 318 lecture 4.pdf (файл) | 334 КБ | PodymovVV | обновлённая версия: весенний семестр 2018/2019 учебного года | 5 | |
13:18, 2 апреля 2020 | Mathlog 318 lecture 9.pdf (файл) | 335 КБ | PodymovVV | весна 2020. от резолютивного вывода до теоремы эрбрана. | 5 | |
19:02, 24 мая 2020 | Mathlog 318 lecture 17.pdf (файл) | 337 КБ | PodymovVV | Весна 2020. Минимальные изменения - пара правок в терминологии. | 5 | |
14:04, 26 октября 2019 | Lecture Verification 7.pdf (файл) | 341 КБ | PodymovVV | 2019. Добавил пару картинок | 6 | |
18:47, 16 сентября 2023 | HDL VP 03.pdf (файл) | 341 КБ | PodymovVV | опечатки | 2 | |
13:44, 16 ноября 2020 | Hdl lecture 19.pdf (файл) | 345 КБ | PodymovVV | 2020. теперь тут синтаксический сахар Verilog | 7 | |
11:35, 25 апреля 2019 | Mathlog 318 lecture 13.pdf (файл) | 345 КБ | PodymovVV | опечатка была плохо поправлена, а теперь хорошо | 15 | |
10:41, 16 мая 2020 | Mathlog 318 lecture 14.pdf (файл) | 346 КБ | PodymovVV | слегка подправил вводный слайд | 7 | |
19:03, 18 сентября 2023 | Verif VP 09.pdf (файл) | 347 КБ | PodymovVV | опечатки | 8 | |
16:47, 29 мая 2015 | Mathlog 318 lecture 19.pdf.pdf (файл) | 348 КБ | PodymovVV | лекция 19 по курсу математической логики для 318 группы | 1 | |
12:43, 22 марта 2020 | Mathlog 318 lecture 8.pdf (файл) | 351 КБ | PodymovVV | 2020, весна. Алгоритм унификации с доказательством. | 6 | |
00:08, 29 октября 2021 | Hdl lecture 15.pdf (файл) | 353 КБ | PodymovVV | Обновил год | 7 | |
12:33, 29 ноября 2019 | Lecture Verification 10.pdf (файл) | 355 КБ | PodymovVV | обновлён год + мелкие не очень значительные правки. по содержанию всё то же. | 6 | |
14:34, 22 апреля 2019 | Mathlog 318 lecture 12.pdf (файл) | 356 КБ | PodymovVV | поправлены опечатки | 6 | |
14:19, 20 октября 2020 | Lecture Verification 7 eng.pdf (файл) | 357 КБ | PodymovVV | Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl | 1 | |
10:34, 23 апреля 2018 | Mathlog 318 lecture 13new.pdf (файл) | 358 КБ | PodymovVV | 1 | ||
10:59, 4 марта 2020 | Mathlog 318 lecture 4 5.pdf (файл) | 359 КБ | PodymovVV | мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода). | 1 | |
11:42, 17 мая 2020 | Mathlog 318 lecture 16.pdf (файл) | 359 КБ | PodymovVV | весна 2020. ltl для формальной верификации | 5 | |
15:01, 24 ноября 2015 | 2015 cad contest team.jpg (файл) | 363 КБ | PodymovVV | 2015 cad contest: фотография команды на фоне мгу | 1 | |
12:07, 30 марта 2020 | Mathlog 318 lecture 7.pdf (файл) | 367 КБ | PodymovVV | мелкие правки | 7 | |
14:45, 1 декабря 2020 | Lecture Verification 10 eng.pdf (файл) | 370 КБ | PodymovVV | курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов | 1 | |
12:58, 16 марта 2020 | Mathlog 318 lecture 6.pdf (файл) | 371 КБ | PodymovVV | 2020, весенний семестр. метод сем.таблиц от полноты до конца + равносильность | 6 | |
11:39, 21 апреля 2020 | Mathlog 318 lecture 11.pdf (файл) | 371 КБ | PodymovVV | поправил недочёты на последнем слайде (про исчисление дизъюнктов) | 9 | |
10:45, 20 ноября 2019 | Lecture Verification 9.pdf (файл) | 376 КБ | PodymovVV | 2019. обновил год, остальное то же | 7 | |
11:41, 17 мая 2020 | Mathlog 318 lecture 15.pdf (файл) | 381 КБ | PodymovVV | весна 2020. логика хоара | 7 |
Первая страница |
Предыдущая страница |
Следующая страница |
Последняя страница |