Вклад участника

(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)

• 19:15, 1 ноября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 26.pdf») (текущая)
• 19:14, 1 ноября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 25.pdf») (текущая)
• 21:55, 31 октября 2025 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎ (текущая)
• 21:55, 31 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP Prac Nusmv.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Prac Nusmv.pdf») (текущая)
• 15:46, 28 октября 2025 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎ (текущая)
• 14:34, 28 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 39.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 39.pdf») (текущая)
• 14:34, 28 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 38.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 38.pdf») (текущая)
• 14:26, 28 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 20.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 20.pdf») (текущая)
• 14:23, 28 октября 2025 (разн. | история) . . (-113)‎ . . Математические методы верификации схем и программ ‎
• 14:23, 28 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 27.pdf») (текущая)
• 14:23, 28 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 26.pdf»)
• 14:22, 28 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 25.pdf»)
• 15:26, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 26.pdf»)
• 15:26, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 25.pdf»)
• 15:25, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 26.pdf»)
• 15:25, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 25.pdf»)
• 15:23, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP Review Nusmv.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Review Nusmv.pdf») (текущая)
• 15:21, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 31.pdf») (текущая)
• 15:20, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 30.pdf») (текущая)
• 00:57, 27 октября 2025 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 00:56, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 37.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 37.pdf») (текущая)
• 00:56, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 36.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 36.pdf») (текущая)
• 00:56, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 35.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 35.pdf») (текущая)
• 00:56, 27 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 34.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 34.pdf») (текущая)
• 23:17, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 24.pdf») (текущая)
• 23:13, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 22.pdf») (текущая)
• 23:10, 26 октября 2025 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 23:09, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP Review Nusmv.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Review Nusmv.pdf»)
• 23:02, 26 октября 2025 (разн. | история) . . (-282)‎ . . Языки описания схем ‎ (текущая)
• 23:00, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R07.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R07.pdf») (текущая)
• 23:00, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R06.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R06.pdf») (текущая)
• 23:00, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R05.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R05.pdf») (текущая)
• 23:00, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R04.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R04.pdf») (текущая)
• 23:00, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R03.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R03.pdf») (текущая)
• 22:59, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R02.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R02.pdf») (текущая)
• 22:59, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP R01.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R01.pdf») (текущая)
• 22:55, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP s05.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP s05.pdf») (текущая)
• 22:27, 26 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 27.pdf») (текущая)
• 21:07, 13 октября 2025 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 21:07, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 33.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 33.pdf») (текущая)
• 21:06, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 32.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 32.pdf») (текущая)
• 21:06, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 31.pdf») (текущая)
• 19:54, 13 октября 2025 (разн. | история) . . (-146)‎ . . Математические методы верификации схем и программ ‎
• 19:53, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP sem03.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP sem03.pdf») (текущая)
• 19:52, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 24.pdf»)
• 19:52, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 23.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 23.pdf») (текущая)
• 19:52, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 22.pdf»)
• 19:52, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 21.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 21.pdf») (текущая)
• 19:36, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 31.pdf»)
• 19:36, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 30.pdf»)
• 19:36, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP s04.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP s04.pdf») (текущая)
• 19:26, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 17.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 17.pdf») (текущая)
• 19:23, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 28.pdf») (текущая)
• 19:23, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 27.pdf»)
• 19:23, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 26.pdf») (текущая)
• 19:23, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 25.pdf») (текущая)
• 18:27, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 30.pdf») (текущая)
• 18:27, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 29.pdf») (текущая)
• 18:27, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 28.pdf») (текущая)
• 18:27, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 27.pdf») (текущая)
• 18:27, 13 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 26.pdf») (текущая)
• 14:51, 12 октября 2025 (разн. | история) . . (0)‎ . . м Математическая логика и логическое программирование (3-й поток) ‎
• 14:39, 12 октября 2025 (разн. | история) . . (-119)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 14:39, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 30.pdf»)
• 14:38, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 29.pdf»)
• 14:38, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 28.pdf»)
• 14:38, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 27.pdf»)
• 14:38, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 26.pdf»)
• 14:37, 12 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 25.pdf») (текущая)
• 22:20, 11 октября 2025 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 22:20, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 31.pdf»)
• 22:20, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 30.pdf»)
• 22:20, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 29.pdf»)
• 22:19, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 28.pdf»)
• 22:19, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 27.pdf»)
• 22:19, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 26.pdf»)
• 22:09, 11 октября 2025 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 22:09, 11 октября 2025 (разн. | история) . . (0)‎ . . Языки описания схем ‎
• 22:08, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 20.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 20.pdf») (текущая)
• 22:08, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 19.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 19.pdf») (текущая)
• 22:08, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 18.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 18.pdf») (текущая)
• 22:08, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 17.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 17.pdf»)
• 22:08, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 16.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 16.pdf») (текущая)
• 22:08, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 15.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 15.pdf») (текущая)
• 22:08, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP 14.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 14.pdf») (текущая)
• 21:01, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 29.pdf») (текущая)
• 21:01, 11 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 28.pdf»)
• 22:16, 4 октября 2025 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 22:16, 4 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 25.pdf»)
• 22:15, 4 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 24.pdf») (текущая)
• 22:15, 4 октября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 23.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 23.pdf») (текущая)
• 22:07, 4 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 27.pdf»)
• 22:07, 4 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 26.pdf»)
• 22:06, 4 октября 2025 (разн. | история) . . (0)‎ . . Файл:HDL VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 25.pdf»)
• 22:47, 28 сентября 2025 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 22:46, 28 сентября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 22.pdf») (текущая)
• 22:46, 28 сентября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 21.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 21.pdf») (текущая)
• 22:46, 28 сентября 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP 20.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 20.pdf»)
• 22:41, 28 сентября 2025 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 22:40, 28 сентября 2025 (разн. | история) . . (0)‎ . . Файл:Verif VP Prac Spin.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Prac Spin.pdf») (текущая)

(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)