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

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

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

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

убывДата Имя файла Миниатюра Размер Участник Описание Версий
16:38, 5 октября 2023 Выставка кафедр Информационный лист.pdf (файл) 1,16 МБ PodymovVV больше qr-кодов! 6
15:51, 4 октября 2023 HDL VP 19.pdf (файл) 110 КБ PodymovVV опечатки 2
15:51, 4 октября 2023 HDL VP 18.pdf (файл) 121 КБ PodymovVV опечатки 2
15:51, 4 октября 2023 HDL VP 16.pdf (файл) 155 КБ PodymovVV опечатки 2
15:50, 4 октября 2023 Verif VP 15.pdf (файл) 148 КБ PodymovVV опечатки 5
14:01, 3 октября 2023 HDL VP 15.pdf (файл) 115 КБ PodymovVV языки описания схем 2023-2024. verilog - логические значения 1
14:00, 3 октября 2023 HDL VP 14.pdf (файл) 151 КБ PodymovVV Языки описания схем 2023-2024. verilog helloworld с диаграммами сигналов 1
10:25, 2 октября 2023 Verif VP 20.pdf (файл) 70 КБ PodymovVV 2023-2024. теперь уточненная схема автоматного алгоритма для лтл 3
10:24, 2 октября 2023 Verif VP 18.pdf (файл) 115 КБ PodymovVV 2023-2024. теперь автоматы бюхи для моделей крипке 3
10:24, 2 октября 2023 Verif VP 17.pdf (файл) 114 КБ PodymovVV 2023-2024. теперь проверка пустоты автоматов бюхи 3
10:23, 2 октября 2023 Verif VP 16.pdf (файл) 130 КБ PodymovVV 2023-2024. теперь пересечение автоматов бюхи 3
10:22, 2 октября 2023 Verif VP 14.pdf (файл) 106 КБ PodymovVV 2023-2024. теперь общая схема автоматного алгоритма для лтл 4
12:36, 28 сентября 2023 MLLP VP 16.pdf (файл) 159 КБ PodymovVV опечатки 4
12:35, 28 сентября 2023 MLLP VP 15.pdf (файл) 162 КБ PodymovVV опечатки 4
12:34, 28 сентября 2023 Verif VP 12.pdf (файл) 164 КБ PodymovVV опечатки 5
12:34, 28 сентября 2023 Verif VP 11.pdf (файл) 153 КБ PodymovVV опечатки 5
14:29, 26 сентября 2023 HDL VP 11.pdf (файл) 104 КБ PodymovVV Языки описания схем 2023-2024. V Общие слова 1
22:48, 24 сентября 2023 MLLP VP 28.pdf (файл) 185 КБ PodymovVV 2023-2024. без существенных изменений 2
22:47, 24 сентября 2023 MLLP VP 26.pdf (файл) 117 КБ PodymovVV 2023-2024. без существенных изменений 2
22:46, 24 сентября 2023 MLLP VP 25.pdf (файл) 238 КБ PodymovVV 2023-2024. без существенных изменений 4
22:46, 24 сентября 2023 MLLP VP 24.pdf (файл) 173 КБ PodymovVV 2023-2024. без существенных изменений 3
22:46, 24 сентября 2023 MLLP VP 23.pdf (файл) 143 КБ PodymovVV 2023-2024. без существенных изменений 3
22:45, 24 сентября 2023 MLLP VP 22.pdf (файл) 184 КБ PodymovVV 2023-2024. без существенных изменений 3
22:45, 24 сентября 2023 MLLP VP 21.pdf (файл) 120 КБ PodymovVV 2023-2024. теперь тут монотонность и транзитивность логического следования 3
22:44, 24 сентября 2023 MLLP VP 20.pdf (файл) 272 КБ PodymovVV 2023-2024. теперь тут алгоритм унификации 3
22:43, 24 сентября 2023 MLLP VP 18.pdf (файл) 151 КБ PodymovVV 2023-2024. теперь тут системы дизъюнктов 3
22:43, 24 сентября 2023 MLLP VP 17.pdf (файл) 176 КБ PodymovVV 2023-2024. теперь тут ссф 4
14:10, 21 сентября 2023 Verif VP sem02.pdf (файл) 165 КБ PodymovVV 2023-2024. ничего нового 3
14:06, 21 сентября 2023 Verif VP 10.pdf (файл) 104 КБ PodymovVV уточнение 7
19:10, 18 сентября 2023 MLLP VP 12.pdf (файл) 188 КБ PodymovVV опечатки 4
19:10, 18 сентября 2023 MLLP VP 11.pdf (файл) 191 КБ PodymovVV опечатки 4
19:10, 18 сентября 2023 MLLP VP 08.pdf (файл) 149 КБ PodymovVV ошибка в определении таблицы (не сверхкритичная, но влияет на экстремальный случай в теоремах про произвольные таблицы) 5
19:03, 18 сентября 2023 Verif VP 09.pdf (файл) 347 КБ PodymovVV опечатки 8
18:48, 16 сентября 2023 HDL VP 10.pdf (файл) 135 КБ PodymovVV мелкие технические шероховатости 2
18:47, 16 сентября 2023 HDL VP 03.pdf (файл) 341 КБ PodymovVV опечатки 2
11:53, 16 сентября 2023 MLLP VP 14.pdf (файл) 177 КБ PodymovVV 2023-2024. теперь тут общая схема метода резолюций 3
11:52, 16 сентября 2023 MLLP VP 13.pdf (файл) 214 КБ PodymovVV 2023-2024. теперь тут левенгейм-сколем, мальцев и автоматизация доказательств 4
11:44, 16 сентября 2023 Verif VP 08.pdf (файл) 267 КБ PodymovVV 2023-2024. Теперь тут модели Крипке 5
11:15, 16 сентября 2023 MLLP VP 06.pdf (файл) 208 КБ PodymovVV опечатки, уточнения 5
22:38, 11 сентября 2023 HDL VP s01.pdf (файл) 126 КБ PodymovVV Языки описания схем, 2023-2024. Практика: комб и послед схемы 1
22:34, 11 сентября 2023 HDL VP 09.pdf (файл) 94 КБ PodymovVV Языки описания схем, 2023-2024. Послед схемы 1
22:33, 11 сентября 2023 HDL VP 08.pdf (файл) 153 КБ PodymovVV Языки описания схем, 2023-2024. Ещё о триггерах 1
22:33, 11 сентября 2023 HDL VP 07.pdf (файл) 80 КБ PodymovVV Языки описания схем, 2023-2024. Терминология для сигналов 1
22:32, 11 сентября 2023 HDL VP 06.pdf (файл) 138 КБ PodymovVV Языки описания схем, 2023-2024. Комб схемы с обр связью, основные триггеры 2
22:32, 11 сентября 2023 HDL VP 05.pdf (файл) 102 КБ PodymovVV Языки описания схем, 2023-2024. СФЭЗ 1
22:31, 11 сентября 2023 HDL VP 04.pdf (файл) 156 КБ PodymovVV Языки описания схем, 2023-2024. Лог вентили и комб схемы 1
16:31, 11 сентября 2023 Verif VP 03.pdf (файл) 187 КБ PodymovVV опечатки 5
17:49, 10 сентября 2023 MLLP VP 10.pdf (файл) 160 КБ PodymovVV 2023-2024. Теперь здесь про табличный вывод 3
17:49, 10 сентября 2023 MLLP VP 09.pdf (файл) 167 КБ PodymovVV 2023-2024. Теперь здесь про подстановки 3
17:48, 10 сентября 2023 MLLP VP 07.pdf (файл) 125 КБ PodymovVV 2023-2024. Без существенных изменений 3

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