Список файлов

Перейти к: навигация, поиск

Эта служебная страница показывает все загруженные файлы.

Список файлов
Записей на страницу:
Поиск по имени файла:
Имя участника:
Включить старые версии изображений

убывДата Имя файла Миниатюра Размер Участник Описание Версий
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
18:02, 3 мая 2020 Mathlog 318 seminar natural inference.pdf (файл) 122 КБ PodymovVV Весна 2020 (улучшена матчасть, вырезаны аксиоматические теории) 3
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
10:48, 2 января 2020 Hdl lecture aux 05.pdf (файл) 337 КБ PodymovVV языки описания схем. протокол spi для произвольного числа устройств. состояние высокого импеданса 1
16:18, 13 декабря 2019 Hdl lecture aux 04.pdf (файл) 217 КБ PodymovVV языки описания схем. кое-что еще 4: протокол spi для двух устройств 1
16:17, 13 декабря 2019 Hdl lecture aux 03.pdf (файл) 114 КБ PodymovVV языки описания схем. кое-что еще 3: классификация протоколов передачи данных 1
16:17, 13 декабря 2019 Hdl lecture aux 02.pdf (файл) 295 КБ PodymovVV языки описания схем. кое-что еще 2: схемная реализация протокола UART 1
12:33, 29 ноября 2019 Lecture Verification 10.pdf (файл) 355 КБ PodymovVV обновлён год + мелкие не очень значительные правки. по содержанию всё то же. 6
14:05, 23 ноября 2019 Hdl lecture aux 01.pdf (файл) 267 КБ PodymovVV суть та же, что и в прошлой версии, но сделано чуть более подробно, наглядно и красиво 2
15:25, 22 ноября 2019 Hdl lecture 23.pdf (файл) 261 КБ PodymovVV языки описания схем. последняя лекция: автоматы с приостановкой выполнения переходов 1
10:45, 20 ноября 2019 Lecture Verification 9.pdf (файл) 376 КБ PodymovVV 2019. обновил год, остальное то же 7
18:04, 14 ноября 2019 Hdl practice 06.pdf (файл) 200 КБ PodymovVV языки описания схем. практика: операционный и управляющий автоматы в verilog 1
18:02, 14 ноября 2019 Hdl lecture 22.pdf (файл) 227 КБ PodymovVV языки описания схем. как дополнить операционный автомат управляющим 1
18:01, 14 ноября 2019 Hdl lecture 21.pdf (файл) 183 КБ PodymovVV языки описания схем. как спроектировать операционный автомат 1
15:18, 8 ноября 2019 Hdl practice 05.pdf (файл) 217 КБ PodymovVV языки описания схем. Практика: автоматы 1
15:15, 8 ноября 2019 Hdl lecture 20.pdf (файл) 198 КБ PodymovVV 2019. Операционный и управляющий автоматы 2
15:15, 8 ноября 2019 Hdl lecture 19.pdf (файл) 323 КБ PodymovVV 2019. Символьные автоматы на языке Verilog 6
21:38, 5 ноября 2019 Seminar Verification 8.pdf (файл) 185 КБ PodymovVV 2019. обновил год, остальное то же 5
21:34, 1 ноября 2019 Hdl lecture 18.pdf (файл) 303 КБ PodymovVV 2019. Символьные автоматы 5
21:34, 1 ноября 2019 Hdl lecture 17.pdf (файл) 295 КБ PodymovVV 2019. Соответствие между схемами и автоматами 5
21:33, 1 ноября 2019 Hdl lecture 16.pdf (файл) 184 КБ PodymovVV 2019. Напоминание, что такое автоматы 4
14:05, 26 октября 2019 Seminar Verification 7.pdf (файл) 841 КБ PodymovVV 2019. Пара мелких визуальных правок 8
14:04, 26 октября 2019 Lecture Verification 7.pdf (файл) 341 КБ PodymovVV 2019. Добавил пару картинок 6
11:23, 25 октября 2019 Hdl practice 04.pdf (файл) 196 КБ PodymovVV языки описания схем. практический блок 4: verilog и продвинутый синтаксис (параметры, массивы, генерация) 1
11:22, 25 октября 2019 Hdl practice 03.pdf (файл) 226 КБ PodymovVV языки описания схем. практический блок 3: verilog и процедуры 1
11:19, 25 октября 2019 Hdl lecture 15.pdf (файл) 339 КБ PodymovVV 2019. теперь здесь собран синтаксический сахар для verilog 4
12:30, 14 октября 2019 Seminar Verification 4.pdf (файл) 613 КБ PodymovVV обновил год, наполнение то же 7
12:09, 11 октября 2019 Hdl practice 02.pdf (файл) 194 КБ PodymovVV языки описания схем, задания для практических занятий. Verilog + assign 1
12:05, 11 октября 2019 Hdl lecture 14.pdf (файл) 354 КБ PodymovVV поправил опечатку в титуле (номер блока) 5
12:03, 11 октября 2019 Hdl lecture 13.pdf (файл) 276 КБ PodymovVV поправил опечатку в титуле (номер блока) 5
09:40, 8 октября 2019 Seminar Verification 3.pdf (файл) 177 КБ PodymovVV поменялся год, остальное как было 6
20:29, 4 октября 2019 Hdl lecture 12.pdf (файл) 180 КБ PodymovVV 2019. поддерживаемые, игнорируемые и неподдерживаемые конструкции 5
20:26, 4 октября 2019 Hdl lecture 11.pdf (файл) 572 КБ PodymovVV поправил опечатку в синтаксисе задержки+непр.присв. 8
14:54, 27 сентября 2019 Hdl lecture 10.pdf (файл) 455 КБ PodymovVV поправлена пара опечаток 5
12:23, 24 сентября 2019 Seminar Verification 2.pdf (файл) 219 КБ PodymovVV осень 2019. перестановка условий, несколько мелких правок 7
15:31, 19 сентября 2019 Hdl lecture 09.pdf (файл) 154 КБ PodymovVV теперь это: шины, регистры, rtl 5

Первая страница
Первая страница
Последняя страница
Последняя страница