Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 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»)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
