Список файлов
Эта служебная страница показывает все загруженные файлы.
![]() |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
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 |
![]() Первая страница |
![]() Предыдущая страница |
![]() Следующая страница |
![]() Последняя страница |