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

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

• 18:01, 13 июня 2025 (разн. | история) . . (+5938)‎ . . Дискретная математика (3-й поток) ‎ (текущая)
• 15:20, 13 мая 2025 (разн. | история) . . (+244)‎ . . Шаблон:Important Announcements ‎ (текущая)
• 12:58, 13 мая 2025 (разн. | история) . . (+1918)‎ . . Н Зизов Вадим Сергеевич ‎ (Новая страница: «{{DISPLAYTITLE:Зизов Вадим Сергеевич}} Зизов Вадим Сергеевич'''Зизов Вадим Сер…»)
• 13:26, 6 мая 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 52.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 52.pdf») (текущая)
• 19:13, 5 мая 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 52.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 52.pdf»)
• 19:09, 5 мая 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 53.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 53.pdf») (текущая)
• 19:07, 5 мая 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 52.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 52.pdf»)
• 19:07, 5 мая 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 51.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 51.pdf») (текущая)
• 12:02, 5 мая 2025 (разн. | история) . . (0)‎ . . м Математическая логика и логическое программирование (3-й поток) ‎ (текущая)
• 12:02, 5 мая 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP gos4.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP gos4.pdf») (текущая)
• 12:02, 5 мая 2025 (разн. | история) . . (0)‎ . . Файл:MLLP VP gos3.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP gos3.pdf») (текущая)
• 17:17, 2 мая 2025 (разн. | история) . . (+527)‎ . . Распределённые алгоритмы ‎ (текущая)
• 17:15, 2 мая 2025 (разн. | история) . . (+71)‎ . . Н Файл:DA VP 47.pdf ‎ (Распределённые алгоритмы. 2024-2025, блок 47) (текущая)
• 17:15, 2 мая 2025 (разн. | история) . . (+71)‎ . . Н Файл:DA VP 46.pdf ‎ (Распределённые алгоритмы. 2024-2025, блок 46) (текущая)
• 17:15, 2 мая 2025 (разн. | история) . . (+71)‎ . . Н Файл:DA VP 45.pdf ‎ (Распределённые алгоритмы. 2024-2025, блок 45) (текущая)
• 17:15, 2 мая 2025 (разн. | история) . . (+71)‎ . . Н Файл:DA VP 44.pdf ‎ (Распределённые алгоритмы. 2024-2025, блок 44) (текущая)
• 19:37, 28 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 43.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 43.pdf») (текущая)
• 13:37, 28 апреля 2025 (разн. | история) . . (-34)‎ . . Распределённые алгоритмы ‎
• 13:37, 28 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 43.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 43.pdf»)
• 13:36, 28 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 42.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 42.pdf») (текущая)
• 13:36, 28 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 41.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 41.pdf») (текущая)
• 13:36, 28 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 38.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 38.pdf») (текущая)
• 18:00, 26 апреля 2025 (разн. | история) . . (+957)‎ . . Математическая логика (318, 319/2, 241, 242) ‎ (текущая)
• 17:59, 26 апреля 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 53.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 53.pdf»)
• 17:55, 26 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 53.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 53)
• 17:55, 26 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 52.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 52)
• 17:55, 26 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 51.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 51)
• 17:54, 26 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 50.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 50) (текущая)
• 17:54, 26 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 49.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 49) (текущая)
• 17:54, 26 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 48.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 48) (текущая)
• 17:54, 26 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 47.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 47) (текущая)
• 15:42, 22 апреля 2025 (разн. | история) . . (-32)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 15:41, 22 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 46.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 46) (текущая)
• 15:41, 22 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 45.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 45) (текущая)
• 15:41, 22 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 44.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 44) (текущая)
• 16:50, 17 апреля 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 16:49, 17 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 40.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 40.pdf») (текущая)
• 16:49, 17 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 39.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 39.pdf») (текущая)
• 16:49, 17 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 38.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 38.pdf»)
• 13:19, 16 апреля 2025 (разн. | история) . . (-2)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 13:18, 16 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 43.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 43) (текущая)
• 21:25, 14 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 37.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 37.pdf») (текущая)
• 13:32, 12 апреля 2025 (разн. | история) . . (+277)‎ . . Информация для 2 курса ‎ (текущая)
• 13:29, 12 апреля 2025 (разн. | история) . . (0)‎ . . Н Файл:Uchebnaya i nauchnaya deyatelnost kafedry thumb.png ‎ (текущая)
• 13:26, 12 апреля 2025 (разн. | история) . . (0)‎ . . Н Файл:Uchebnaya i nauchnaya deyatelnost kafedry.pdf ‎ (текущая)
• 17:15, 11 апреля 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 17:14, 11 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 37.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 37.pdf»)
• 13:56, 8 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 31.pdf») (текущая)
• 18:10, 5 апреля 2025 (разн. | история) . . (+9)‎ . . м Распределённые алгоритмы ‎
• 18:09, 5 апреля 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 18:08, 5 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 36.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 36.pdf») (текущая)
• 18:08, 5 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 35.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 35.pdf») (текущая)
• 18:08, 5 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 34.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 34.pdf») (текущая)
• 18:07, 5 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 33.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 33.pdf») (текущая)
• 18:07, 5 апреля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 32.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 32.pdf») (текущая)
• 13:55, 2 апреля 2025 (разн. | история) . . (-8)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 13:54, 2 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 42.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 42) (текущая)
• 13:54, 2 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 41.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 41) (текущая)
• 13:53, 2 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 40.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 40) (текущая)
• 13:53, 2 апреля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 39.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 39) (текущая)
• 13:53, 2 апреля 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 38.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 38.pdf») (текущая)
• 20:33, 1 апреля 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 36.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 36.pdf») (текущая)
• 20:33, 1 апреля 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 35.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 35.pdf») (текущая)
• 13:32, 1 апреля 2025 (разн. | история) . . (+541)‎ . . Шаблон:Important Announcements ‎
• 19:23, 28 марта 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 19:22, 28 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 31.pdf»)
• 19:22, 28 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 30.pdf») (текущая)
• 19:22, 28 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 29.pdf») (текущая)
• 19:22, 28 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 28.pdf») (текущая)
• 19:21, 28 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 24.pdf») (текущая)
• 19:19, 28 марта 2025 (разн. | история) . . (-8)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 19:18, 28 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 38.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 38)
• 19:18, 28 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 37.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 37) (текущая)
• 19:18, 28 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 36.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 36)
• 19:17, 28 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 35.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 35)
• 13:14, 25 марта 2025 (разн. | история) . . (-6)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 13:13, 25 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 34.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 34) (текущая)
• 13:12, 25 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 33.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 33) (текущая)
• 13:12, 25 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 32.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 32) (текущая)
• 12:49, 25 марта 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 29.pdf») (текущая)
• 20:12, 20 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP S06.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP S06.pdf») (текущая)
• 20:09, 20 марта 2025 (разн. | история) . . (-34)‎ . . Распределённые алгоритмы ‎
• 20:09, 20 марта 2025 (разн. | история) . . (+71)‎ . . Н Файл:DA VP S06.pdf ‎ (Распределённые алгоритмы (521). Семинар 6)
• 20:04, 20 марта 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 20:03, 20 марта 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 20:02, 20 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP S07.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP S07.pdf») (текущая)
• 20:02, 20 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 27.pdf») (текущая)
• 20:02, 20 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 26.pdf») (текущая)
• 20:02, 20 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 25.pdf») (текущая)
• 19:17, 20 марта 2025 (разн. | история) . . (-8)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 19:17, 20 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 31.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 31) (текущая)
• 19:16, 20 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 30.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 30) (текущая)
• 19:16, 20 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 29.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 29)
• 19:16, 20 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 28.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 28) (текущая)
• 17:42, 16 марта 2025 (разн. | история) . . (-4)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 17:41, 16 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 27.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 27) (текущая)
• 17:41, 16 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 26.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 26) (текущая)
• 15:21, 16 марта 2025 (разн. | история) . . (+143)‎ . . Дискретная математика (3-й поток) ‎
• 15:20, 16 марта 2025 (разн. | история) . . (+127)‎ . . Н Файл:DM3 info.pdf ‎ (Информационные материалы по курсу "Дискретная математика" на 3 потоке) (текущая)
• 18:30, 13 марта 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 18:30, 13 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 24.pdf»)
• 18:29, 13 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 23.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 23.pdf») (текущая)
• 18:29, 13 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 22.pdf») (текущая)
• 18:29, 13 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 21.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 21.pdf») (текущая)
• 19:53, 11 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 20.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 20.pdf») (текущая)
• 19:52, 11 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 19.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 19.pdf») (текущая)
• 19:52, 11 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 18.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 18.pdf») (текущая)
• 12:42, 11 марта 2025 (разн. | история) . . (-6)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 12:42, 11 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 25.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 25) (текущая)
• 12:42, 11 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 24.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 24) (текущая)
• 12:41, 11 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 23.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 23) (текущая)
• 11:49, 10 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP S04.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP S04.pdf») (текущая)
• 14:59, 9 марта 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 14:59, 9 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP S05.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP S05.pdf») (текущая)
• 14:55, 9 марта 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 14:55, 9 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 20.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 20.pdf»)
• 14:55, 9 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 19.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 19.pdf»)
• 14:54, 9 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 18.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 18.pdf»)
• 10:12, 7 марта 2025 (разн. | история) . . (-6)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 10:12, 7 марта 2025 (разн. | история) . . (0)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 10:12, 7 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 22.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 22) (текущая)
• 10:11, 7 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 21.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 21) (текущая)
• 10:11, 7 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 20.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 20) (текущая)
• 13:10, 5 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 17.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 17.pdf») (текущая)
• 20:40, 4 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 17.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 17.pdf»)
• 20:40, 4 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 11.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 11.pdf») (текущая)
• 20:06, 4 марта 2025 (разн. | история) . . (-2)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 20:05, 4 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 19.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 19) (текущая)
• 12:14, 4 марта 2025 (разн. | история) . . (-10)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 12:14, 4 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 18.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 18) (текущая)
• 12:14, 4 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 17.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 17) (текущая)
• 12:13, 4 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 16.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 16) (текущая)
• 12:13, 4 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 15.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 15) (текущая)
• 12:13, 4 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 14.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 14) (текущая)
• 12:09, 4 марта 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 09.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 09.pdf») (текущая)
• 08:20, 3 марта 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 21:11, 2 марта 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 21:09, 2 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP S04.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP S04.pdf»)
• 21:05, 2 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 17.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 17.pdf»)
• 21:03, 2 марта 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 16.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 16.pdf») (текущая)
• 19:52, 2 марта 2025 (разн. | история) . . (-2)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 19:52, 2 марта 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 13.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 13) (текущая)
• 14:50, 22 февраля 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 14:50, 22 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 15.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 15.pdf») (текущая)
• 14:50, 22 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 14.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 14.pdf») (текущая)
• 14:50, 22 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 13.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 13.pdf») (текущая)
• 14:50, 22 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 12.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 12.pdf») (текущая)
• 14:49, 22 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 11.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 11.pdf»)
• 14:35, 22 февраля 2025 (разн. | история) . . (-6)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 14:34, 22 февраля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 12.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 12) (текущая)
• 14:33, 22 февраля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 11.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 11) (текущая)
• 14:33, 22 февраля 2025 (разн. | история) . . (+63)‎ . . Н Файл:Mathlog VP 10.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 10) (текущая)
• 11:56, 19 февраля 2025 (разн. | история) . . (+10)‎ . . м Распределённые алгоритмы ‎
• 11:54, 19 февраля 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 11:54, 19 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP S02.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP S02.pdf») (текущая)
• 11:38, 19 февраля 2025 (разн. | история) . . (0)‎ . . Файл:Mathlog VP 06.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog VP 06.pdf») (текущая)
• 14:23, 18 февраля 2025 (разн. | история) . . (+1170)‎ . . Просеминар для 2-го курса ‎ (текущая)
• 14:00, 16 февраля 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 14:00, 16 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP S01.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP S01.pdf») (текущая)
• 13:58, 16 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 10.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 10.pdf») (текущая)
• 13:58, 16 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 08.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 08.pdf») (текущая)
• 13:53, 16 февраля 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 13:53, 16 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 10.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 10.pdf»)
• 13:53, 16 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 09.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 09.pdf») (текущая)
• 13:53, 16 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 08.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 08.pdf»)
• 13:14, 16 февраля 2025 (разн. | история) . . (-5)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 13:13, 16 февраля 2025 (разн. | история) . . (+62)‎ . . Н Файл:Mathlog VP 09.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 9)
• 13:13, 16 февраля 2025 (разн. | история) . . (+62)‎ . . Н Файл:Mathlog VP 08.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 8) (текущая)
• 13:13, 16 февраля 2025 (разн. | история) . . (+62)‎ . . Н Файл:Mathlog VP 07.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 7) (текущая)
• 13:12, 16 февраля 2025 (разн. | история) . . (+62)‎ . . Н Файл:Mathlog VP 06.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 6)
• 13:12, 16 февраля 2025 (разн. | история) . . (+62)‎ . . Н Файл:Mathlog VP 05.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 5) (текущая)
• 12:55, 13 февраля 2025 (разн. | история) . . (+1)‎ . . м Дискретные модели в теории управляющих систем ‎
• 12:56, 11 февраля 2025 (разн. | история) . . (-1)‎ . . м Математическая логика (318, 319/2, 241, 242) ‎
• 09:52, 11 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 06.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 06.pdf») (текущая)
• 09:52, 11 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 05.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 05.pdf») (текущая)
• 09:52, 11 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 04.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 04.pdf») (текущая)
• 09:52, 11 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 02.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 02.pdf») (текущая)
• 09:43, 11 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 04.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 04.pdf»)
• 09:42, 11 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 02.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 02.pdf»)
• 09:42, 11 февраля 2025 (разн. | история) . . (0)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 09:40, 11 февраля 2025 (разн. | история) . . (+62)‎ . . Н Файл:Mathlog VP 04.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 4) (текущая)
• 14:03, 8 февраля 2025 (разн. | история) . . (0)‎ . . Распределённые алгоритмы ‎
• 14:02, 8 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 07.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 07.pdf») (текущая)
• 14:02, 8 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 06.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 06.pdf»)
• 14:02, 8 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 05.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 05.pdf»)
• 14:02, 8 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 04.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 04.pdf»)
• 14:02, 8 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 03.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 03.pdf») (текущая)
• 14:01, 8 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 02.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 02.pdf»)
• 14:01, 8 февраля 2025 (разн. | история) . . (0)‎ . . Файл:DA VP 01.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 01.pdf») (текущая)
• 12:36, 8 февраля 2025 (разн. | история) . . (-3)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 12:36, 8 февраля 2025 (разн. | история) . . (+62)‎ . . Н Файл:Mathlog VP 01.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 1) (текущая)
• 12:33, 8 февраля 2025 (разн. | история) . . (+62)‎ . . Н Файл:Mathlog VP 03.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 3) (текущая)
• 12:33, 8 февраля 2025 (разн. | история) . . (+62)‎ . . Н Файл:Mathlog VP 02.pdf ‎ (Матлогика 318+319/2+241+242. Лекции, блок 2) (текущая)
• 13:23, 6 февраля 2025 (разн. | история) . . (+123)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 13:22, 6 февраля 2025 (разн. | история) . . (-5922)‎ . . Распределённые алгоритмы ‎
• 13:21, 6 февраля 2025 (разн. | история) . . (-99)‎ . . м Математическая логика (318, 319/2, 241, 242) ‎
• 12:27, 6 февраля 2025 (разн. | история) . . (-301)‎ . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем ‎ (текущая)
• 17:24, 29 января 2025 (разн. | история) . . (+272)‎ . . Н Дискретная математика (3-й поток) ‎ (Новая страница: «Категория:Лекционные курсы кафедры МК '''Дополнительная''' страница по курсу Дискретн…»)
• 17:23, 29 января 2025 (разн. | история) . . (+282)‎ . . Н Дискретная математика (2-й поток) ‎ (Новая страница: «Категория:Лекционные курсы кафедры МК '''Дополнительная''' страница по курсу Дискретн…») (текущая)
• 17:23, 29 января 2025 (разн. | история) . . (+1)‎ . . м Дискретная математика (1-й поток) ‎
• 17:20, 29 января 2025 (разн. | история) . . (0)‎ . . м Дискретная математика (1-й курс) ‎
• 17:19, 29 января 2025 (разн. | история) . . (+90)‎ . . Н Файл:Lectdm.pdf ‎ (Лекции по дискретной математике. Алексеев В.Б. 2004.) (текущая)
• 11:34, 27 декабря 2024 (разн. | история) . . (+20)‎ . . м Математическая логика и логическое программирование (3-й поток) ‎
• 11:34, 27 декабря 2024 (разн. | история) . . (-131)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 11:34, 27 декабря 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP all.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP all.pdf») (текущая)
• 18:05, 10 декабря 2024 (разн. | история) . . (+1024)‎ . . Шаблон:Important Announcements ‎
• 12:56, 9 декабря 2024 (разн. | история) . . (+674)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 12:53, 9 декабря 2024 (разн. | история) . . (+246)‎ . . Н Файл:MLLP VP r06.pdf ‎ (Математическая логика и логическое программирование, третий поток. Вне программы 6. Формальная арифметика. Теорема Гёделя о неполноте) (текущая)
• 12:53, 9 декабря 2024 (разн. | история) . . (+199)‎ . . Н Файл:MLLP VP r05.pdf ‎ (Математическая логика и логическое программирование, третий поток. Вне программы 5. Теорема Гёделя о полноте) (текущая)
• 12:52, 9 декабря 2024 (разн. | история) . . (+200)‎ . . Н Файл:MLLP VP r04.pdf ‎ (Математическая логика и логическое программирование, третий поток. Вне программы 4. Изоморфизм Карри-Говарда) (текущая)
• 12:52, 9 декабря 2024 (разн. | история) . . (+208)‎ . . Н Файл:MLLP VP r03.pdf ‎ (Математическая логика и логическое программирование, третий поток. Вне программы 3. Пара слов о лямбда-исчислении) (текущая)
• 12:51, 9 декабря 2024 (разн. | история) . . (+197)‎ . . Н Файл:MLLP VP r02.pdf ‎ (Математическая логика и логическое программирование, третий поток. Вне программы 1. Натуральные исчисления) (текущая)
• 12:50, 9 декабря 2024 (разн. | история) . . (+195)‎ . . Н Файл:MLLP VP r01.pdf ‎ (Математическая логика и логическое программирование, третий поток. Вне программы 1. Логические исчисления) (текущая)
• 12:50, 9 декабря 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 58.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 58.pdf») (текущая)
• 14:17, 2 декабря 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 14:17, 2 декабря 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 57.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 57.pdf») (текущая)
• 14:16, 2 декабря 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 56.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 56.pdf») (текущая)
• 14:19, 1 декабря 2024 (разн. | история) . . (-32)‎ . . Математические методы верификации схем и программ ‎ (текущая)
• 14:18, 1 декабря 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP all.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP all.pdf») (текущая)
• 00:07, 27 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 28.pdf») (текущая)
• 00:05, 27 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 28.pdf»)
• 09:47, 25 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP R01.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R01.pdf») (текущая)
• 20:25, 24 ноября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 20:23, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 55.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 55.pdf») (текущая)
• 20:23, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 54.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 54.pdf») (текущая)
• 20:23, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 53.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf») (текущая)
• 20:23, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 52.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 52.pdf») (текущая)
• 20:23, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 51.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 51.pdf») (текущая)
• 20:15, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 35.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 35.pdf») (текущая)
• 20:08, 24 ноября 2024 (разн. | история) . . (+79)‎ . . Языки описания схем ‎ (текущая)
• 20:05, 24 ноября 2024 (разн. | история) . . (+119)‎ . . Н Файл:HDL VP R07.pdf ‎ (Языки описания схем. 2024-2025. Ещё немного о verilog и пара слов о systemverilog) (текущая)
• 19:48, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP R06.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R06.pdf») (текущая)
• 19:48, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP R05.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R05.pdf») (текущая)
• 19:48, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP R04.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R04.pdf») (текущая)
• 19:48, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP R03.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R03.pdf») (текущая)
• 19:48, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP R02.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R02.pdf») (текущая)
• 19:48, 24 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP R01.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP R01.pdf»)
• 10:34, 20 ноября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 10:34, 20 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 40.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 40.pdf») (текущая)
• 10:33, 20 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 39.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 39.pdf») (текущая)
• 10:33, 20 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 38.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 38.pdf») (текущая)
• 10:33, 20 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 37.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 37.pdf») (текущая)
• 13:30, 17 ноября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 13:30, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 50.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 50.pdf») (текущая)
• 13:30, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 49.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 49.pdf») (текущая)
• 13:30, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 48.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 48.pdf») (текущая)
• 13:26, 17 ноября 2024 (разн. | история) . . (-34)‎ . . Математические методы верификации схем и программ ‎
• 13:25, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP Prac Uppaal.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Prac Uppaal.pdf») (текущая)
• 13:12, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 36.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 36.pdf») (текущая)
• 12:12, 17 ноября 2024 (разн. | история) . . (-34)‎ . . Языки описания схем ‎
• 12:12, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP s05.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP s05.pdf») (текущая)
• 11:59, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 46.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 46.pdf») (текущая)
• 11:58, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 34.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 34.pdf») (текущая)
• 11:58, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 32.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 32.pdf») (текущая)
• 11:58, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 30.pdf») (текущая)
• 11:56, 17 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 29.pdf») (текущая)
• 10:14, 13 ноября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 10:13, 13 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 35.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 35.pdf»)
• 10:13, 13 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 34.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 34.pdf»)
• 10:13, 13 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 33.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 33.pdf») (текущая)
• 22:30, 10 ноября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 22:30, 10 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 47.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 47.pdf») (текущая)
• 22:30, 10 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 46.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 46.pdf»)
• 22:30, 10 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 45.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 45.pdf») (текущая)
• 22:29, 10 ноября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 44.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 44.pdf») (текущая)
• 22:24, 10 ноября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 22:23, 10 ноября 2024 (разн. | история) . . (0)‎ . . Языки описания схем ‎
• 22:23, 10 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 32.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 32.pdf»)
• 22:22, 10 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 31.pdf») (текущая)
• 22:11, 10 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 31.pdf») (текущая)
• 22:11, 10 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 30.pdf») (текущая)
• 22:11, 10 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 29.pdf»)
• 22:06, 10 ноября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 26.pdf») (текущая)
• 21:49, 7 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 29.pdf») (текущая)
• 13:50, 7 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 29.pdf»)
• 13:50, 7 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 28.pdf»)
• 23:18, 5 ноября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 23:17, 5 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 30.pdf»)
• 23:17, 5 ноября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 29.pdf»)
• 19:54, 30 октября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 19:54, 30 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP Prac Nusmv.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Prac Nusmv.pdf») (текущая)
• 18:19, 27 октября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 18:18, 27 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 43.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 43.pdf») (текущая)
• 18:18, 27 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 42.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 42.pdf») (текущая)
• 18:18, 27 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 41.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 41.pdf») (текущая)
• 18:18, 27 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 40.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 40.pdf») (текущая)
• 18:18, 27 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 39.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 39.pdf») (текущая)
• 18:14, 27 октября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 18:13, 27 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP Review Nusmv.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Review Nusmv.pdf») (текущая)
• 18:08, 27 октября 2024 (разн. | история) . . (0)‎ . . Языки описания схем ‎
• 18:07, 27 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP s04.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP s04.pdf») (текущая)
• 18:05, 27 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 28.pdf») (текущая)
• 18:05, 27 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 27.pdf») (текущая)
• 19:56, 22 октября 2024 (разн. | история) . . (-32)‎ . . Математические методы верификации схем и программ ‎ (→‎Семинары)
• 19:55, 22 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP sem03.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP sem03.pdf») (текущая)
• 20:02, 21 октября 2024 (разн. | история) . . (+69)‎ . . Половинкина Татьяна Ивановна ‎ (текущая)
• 16:53, 21 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 34.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 34.pdf») (текущая)
• 16:49, 21 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 27.pdf») (текущая)
• 22:39, 20 октября 2024 (разн. | история) . . (0)‎ . . Языки описания схем ‎ (→‎Упражнения)
• 22:38, 20 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP s03.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP s03.pdf») (текущая)
• 22:33, 20 октября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 22:32, 20 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 38.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 38.pdf») (текущая)
• 22:32, 20 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 37.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 37.pdf») (текущая)
• 22:32, 20 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 36.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 36.pdf») (текущая)
• 22:31, 20 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 35.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 35.pdf») (текущая)
• 21:21, 20 октября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 21:20, 20 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 28.pdf»)
• 21:20, 20 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 27.pdf»)
• 21:20, 20 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 26.pdf») (текущая)
• 21:19, 20 октября 2024 (разн. | история) . . (0)‎ . . Языки описания схем ‎
• 21:18, 20 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 26.pdf»)
• 13:41, 17 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 24.pdf») (текущая)
• 13:41, 17 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 22.pdf») (текущая)
• 13:41, 17 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 21.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 21.pdf») (текущая)
• 20:32, 16 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 33.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 33.pdf») (текущая)
• 14:01, 16 октября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 14:00, 16 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 25.pdf») (текущая)
• 14:00, 16 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 24.pdf»)
• 22:45, 13 октября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 22:44, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 23.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 23.pdf») (текущая)
• 22:44, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 22.pdf»)
• 22:44, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 21.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 21.pdf»)
• 22:43, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 13.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 13.pdf») (текущая)
• 18:56, 13 октября 2024 (разн. | история) . . (0)‎ . . Языки описания схем ‎
• 18:55, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 25.pdf») (текущая)
• 18:20, 13 октября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 18:19, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 34.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 34.pdf»)
• 18:19, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 33.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 33.pdf»)
• 18:19, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 32.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 32.pdf») (текущая)
• 18:19, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 31.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 31.pdf») (текущая)
• 18:19, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 30.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 30.pdf») (текущая)
• 18:18, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 29.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 29.pdf») (текущая)
• 18:18, 13 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 28.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 28.pdf») (текущая)
• 22:58, 8 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 15.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 15.pdf») (текущая)
• 22:53, 8 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 22.pdf») (текущая)
• 15:57, 8 октября 2024 (разн. | история) . . (+2)‎ . . м Математические методы верификации схем и программ ‎
• 23:15, 7 октября 2024 (разн. | история) . . (+62)‎ . . м Языки описания схем ‎
• 23:15, 7 октября 2024 (разн. | история) . . (+62)‎ . . м Элементы теории синтеза, надежности и контроля дискретных управляющих систем ‎ (текущая)
• 23:15, 7 октября 2024 (разн. | история) . . (+61)‎ . . м Проектирование больших систем на С++ ‎
• 23:14, 7 октября 2024 (разн. | история) . . (+62)‎ . . м Практикум по дискретным структурам ‎ (текущая)
• 23:14, 7 октября 2024 (разн. | история) . . (+62)‎ . . м Математические модели и методы физического синтеза сверхбольших интегральных схем ‎ (текущая)
• 23:14, 7 октября 2024 (разн. | история) . . (+62)‎ . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем ‎
• 23:14, 7 октября 2024 (разн. | история) . . (+62)‎ . . м Математические модели и методы логического синтеза сверхбольших интегральных схем ‎
• 23:12, 7 октября 2024 (разн. | история) . . (+62)‎ . . м Математические методы верификации схем и программ ‎
• 23:11, 7 октября 2024 (разн. | история) . . (+62)‎ . . м Графы и их применения ‎ (текущая)
• 23:11, 7 октября 2024 (разн. | история) . . (+62)‎ . . м Геометрическая реализация графов и схем ‎ (текущая)
• 23:09, 7 октября 2024 (разн. | история) . . (-76)‎ . . м Вероятностные и квантовые алгоритмы ‎ (текущая)
• 23:08, 7 октября 2024 (разн. | история) . . (+13)‎ . . м Математические модели последовательных вычислений ‎ (текущая)
• 23:06, 7 октября 2024 (разн. | история) . . (+13)‎ . . м Вероятностные и квантовые алгоритмы ‎
• 23:06, 7 октября 2024 (разн. | история) . . (+13)‎ . . м Modern trends in discrete mathematics and computer science ‎ (текущая)
• 23:05, 7 октября 2024 (разн. | история) . . (+13)‎ . . м Вероятностные методы в комбинаторике ‎ (текущая)
• 23:05, 7 октября 2024 (разн. | история) . . (+13)‎ . . Большие графы и модели сложных сетей ‎ (текущая)
• 23:04, 7 октября 2024 (разн. | история) . . (+13)‎ . . Modern trends in discrete mathematics and computer science ‎
• 23:04, 7 октября 2024 (разн. | история) . . (+89)‎ . . Заглавная страница ‎ (→‎Информация) (текущая)
• 14:31, 7 октября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 14:31, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 27.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 27.pdf») (текущая)
• 14:30, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 26.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 26.pdf») (текущая)
• 14:30, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 25.pdf») (текущая)
• 14:29, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 19.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 19.pdf») (текущая)
• 14:21, 7 октября 2024 (разн. | история) . . (+75)‎ . . м Графы и их приложения ‎
• 14:19, 7 октября 2024 (разн. | история) . . (-30)‎ . . Заглавная страница ‎ (→‎Информация)
• 00:48, 7 октября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 00:47, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 20.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 20.pdf») (текущая)
• 00:47, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 19.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 19.pdf») (текущая)
• 00:47, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 18.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 18.pdf») (текущая)
• 00:47, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 17.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 17.pdf») (текущая)
• 00:47, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 16.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 16.pdf») (текущая)
• 00:33, 7 октября 2024 (разн. | история) . . (0)‎ . . Языки описания схем ‎
• 00:32, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 24.pdf») (текущая)
• 00:32, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 23.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 23.pdf») (текущая)
• 00:32, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 22.pdf»)
• 00:31, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 21.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 21.pdf») (текущая)
• 00:31, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 20.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 20.pdf») (текущая)
• 00:26, 7 октября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 19.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 19.pdf») (текущая)
• 13:36, 1 октября 2024 (разн. | история) . . (+118)‎ . . Математические методы верификации схем и программ ‎
• 13:32, 1 октября 2024 (разн. | история) . . (-1001)‎ . . Математические методы верификации схем и программ ‎
• 13:19, 1 октября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 13:19, 1 октября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP Prac Spin.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Prac Spin.pdf») (текущая)
• 19:09, 30 сентября 2024 (разн. | история) . . (+1537)‎ . . Спецсеминары ‎ (текущая)
• 17:32, 26 сентября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 17:32, 26 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 24.pdf») (текущая)
• 17:32, 26 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 23.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 23.pdf») (текущая)
• 17:31, 26 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 22.pdf») (текущая)
• 17:31, 26 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 21.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 21.pdf») (текущая)
• 17:31, 26 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 20.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 20.pdf») (текущая)
• 17:31, 26 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 19.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 19.pdf»)
• 17:31, 26 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 18.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 18.pdf») (текущая)
• 17:06, 26 сентября 2024 (разн. | история) . . (-5)‎ . . м Математические методы верификации схем и программ ‎
• 14:35, 26 сентября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 14:34, 26 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP Review Spin.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Review Spin.pdf») (текущая)
• 14:01, 26 сентября 2024 (разн. | история) . . (0)‎ . . Языки описания схем ‎
• 14:01, 26 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP s02.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP s02.pdf») (текущая)
• 13:59, 25 сентября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 13:58, 25 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP sem02.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP sem02.pdf») (текущая)
• 16:08, 22 сентября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 16:07, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 17.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 17.pdf») (текущая)
• 16:07, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 16.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 16.pdf») (текущая)
• 16:07, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 15.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 15.pdf») (текущая)
• 15:53, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 09.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 09.pdf») (текущая)
• 15:23, 22 сентября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 15:23, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 15.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 15.pdf»)
• 15:23, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 14.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 14.pdf») (текущая)
• 15:23, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 13.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 13.pdf»)
• 15:23, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 12.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 12.pdf») (текущая)
• 15:19, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 10.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 10.pdf») (текущая)
• 15:03, 22 сентября 2024 (разн. | история) . . (0)‎ . . Языки описания схем ‎
• 15:02, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 18.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 18.pdf») (текущая)
• 15:02, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 17.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 17.pdf») (текущая)
• 15:02, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 16.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 16.pdf») (текущая)
• 15:01, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 15.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 15.pdf») (текущая)
• 15:01, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 14.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 14.pdf») (текущая)
• 15:01, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 13.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 13.pdf») (текущая)
• 15:01, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 12.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 12.pdf») (текущая)
• 15:01, 22 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 11.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 11.pdf») (текущая)
• 16:12, 17 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 08.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 08.pdf») (текущая)
• 16:11, 17 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 07.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 07.pdf») (текущая)
• 21:09, 15 сентября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 21:08, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 14.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 14.pdf») (текущая)
• 21:08, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 13.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 13.pdf») (текущая)
• 21:08, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 12.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 12.pdf») (текущая)
• 21:07, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 11.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 11.pdf») (текущая)
• 21:07, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 10.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 10.pdf») (текущая)
• 21:07, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 09.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 09.pdf»)
• 21:07, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 08.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 08.pdf») (текущая)
• 20:22, 15 сентября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 20:21, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 11.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 11.pdf») (текущая)
• 20:21, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 10.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 10.pdf»)
• 20:21, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 09.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 09.pdf») (текущая)
• 20:21, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 08.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 08.pdf»)
• 20:20, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 07.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 07.pdf»)
• 20:15, 15 сентября 2024 (разн. | история) . . (0)‎ . . Языки описания схем ‎
• 20:14, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP s01.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP s01.pdf») (текущая)
• 20:14, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 10.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 10.pdf») (текущая)
• 20:14, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 09.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 09.pdf») (текущая)
• 20:14, 15 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 08.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 08.pdf») (текущая)
• 11:33, 12 сентября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 11:32, 12 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP sem01.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP sem01.pdf») (текущая)
• 20:48, 8 сентября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 20:48, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 07.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 07.pdf») (текущая)
• 20:47, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 06.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 06.pdf») (текущая)
• 20:47, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 05.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 05.pdf») (текущая)
• 20:46, 8 сентября 2024 (разн. | история) . . (0)‎ . . Языки описания схем ‎
• 20:46, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 07.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 07.pdf») (текущая)
• 20:46, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 06.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 06.pdf») (текущая)
• 20:45, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 05.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 05.pdf») (текущая)
• 20:45, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 04.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 04.pdf») (текущая)
• 20:44, 8 сентября 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 20:19, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 06.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 06.pdf») (текущая)
• 20:18, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 05.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 05.pdf») (текущая)
• 20:18, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 04.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 04.pdf») (текущая)
• 20:18, 8 сентября 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 03.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 03.pdf») (текущая)
• 09:46, 2 сентября 2024 (разн. | история) . . (+6)‎ . . м Математическая логика и логическое программирование (3-й поток) ‎
• 09:46, 2 сентября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 12:53, 1 сентября 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 12:52, 1 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 04.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 04.pdf») (текущая)
• 12:52, 1 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 03.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 03.pdf») (текущая)
• 12:52, 1 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 02.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 02.pdf») (текущая)
• 12:52, 1 сентября 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP 01.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 01.pdf») (текущая)
• 12:49, 1 сентября 2024 (разн. | история) . . (-74)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 20:39, 31 августа 2024 (разн. | история) . . (0)‎ . . Математические методы верификации схем и программ ‎
• 20:38, 31 августа 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 02.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 02.pdf») (текущая)
• 20:38, 31 августа 2024 (разн. | история) . . (0)‎ . . Файл:Verif VP 01.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 01.pdf») (текущая)
• 15:37, 31 августа 2024 (разн. | история) . . (-3091)‎ . . Языки описания схем ‎
• 15:34, 31 августа 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 03.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 03.pdf») (текущая)
• 15:34, 31 августа 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 02.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 02.pdf») (текущая)
• 15:34, 31 августа 2024 (разн. | история) . . (0)‎ . . Файл:HDL VP 01.pdf ‎ (PodymovVV загружена новая версия «Файл:HDL VP 01.pdf») (текущая)
• 19:26, 30 августа 2024 (разн. | история) . . (+399)‎ . . Математические методы верификации схем и программ ‎
• 18:53, 9 августа 2024 (разн. | история) . . (+2471)‎ . . ПТК 2024 ‎ (текущая)
• 11:50, 30 июня 2024 (разн. | история) . . (+3003)‎ . . ПТК 2024 ‎
• 11:18, 24 июня 2024 (разн. | история) . . (+210)‎ . . Н ПТК 2024 ‎ (Новая страница: «''Здесь будет расположена информация о XX Международной научной конференции "Проблемы те…»)
• 20:20, 13 мая 2024 (разн. | история) . . (0)‎ . . Файл:DA VP 43.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 43.pdf»)
• 20:19, 13 мая 2024 (разн. | история) . . (0)‎ . . Файл:DA VP 39.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 39.pdf»)
• 20:19, 13 мая 2024 (разн. | история) . . (0)‎ . . Файл:DA VP 38.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 38.pdf»)
• 22:11, 12 мая 2024 (разн. | история) . . (+244)‎ . . Шаблон:Important Announcements ‎
• 15:48, 12 мая 2024 (разн. | история) . . (+310)‎ . . Распределённые алгоритмы ‎
• 15:46, 12 мая 2024 (разн. | история) . . (+70)‎ . . Н Файл:DA VP 43.pdf ‎ (распределенные алгоритмы 2023-2024, блок 43)
• 15:46, 12 мая 2024 (разн. | история) . . (+70)‎ . . Н Файл:DA VP 42.pdf ‎ (распределенные алгоритмы 2023-2024, блок 42)
• 15:46, 12 мая 2024 (разн. | история) . . (+70)‎ . . Н Файл:DA VP 41.pdf ‎ (распределенные алгоритмы 2023-2024, блок 41)
• 15:05, 12 мая 2024 (разн. | история) . . (-2)‎ . . м Математическая логика и логическое программирование (3-й поток) ‎
• 15:02, 12 мая 2024 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (3-й поток) ‎
• 15:01, 12 мая 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP gos4.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP gos4.pdf»)
• 15:01, 12 мая 2024 (разн. | история) . . (0)‎ . . Файл:MLLP VP gos3.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP gos3.pdf»)
• 16:22, 7 мая 2024 (разн. | история) . . (-339)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 16:22, 7 мая 2024 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b46.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b46.pdf») (текущая)
• 22:04, 6 мая 2024 (разн. | история) . . (-91)‎ . . м Математическая логика (318, 319/2, 241, 242) ‎
• 22:04, 6 мая 2024 (разн. | история) . . (-649)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 22:02, 6 мая 2024 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b48.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b48.pdf») (текущая)
• 22:02, 6 мая 2024 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b47.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b47.pdf») (текущая)
• 22:02, 6 мая 2024 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b46.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b46.pdf»)
• 22:01, 6 мая 2024 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b45.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b45.pdf») (текущая)
• 22:01, 6 мая 2024 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b44.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b44.pdf») (текущая)
• 13:28, 23 апреля 2024 (разн. | история) . . (-78)‎ . . м Математическая логика (318, 319/2, 241, 242) ‎
• 13:27, 23 апреля 2024 (разн. | история) . . (+78)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 13:27, 23 апреля 2024 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b43.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b43.pdf») (текущая)
• 10:49, 22 апреля 2024 (разн. | история) . . (0)‎ . . Файл:DA VP 38.pdf ‎ (PodymovVV загружена новая версия «Файл:DA VP 38.pdf»)
• 23:40, 21 апреля 2024 (разн. | история) . . (0)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 23:37, 21 апреля 2024 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b42.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b42.pdf») (текущая)
• 23:15, 21 апреля 2024 (разн. | история) . . (+254)‎ . . Распределённые алгоритмы ‎
• 23:13, 21 апреля 2024 (разн. | история) . . (+82)‎ . . Н Файл:DA VP 40.pdf ‎ (распределённые алгоритмы, весна 2023-2024, блок 40)
• 23:13, 21 апреля 2024 (разн. | история) . . (+82)‎ . . Н Файл:DA VP 39.pdf ‎ (распределённые алгоритмы, весна 2023-2024, блок 39)

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