Вклад участника
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)
- 19:50, 13 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP sem03.pdf (PodymovVV загружена новая версия «Файл:Verif VP sem03.pdf») (текущая)
- 22:17, 9 ноября 2023 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 15:50, 9 ноября 2023 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 15:50, 9 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 47.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 47.pdf») (текущая)
- 15:48, 9 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 45.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 45.pdf») (текущая)
- 20:27, 7 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP 31.pdf (PodymovVV загружена новая версия «Файл:HDL VP 31.pdf») (текущая)
- 20:27, 7 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP 29.pdf (PodymovVV загружена новая версия «Файл:HDL VP 29.pdf») (текущая)
- 13:04, 7 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP 30.pdf (PodymovVV загружена новая версия «Файл:HDL VP 30.pdf») (текущая)
- 12:29, 7 ноября 2023 (разн. | история) . . (+559) . . Языки описания схем
- 12:27, 7 ноября 2023 (разн. | история) . . (+143) . . Н Файл:HDL VP s05.pdf (языки описания схем. практика: операционный и управляющий автоматы в верилоге) (текущая)
- 12:26, 7 ноября 2023 (разн. | история) . . (+136) . . Н Файл:HDL VP 31.pdf (языки описания схем 2023-2024. как дополнить операционный автомат управляющим)
- 12:26, 7 ноября 2023 (разн. | история) . . (+123) . . Н Файл:HDL VP 30.pdf (языки описания схем 2023-2024. как спроектировать операционный автомат)
- 12:25, 7 ноября 2023 (разн. | история) . . (+144) . . Н Файл:HDL VP 29.pdf (языки описания схем 2023-2024. общие слова про операционный и управляющий автоматы)
- 23:28, 5 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 13.pdf (PodymovVV загружена новая версия «Файл:Verif VP 13.pdf») (текущая)
- 23:27, 5 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP 13.pdf (PodymovVV загружена новая версия «Файл:HDL VP 13.pdf») (текущая)
- 11:44, 2 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP 28.pdf (PodymovVV загружена новая версия «Файл:HDL VP 28.pdf») (текущая)
- 11:44, 2 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP 27.pdf (PodymovVV загружена новая версия «Файл:HDL VP 27.pdf») (текущая)
- 11:41, 2 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 46.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 46.pdf»)
- 11:41, 2 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 45.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 45.pdf»)
- 11:41, 2 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 44.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 44.pdf») (текущая)
- 11:13, 2 ноября 2023 (разн. | история) . . (0) . . Математические методы верификации схем и программ
- 11:12, 2 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP sem03.pdf (PodymovVV загружена новая версия «Файл:Verif VP sem03.pdf»)
- 20:10, 1 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 42.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 42.pdf») (текущая)
- 20:10, 1 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 41.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 41.pdf») (текущая)
- 20:10, 1 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 40.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 40.pdf») (текущая)
- 20:10, 1 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 38.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 38.pdf») (текущая)
- 20:10, 1 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 37.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 37.pdf») (текущая)
- 19:59, 1 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 25.pdf (PodymovVV загружена новая версия «Файл:Verif VP 25.pdf») (текущая)
- 13:20, 31 октября 2023 (разн. | история) . . (+272) . . Языки описания схем
- 13:18, 31 октября 2023 (разн. | история) . . (+113) . . Н Файл:HDL VP s04.pdf (языки описания схем 2023-2024. упражнения по символьным автоматам) (текущая)
- 13:18, 31 октября 2023 (разн. | история) . . (+120) . . Н Файл:HDL VP 28.pdf (языки описания схем 2023-2024. типовая реализация автомата в верилоге)
- 13:16, 31 октября 2023 (разн. | история) . . (+108) . . Н Файл:HDL VP 27.pdf (языки описания схем 2023-2024. пара слов о символьных автоматах)
- 17:44, 29 октября 2023 (разн. | история) . . (0) . . м Математическая логика и логическое программирование (3-й поток)
- 17:43, 29 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 43.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 43.pdf») (текущая)
- 17:43, 29 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 42.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 42.pdf»)
- 17:40, 29 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 41.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 41.pdf»)
- 17:40, 29 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 40.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 40.pdf»)
- 17:40, 29 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 39.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 39.pdf») (текущая)
- 17:35, 29 октября 2023 (разн. | история) . . (+191) . . Математические методы верификации схем и программ
- 17:34, 29 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 28.pdf (PodymovVV загружена новая версия «Файл:Verif VP 28.pdf»)
- 17:33, 29 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 27.pdf (PodymovVV загружена новая версия «Файл:Verif VP 27.pdf») (текущая)
- 17:33, 29 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 26.pdf (PodymovVV загружена новая версия «Файл:Verif VP 26.pdf») (текущая)
- 17:32, 29 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 25.pdf (PodymovVV загружена новая версия «Файл:Verif VP 25.pdf»)
- 17:31, 29 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP 26.pdf (PodymovVV загружена новая версия «Файл:HDL VP 26.pdf») (текущая)
- 11:44, 24 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP s03.pdf (PodymovVV загружена новая версия «Файл:HDL VP s03.pdf») (текущая)
- 11:39, 24 октября 2023 (разн. | история) . . (+127) . . Языки описания схем
- 11:38, 24 октября 2023 (разн. | история) . . (+135) . . Н Файл:HDL VP s03.pdf (языки описания схем, семинарский блок 3. верилог - продвинутые возможности)
- 11:37, 24 октября 2023 (разн. | история) . . (+236) . . Языки описания схем
- 11:36, 24 октября 2023 (разн. | история) . . (+136) . . Н Файл:HDL VP 26.pdf (языки описания схем, блок 26, 2023-2024. соответствие между автоматами и схемами)
- 11:34, 24 октября 2023 (разн. | история) . . (+94) . . Н Файл:HDL VP 25.pdf (языки описания схем, блок 25, 2023-2024. что такое автомат) (текущая)
- 16:40, 23 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 35.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 35.pdf») (текущая)
- 12:54, 23 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 24.pdf (PodymovVV загружена новая версия «Файл:Verif VP 24.pdf») (текущая)
- 12:54, 23 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 22.pdf (PodymovVV загружена новая версия «Файл:Verif VP 22.pdf») (текущая)
- 12:53, 23 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 21.pdf (PodymovVV загружена новая версия «Файл:Verif VP 21.pdf») (текущая)
- 12:37, 22 октября 2023 (разн. | история) . . (-178) . . Математическая логика и логическое программирование (3-й поток)
- 12:36, 22 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP lections colloq.pdf (PodymovVV загружена новая версия «Файл:MLLP VP lections colloq.pdf») (текущая)
- 12:33, 22 октября 2023 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 12:32, 22 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 38.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 38.pdf»)
- 12:32, 22 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 37.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 37.pdf»)
- 12:32, 22 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 36.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 36.pdf») (текущая)
- 18:39, 21 октября 2023 (разн. | история) . . (0) . . Математические методы верификации схем и программ
- 18:38, 21 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 25.pdf (PodymovVV загружена новая версия «Файл:Verif VP 25.pdf»)
- 18:37, 21 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 24.pdf (PodymovVV загружена новая версия «Файл:Verif VP 24.pdf»)
- 18:37, 21 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 23.pdf (PodymovVV загружена новая версия «Файл:Verif VP 23.pdf») (текущая)
- 18:37, 21 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 22.pdf (PodymovVV загружена новая версия «Файл:Verif VP 22.pdf»)
- 18:36, 21 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 21.pdf (PodymovVV загружена новая версия «Файл:Verif VP 21.pdf»)
- 19:15, 18 октября 2023 (разн. | история) . . (-95) . . м Сот
- 19:11, 18 октября 2023 (разн. | история) . . (+95) . . м Сот
- 16:29, 17 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 33.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 33.pdf») (текущая)
- 16:29, 17 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 32.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 32.pdf») (текущая)
- 16:29, 17 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 30.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 30.pdf») (текущая)
- 12:00, 17 октября 2023 (разн. | история) . . (+154) . . Языки описания схем
- 11:59, 17 октября 2023 (разн. | история) . . (+154) . . Н Файл:HDL VP 24.pdf (языки описания схем 2023-2024. верилог - синтаксический сахар и всякие возможности языка)
- 16:16, 15 октября 2023 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 16:14, 15 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 35.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 35.pdf»)
- 16:14, 15 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 34.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 34.pdf») (текущая)
- 16:14, 15 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 33.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 33.pdf»)
- 16:13, 15 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 32.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 32.pdf»)
- 16:13, 15 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 31.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 31.pdf») (текущая)
- 16:13, 15 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 30.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 30.pdf»)
- 16:12, 15 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 29.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 29.pdf») (текущая)
- 15:47, 11 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP 23.pdf (PodymovVV загружена новая версия «Файл:HDL VP 23.pdf») (текущая)
- 15:47, 11 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP 22.pdf (PodymovVV загружена новая версия «Файл:HDL VP 22.pdf») (текущая)
- 15:46, 11 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 27.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 27.pdf») (текущая)
- 15:46, 11 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 19.pdf (PodymovVV загружена новая версия «Файл:Verif VP 19.pdf») (текущая)
- 15:20, 11 октября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 19.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 19.pdf»)
- 14:00, 10 октября 2023 (разн. | история) . . (+581) . . Языки описания схем
- 13:59, 10 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP s02.pdf (PodymovVV загружена новая версия «Файл:HDL VP s02.pdf») (текущая)
- 13:58, 10 октября 2023 (разн. | история) . . (+117) . . Н Файл:HDL VP s02.pdf (Языки описания схем 2023-2024. Практика: верилог, основные процедуры)
- 13:54, 10 октября 2023 (разн. | история) . . (+160) . . Н Файл:HDL VP 23.pdf (Языки описания схем 2023-2024. верилог - поддерживаемое использование постоянной процедуры)
- 13:52, 10 октября 2023 (разн. | история) . . (+166) . . Н Файл:HDL VP 22.pdf (Языки описания схем 2023-2024. верилог - основные процедурные команды и использование задержек)
- 13:51, 10 октября 2023 (разн. | история) . . (+109) . . Н Файл:HDL VP 21.pdf (Языки описания схем 2023-2024. верилог - основные виды процессов) (текущая)
- 13:49, 10 октября 2023 (разн. | история) . . (+110) . . Н Файл:HDL VP 20.pdf (Языки описания схем 2023-2024. Как устроена симуляция в верилоге) (текущая)
- 13:48, 10 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP 12.pdf (PodymovVV загружена новая версия «Файл:HDL VP 12.pdf») (текущая)
- 13:48, 10 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP 12.pdf (PodymovVV загружена новая версия «Файл:HDL VP 12.pdf»)
- 22:28, 8 октября 2023 (разн. | история) . . (+52) . . Математические методы верификации схем и программ
- 22:27, 8 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP Prac Spin.pdf (PodymovVV загружена новая версия «Файл:Verif VP Prac Spin.pdf») (текущая)
- 22:27, 8 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP Review Spin.pdf (PodymovVV загружена новая версия «Файл:Verif VP Review Spin.pdf») (текущая)
- 16:38, 5 октября 2023 (разн. | история) . . (0) . . Файл:Выставка кафедр Информационный лист.pdf (PodymovVV загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf») (текущая)
- 16:29, 5 октября 2023 (разн. | история) . . (+60) . . Н ССем (Перенаправление на Спецсеминары) (текущая)
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)