Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 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 |
| 17:59, 14 октября 2020 | Постер кафедры.jpg (файл) | Ошибка создания миниатюры: Ошибочный параметр миниатюры |
2,05 МБ | PodymovVV | Осень 2020 | 1 |
| 17:57, 14 октября 2020 | Постер кафедры.png (файл) | Ошибка создания миниатюры: Ошибочный параметр миниатюры |
3,13 МБ | PodymovVV | 1 | |
| 17:51, 14 октября 2020 | Выставка кафедр Задачки.pdf (файл) | |
263 КБ | PodymovVV | Осень 2020 | 1 |
| 17:28, 14 октября 2020 | Постер кафедры.pdf (файл) | |
1,72 МБ | PodymovVV | 1 | |
| 17:37, 6 октября 2020 | Seminar Verification 3 eng.pdf (файл) | |
194 КБ | PodymovVV | курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский | 1 |
| 15:59, 22 сентября 2020 | Seminar Verification 2 eng.pdf (файл) | |
224 КБ | PodymovVV | Английский перевод версии 2019 года (то же без "eng") с косметическими правками | 1 |
| 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 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
