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