Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 00:08, 29 октября 2021 | Hdl lecture 16.pdf (файл) |  |
182 КБ | PodymovVV | Обновил год | 6 |
| 00:08, 29 октября 2021 | Hdl lecture 15.pdf (файл) | |
353 КБ | PodymovVV | Обновил год | 7 |
| 00:07, 29 октября 2021 | Hdl lecture 14.pdf (файл) | |
254 КБ | PodymovVV | Обновил год | 7 |
| 00:07, 29 октября 2021 | Hdl lecture 13.pdf (файл) | |
183 КБ | PodymovVV | Обновил год | 7 |
| 00:07, 29 октября 2021 | Hdl lecture 12.pdf (файл) | |
573 КБ | PodymovVV | Обновил год | 7 |
| 00:07, 29 октября 2021 | Hdl lecture 11.pdf (файл) | |
503 КБ | PodymovVV | Обновил год | 10 |
| 00:06, 29 октября 2021 | Hdl practice 03.pdf (файл) | |
226 КБ | PodymovVV | Обновил год | 3 |
| 00:06, 29 октября 2021 | Hdl practice 02.pdf (файл) | |
194 КБ | PodymovVV | Обновил год | 3 |
| 12:34, 24 сентября 2021 | Hdl practice 01.pdf (файл) | |
210 КБ | PodymovVV | Обновлён год на титуле | 3 |
| 12:32, 24 сентября 2021 | Hdl lecture 10.pdf (файл) | |
185 КБ | PodymovVV | Обновлён год на титуле | 7 |
| 12:32, 24 сентября 2021 | Hdl lecture 09.pdf (файл) | |
148 КБ | PodymovVV | Обновлён год на титуле | 7 |
| 12:32, 24 сентября 2021 | Hdl lecture 08.pdf (файл) | |
215 КБ | PodymovVV | Обновлён год на титуле | 9 |
| 12:31, 24 сентября 2021 | Hdl lecture 07.pdf (файл) | |
141 КБ | PodymovVV | Обновлён год на титуле | 7 |
| 12:31, 24 сентября 2021 | Hdl lecture 06.pdf (файл) | |
213 КБ | PodymovVV | Обновлён год на титуле | 8 |
| 12:31, 24 сентября 2021 | Hdl lecture 05.pdf (файл) | |
157 КБ | PodymovVV | Обновлён год на титуле | 6 |
| 12:31, 24 сентября 2021 | Hdl lecture 04.pdf (файл) | |
221 КБ | PodymovVV | Обновлён год на титуле | 7 |
| 12:30, 24 сентября 2021 | Hdl lecture 03.pdf (файл) | |
422 КБ | PodymovVV | Обновлён год на титуле | 6 |
| 12:30, 24 сентября 2021 | Hdl lecture 02.pdf (файл) | |
227 КБ | PodymovVV | Обновлён год на титуле | 6 |
| 12:29, 24 сентября 2021 | Hdl lecture 01.pdf (файл) | |
214 КБ | PodymovVV | Обновлён год на титуле | 6 |
| 20:44, 17 мая 2021 | Requirements-kurs-2021.zip (файл) |  |
29 КБ | PodymovVV | 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 | |
| 11:01, 17 декабря 2020 | Hdl lecture aux 05.pdf (файл) | |
312 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 |
| 11:01, 17 декабря 2020 | Hdl lecture aux 04.pdf (файл) | |
225 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 |
| 11:00, 17 декабря 2020 | Hdl lecture aux 03.pdf (файл) | |
125 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 |
| 11:00, 17 декабря 2020 | Hdl lecture aux 02.pdf (файл) | |
295 КБ | PodymovVV | поправлена одна незначительная опечатка | 3 |
| 18:50, 9 декабря 2020 | Hdl lecture aux 01.pdf (файл) | |
252 КБ | PodymovVV | 3 | |
| 22:11, 1 декабря 2020 | Seminar Verification 10 eng.pdf (файл) | |
521 КБ | PodymovVV | курс методов верификации, 2020. английский перевод семинара по UPPAAL | 1 |
| 14:45, 1 декабря 2020 | Lecture Verification 10 eng.pdf (файл) | |
370 КБ | PodymovVV | курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов | 1 |
| 20:24, 24 ноября 2020 | Lecture Verification 9 eng.pdf (файл) | |
398 КБ | PodymovVV | курс методов верификации, 2020. лекция про временные автоматы и tctl | 1 |
| 14:21, 16 ноября 2020 | Hdl practice 06.pdf (файл) | |
206 КБ | PodymovVV | 2020. косметические правки | 2 |
| 14:20, 16 ноября 2020 | Hdl practice 05.pdf (файл) | |
195 КБ | PodymovVV | 2020. теперь тут задачки на параметры, массивы и генерацию в verilog | 2 |
| 13:52, 16 ноября 2020 | Hdl lecture 22.pdf (файл) | |
190 КБ | PodymovVV | поправил опечатку на титульном слайде (неправильный номер блока) | 3 |
| 13:47, 16 ноября 2020 | Hdl lecture 24.pdf (файл) | |
286 КБ | PodymovVV | языки описания схем, 2020. символьные автоматы с таймерами | 1 |
| 13:47, 16 ноября 2020 | Hdl lecture 23.pdf (файл) | |
231 КБ | PodymovVV | 2020. теперь тут рассказ про то, как спроектировать управляющий автомат, когда операционный дан | 2 |
| 13:46, 16 ноября 2020 | Hdl lecture 21.pdf (файл) | |
212 КБ | PodymovVV | 2020. теперь тут рассказ про операционный и управляющий автоматы | 2 |
| 13:45, 16 ноября 2020 | Hdl lecture 20.pdf (файл) | |
324 КБ | PodymovVV | 2020. теперь тут типовая реализация автомата в verilog | 3 |
| 13:44, 16 ноября 2020 | Hdl lecture 19.pdf (файл) | |
345 КБ | PodymovVV | 2020. теперь тут синтаксический сахар Verilog | 7 |
| 10:40, 13 ноября 2020 | Hdl practice 04.pdf (файл) | |
216 КБ | PodymovVV | 2020. Теперь тут автоматы - а продвинутый синтаксис verilog оставлен на потом | 2 |
| 10:40, 13 ноября 2020 | Hdl lecture 18.pdf (файл) | |
304 КБ | PodymovVV | 2020, суть та же | 6 |
| 10:39, 13 ноября 2020 | Hdl lecture 17.pdf (файл) | |
294 КБ | PodymovVV | 2020, суть та же | 6 |
| 18:43, 9 ноября 2020 | Seminar Verification 8 eng.pdf (файл) | |
194 КБ | PodymovVV | курс методов верификации, 2020. семинар с задачами по средству spin (англ.) | 1 |
| 15:03, 3 ноября 2020 | Seminar Verification 7 eng.pdf (файл) | |
856 КБ | PodymovVV | курс методов верификации, 2020. английский перевод обзора средства spin. | 1 |
| 18:28, 20 октября 2020 | Seminar Verification 5 eng.pdf (файл) | |
1,54 МБ | PodymovVV | курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv) | 1 |
| 14:19, 20 октября 2020 | Lecture Verification 7 eng.pdf (файл) | |
357 КБ | PodymovVV | Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl | 1 |
| 16:08, 19 октября 2020 | Seminar Verification 4 eng.pdf (файл) | |
599 КБ | PodymovVV | 2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV) | 1 |
| 19:10, 14 октября 2020 | Выставка кафедр Задачки (миниатюра).png (файл) | .png) |
180 КБ | PodymovVV | Осень 2020 | 1 |
| 19:09, 14 октября 2020 | Выставка кафедр Информационный лист (миниатюра).png (файл) | .png) |
331 КБ | PodymovVV | Осень 2020 | 1 |
| 18:48, 14 октября 2020 | Постер кафедры (миниатюра).png (файл) | .png) |
707 КБ | PodymovVV | Осень 2020 | 1 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
