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

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

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

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

убывДата Имя файла Миниатюра Размер Участник Описание Версий
22:18, 20 декабря 2024 DGDMiK exam info 2024.pdf (файл) 113 КБ SavitskiyIV   1
13:15, 19 декабря 2024 Specsem20241220.pdf (файл) 628 КБ DanilovB   1
12:22, 16 декабря 2024 Вопросы Сложность алгоритмов 2024.doc (файл) 19 КБ AlekseevVB   1
21:33, 12 декабря 2024 Specsem20241213D.pdf (файл) 172 КБ RomanovDS   1
21:32, 12 декабря 2024 Specsem20241213.pdf (файл) 628 КБ RomanovDS Возврат к версии от 08:45, 12 декабря 2024 3
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

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