Список файлов
Эта служебная страница показывает все загруженные файлы.
Дата | Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
12:53, 9 декабря 2024 | MLLP VP r06.pdf (файл) | 151 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 6. Формальная арифметика. Теорема Гёделя о неполноте | 1 | |
12:53, 9 декабря 2024 | MLLP VP r05.pdf (файл) | 132 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 5. Теорема Гёделя о полноте | 1 | |
12:52, 9 декабря 2024 | MLLP VP r04.pdf (файл) | 129 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 4. Изоморфизм Карри-Говарда | 1 | |
12:52, 9 декабря 2024 | MLLP VP r03.pdf (файл) | 127 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 3. Пара слов о лямбда-исчислении | 1 | |
12:51, 9 декабря 2024 | MLLP VP r02.pdf (файл) | 146 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 1. Натуральные исчисления | 1 | |
12:50, 9 декабря 2024 | MLLP VP r01.pdf (файл) | 107 КБ | PodymovVV | Математическая логика и логическое программирование, третий поток. Вне программы 1. Логические исчисления | 1 | |
12:50, 9 декабря 2024 | MLLP VP 58.pdf (файл) | 206 КБ | PodymovVV | 2024-2025, без существенных изменений | 5 | |
14:17, 2 декабря 2024 | MLLP VP 57.pdf (файл) | 181 КБ | PodymovVV | 2024-2025, без существенных изменений | 5 | |
14:16, 2 декабря 2024 | MLLP VP 56.pdf (файл) | 188 КБ | PodymovVV | 2024-2025, без существенных изменений | 5 | |
14:18, 1 декабря 2024 | Verif VP all.pdf (файл) | 7,12 МБ | PodymovVV | 2024-2025 | 3 | |
00:07, 27 ноября 2024 | Verif VP 28.pdf (файл) | 145 КБ | PodymovVV | опечатка | 7 | |
09:47, 25 ноября 2024 | HDL VP R01.pdf (файл) | 171 КБ | PodymovVV | незначительное исправление | 4 | |
20:23, 24 ноября 2024 | MLLP VP 55.pdf (файл) | 130 КБ | PodymovVV | 2024-2025, без существенных изменений | 4 | |
20:23, 24 ноября 2024 | MLLP VP 54.pdf (файл) | 257 КБ | PodymovVV | 2024-2025, без существенных изменений | 6 | |
20:23, 24 ноября 2024 | MLLP VP 53.pdf (файл) | 203 КБ | PodymovVV | 2024-2025, без существенных изменений | 7 | |
20:23, 24 ноября 2024 | MLLP VP 52.pdf (файл) | 95 КБ | PodymovVV | 2024-2025, без существенных изменений | 4 | |
20:23, 24 ноября 2024 | MLLP VP 51.pdf (файл) | 164 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 | |
20:15, 24 ноября 2024 | Verif VP 35.pdf (файл) | 247 КБ | PodymovVV | опечатки | 3 | |
20:05, 24 ноября 2024 | HDL VP R07.pdf (файл) | 170 КБ | PodymovVV | Языки описания схем. 2024-2025. Ещё немного о verilog и пара слов о systemverilog | 1 | |
19:48, 24 ноября 2024 | HDL VP R06.pdf (файл) | 197 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 | |
19:48, 24 ноября 2024 | HDL VP R05.pdf (файл) | 163 КБ | PodymovVV | 2024-2025, без существенных изменений | 2 | |
19:48, 24 ноября 2024 | HDL VP R04.pdf (файл) | 78 КБ | PodymovVV | 2024-2025, без существенных изменений | 2 | |
19:48, 24 ноября 2024 | HDL VP R03.pdf (файл) | 174 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 | |
19:48, 24 ноября 2024 | HDL VP R02.pdf (файл) | 227 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 | |
22:08, 21 ноября 2024 | Курс ОК-24-2 311-319.pdf (файл) | 154 КБ | DanilovB | 3 | ||
21:38, 21 ноября 2024 | Specsem20241115.pdf (файл) | 155 КБ | RomanovDS | 2 | ||
21:30, 21 ноября 2024 | Specsem20241122.pdf (файл) | 204 КБ | RomanovDS | 1 | ||
17:53, 20 ноября 2024 | Функциональные системы лекции.pdf (файл) | 1,49 МБ | SavitskiyIV | 3 | ||
10:34, 20 ноября 2024 | Verif VP 40.pdf (файл) | 158 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 | |
10:33, 20 ноября 2024 | Verif VP 39.pdf (файл) | 128 КБ | PodymovVV | 2024-2025, без существенных изменений | 2 | |
10:33, 20 ноября 2024 | Verif VP 38.pdf (файл) | 164 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 | |
10:33, 20 ноября 2024 | Verif VP 37.pdf (файл) | 157 КБ | PodymovVV | 2024-2025, без существенных изменений | 2 | |
13:30, 17 ноября 2024 | MLLP VP 50.pdf (файл) | 116 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 | |
13:30, 17 ноября 2024 | MLLP VP 49.pdf (файл) | 109 КБ | PodymovVV | 2024-2025, без существенных изменений | 5 | |
13:30, 17 ноября 2024 | MLLP VP 48.pdf (файл) | 169 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 | |
13:25, 17 ноября 2024 | Verif VP Prac Uppaal.pdf (файл) | 457 КБ | PodymovVV | 2024-2025, без существенных изменений | 4 | |
13:12, 17 ноября 2024 | Verif VP 36.pdf (файл) | 153 КБ | PodymovVV | 2024-2025, без существенных изменений | 2 | |
12:12, 17 ноября 2024 | HDL VP s05.pdf (файл) | 144 КБ | PodymovVV | 2024-2025, без существенных изменений | 2 | |
11:59, 17 ноября 2024 | MLLP VP 46.pdf (файл) | 166 КБ | PodymovVV | опечатки | 5 | |
11:58, 17 ноября 2024 | Verif VP 34.pdf (файл) | 247 КБ | PodymovVV | опечатки | 3 | |
11:58, 17 ноября 2024 | Verif VP 32.pdf (файл) | 162 КБ | PodymovVV | опечатки | 5 | |
11:58, 17 ноября 2024 | Verif VP 30.pdf (файл) | 161 КБ | PodymovVV | опечатки | 5 | |
11:56, 17 ноября 2024 | HDL VP 29.pdf (файл) | 125 КБ | PodymovVV | помарки | 4 | |
10:13, 13 ноября 2024 | Verif VP 33.pdf (файл) | 158 КБ | PodymovVV | 2024-2025, без существенных изменений | 2 | |
22:30, 10 ноября 2024 | MLLP VP 47.pdf (файл) | 159 КБ | PodymovVV | 2024-2025, без существенных изменений | 5 | |
22:30, 10 ноября 2024 | MLLP VP 45.pdf (файл) | 168 КБ | PodymovVV | 2024-2025, без существенных изменений | 4 | |
22:29, 10 ноября 2024 | MLLP VP 44.pdf (файл) | 138 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 | |
22:22, 10 ноября 2024 | Verif VP 31.pdf (файл) | 124 КБ | PodymovVV | 2024-2025, без существенных изменений | 4 | |
22:11, 10 ноября 2024 | HDL VP 31.pdf (файл) | 145 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 | |
22:11, 10 ноября 2024 | HDL VP 30.pdf (файл) | 122 КБ | PodymovVV | 2024-2025, без существенных изменений | 3 |
Первая страница |
Предыдущая страница |
Следующая страница |
Последняя страница |