Вклад участника
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)
- 13:05, 8 апреля 2024 (разн. | история) . . (+87) . . Н Файл:DA VP S08.pdf (распределённые алгоритмы, весна 2023-2024, семинар 8) (текущая)
- 12:18, 8 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 35.pdf (PodymovVV загружена новая версия «Файл:DA VP 35.pdf») (текущая)
- 12:11, 8 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b36.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b36.pdf») (текущая)
- 22:46, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 36.pdf (PodymovVV загружена новая версия «Файл:DA VP 36.pdf») (текущая)
- 22:46, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 35.pdf (PodymovVV загружена новая версия «Файл:DA VP 35.pdf»)
- 22:44, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 35.pdf (PodymovVV загружена новая версия «Файл:DA VP 35.pdf»)
- 22:39, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 34.pdf (PodymovVV загружена новая версия «Файл:DA VP 34.pdf») (текущая)
- 22:39, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 33.pdf (PodymovVV загружена новая версия «Файл:DA VP 33.pdf») (текущая)
- 22:39, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 32.pdf (PodymovVV загружена новая версия «Файл:DA VP 32.pdf»)
- 22:24, 7 апреля 2024 (разн. | история) . . (+676) . . Распределённые алгоритмы
- 22:22, 7 апреля 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 36.pdf (распределённые алгоритмы, весна 2023-2024, блок 36)
- 22:22, 7 апреля 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 35.pdf (распределённые алгоритмы, весна 2023-2024, блок 35)
- 22:21, 7 апреля 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 34.pdf (распределённые алгоритмы, весна 2023-2024, блок 34)
- 22:21, 7 апреля 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 33.pdf (распределённые алгоритмы, весна 2023-2024, блок 33)
- 22:21, 7 апреля 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 32.pdf (распределённые алгоритмы, весна 2023-2024, блок 32)
- 18:50, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 23.pdf (PodymovVV загружена новая версия «Файл:DA VP 23.pdf») (текущая)
- 18:00, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP S07.pdf (PodymovVV загружена новая версия «Файл:DA VP S07.pdf») (текущая)
- 18:00, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 31.pdf (PodymovVV загружена новая версия «Файл:DA VP 31.pdf») (текущая)
- 18:00, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 29.pdf (PodymovVV загружена новая версия «Файл:DA VP 29.pdf») (текущая)
- 17:59, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 27.pdf (PodymovVV загружена новая версия «Файл:DA VP 27.pdf») (текущая)
- 17:59, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 26.pdf (PodymovVV загружена новая версия «Файл:DA VP 26.pdf») (текущая)
- 17:59, 7 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 25.pdf (PodymovVV загружена новая версия «Файл:DA VP 25.pdf») (текущая)
- 11:58, 7 апреля 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 11:58, 7 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b38.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b38.pdf») (текущая)
- 11:58, 7 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b37.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b37.pdf») (текущая)
- 11:57, 7 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b36.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b36.pdf»)
- 11:37, 7 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b6.pdf») (текущая)
- 18:58, 2 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 30.pdf (PodymovVV загружена новая версия «Файл:DA VP 30.pdf») (текущая)
- 18:58, 2 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 26.pdf (PodymovVV загружена новая версия «Файл:DA VP 26.pdf»)
- 18:58, 2 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP 24.pdf (PodymovVV загружена новая версия «Файл:DA VP 24.pdf») (текущая)
- 18:10, 2 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b34.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b34.pdf») (текущая)
- 14:19, 2 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b35.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b35.pdf») (текущая)
- 14:09, 2 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b32.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b32.pdf») (текущая)
- 12:21, 2 апреля 2024 (разн. | история) . . (+48) . . м Математическая логика (318, 319/2, 241, 242)
- 11:26, 2 апреля 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 11:26, 2 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b35.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b35.pdf»)
- 11:26, 2 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b34.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b34.pdf»)
- 11:25, 2 апреля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b33.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b33.pdf») (текущая)
- 14:54, 1 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP S07.pdf (PodymovVV загружена новая версия «Файл:DA VP S07.pdf»)
- 14:49, 1 апреля 2024 (разн. | история) . . (+105) . . Распределённые алгоритмы
- 14:48, 1 апреля 2024 (разн. | история) . . (0) . . Файл:DA VP S07.pdf (PodymovVV загружена новая версия «Файл:DA VP S07.pdf»)
- 14:47, 1 апреля 2024 (разн. | история) . . (+87) . . Н Файл:DA VP S07.pdf (распределённые алгоритмы, весна 2023-2024, семинар 7)
- 12:26, 1 апреля 2024 (разн. | история) . . (+487) . . Шаблон:Important Announcements
- 12:24, 1 апреля 2024 (разн. | история) . . (+75) . . Н Файл:MD requirements.pdf (требования к магистерской диссертации 618) (текущая)
- 12:24, 1 апреля 2024 (разн. | история) . . (+59) . . Н Файл:VKR requirements.pdf (требования к выпускной работе 418) (текущая)
- 11:52, 1 апреля 2024 (разн. | история) . . (+63) . . Заглавная страница (текущая)
- 23:16, 31 марта 2024 (разн. | история) . . (+337) . . Распределённые алгоритмы
- 23:15, 31 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 31.pdf (распределённые алгоритмы, весна 2023-2024, блок 31)
- 23:14, 31 марта 2024 (разн. | история) . . (+71) . . Н Файл:DA VP 30.pdf (распределённые алгоритмы, 2023-2024, блок 30)
- 23:14, 31 марта 2024 (разн. | история) . . (+71) . . Н Файл:DA VP 29.pdf (распределённые алгоритмы, 2023-2024, блок 29)
- 23:14, 31 марта 2024 (разн. | история) . . (+71) . . Н Файл:DA VP 28.pdf (распределённые алгоритмы, 2023-2024, блок 28) (текущая)
- 15:16, 26 марта 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:16, 26 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b32.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b32.pdf»)
- 15:15, 26 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b31.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b31.pdf») (текущая)
- 14:51, 25 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b29.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b29.pdf») (текущая)
- 14:51, 25 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b28.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b28.pdf») (текущая)
- 14:51, 25 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b27.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b27.pdf») (текущая)
- 14:50, 25 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b26.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b26.pdf») (текущая)
- 14:50, 25 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b24.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b24.pdf») (текущая)
- 11:20, 25 марта 2024 (разн. | история) . . (+250) . . Распределённые алгоритмы
- 11:19, 25 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 27.pdf (распределённые алгоритмы, весна 2023-2024, блок 27)
- 11:19, 25 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 26.pdf (распределённые алгоритмы, весна 2023-2024, блок 26)
- 11:19, 25 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 25.pdf (распределённые алгоритмы, весна 2023-2024, блок 25)
- 22:05, 24 марта 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 22:05, 24 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b30.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b30.pdf») (текущая)
- 22:05, 24 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b29.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b29.pdf»)
- 22:04, 24 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b28.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b28.pdf»)
- 22:04, 24 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b27.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b27.pdf»)
- 14:10, 24 марта 2024 (разн. | история) . . (0) . . Файл:DA VP 24.pdf (PodymovVV загружена новая версия «Файл:DA VP 24.pdf»)
- 12:49, 19 марта 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 12:48, 19 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b26.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b26.pdf»)
- 12:48, 19 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b25.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b25.pdf») (текущая)
- 10:44, 19 марта 2024 (разн. | история) . . (0) . . Файл:DA VP 24.pdf (PodymovVV загружена новая версия «Файл:DA VP 24.pdf»)
- 10:44, 19 марта 2024 (разн. | история) . . (0) . . Файл:DA VP 21.pdf (PodymovVV загружена новая версия «Файл:DA VP 21.pdf») (текущая)
- 14:34, 18 марта 2024 (разн. | история) . . (+483) . . Распределённые алгоритмы
- 14:33, 18 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 24.pdf (распределённые алгоритмы, весна 2023-2024, блок 24)
- 14:32, 18 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 23.pdf (распределённые алгоритмы, весна 2023-2024, блок 23)
- 14:32, 18 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 22.pdf (распределённые алгоритмы, весна 2023-2024, блок 22) (текущая)
- 14:32, 18 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 21.pdf (распределённые алгоритмы, весна 2023-2024, блок 21)
- 13:44, 17 марта 2024 (разн. | история) . . (+92) . . Распределённые алгоритмы
- 13:44, 17 марта 2024 (разн. | история) . . (+87) . . Н Файл:DA VP S05.pdf (распределённые алгоритмы, весна 2023-2024, семинар 5) (текущая)
- 18:55, 16 марта 2024 (разн. | история) . . (+89) . . Спецсеминары (текущая)
- 19:09, 12 марта 2024 (разн. | история) . . (+789) . . Просеминар для 2-го курса (текущая)
- 14:21, 12 марта 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 14:21, 12 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b24.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b24.pdf»)
- 14:21, 12 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b23.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b23.pdf») (текущая)
- 14:21, 12 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b22.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b22.pdf») (текущая)
- 18:46, 11 марта 2024 (разн. | история) . . (0) . . Файл:DA VP 20.pdf (PodymovVV загружена новая версия «Файл:DA VP 20.pdf») (текущая)
- 18:46, 11 марта 2024 (разн. | история) . . (0) . . Файл:DA VP 19.pdf (PodymovVV загружена новая версия «Файл:DA VP 19.pdf») (текущая)
- 18:45, 11 марта 2024 (разн. | история) . . (0) . . Файл:DA VP 18.pdf (PodymovVV загружена новая версия «Файл:DA VP 18.pdf») (текущая)
- 16:08, 11 марта 2024 (разн. | история) . . (+233) . . Распределённые алгоритмы
- 16:07, 11 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 20.pdf (распределённые алгоритмы, весна 2023-2024, блок 20)
- 16:07, 11 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 19.pdf (распределённые алгоритмы, весна 2023-2024, блок 19)
- 16:06, 11 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 18.pdf (распределённые алгоритмы, весна 2023-2024, блок 18)
- 23:11, 10 марта 2024 (разн. | история) . . (0) . . Файл:DA VP 17.pdf (PodymovVV загружена новая версия «Файл:DA VP 17.pdf») (текущая)
- 19:23, 10 марта 2024 (разн. | история) . . (+178) . . Распределённые алгоритмы
- 19:22, 10 марта 2024 (разн. | история) . . (+65) . . Н Файл:DA VP S04.pdf (распределённые алгоритмы, семинар 4) (текущая)
- 16:07, 10 марта 2024 (разн. | история) . . (0) . . Файл:DA VP 17.pdf (PodymovVV загружена новая версия «Файл:DA VP 17.pdf»)
- 15:26, 10 марта 2024 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 15:26, 10 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b21.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b21.pdf») (текущая)
- 15:25, 10 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b20.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b20.pdf») (текущая)
- 14:47, 10 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b18.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b18.pdf») (текущая)
- 14:47, 10 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b16.pdf») (текущая)
- 11:00, 5 марта 2024 (разн. | история) . . (0) . . Файл:DA VP 17.pdf (PodymovVV загружена новая версия «Файл:DA VP 17.pdf»)
- 12:08, 4 марта 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 12:07, 4 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b19.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b19.pdf») (текущая)
- 12:06, 4 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b18.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b18.pdf»)
- 12:06, 4 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b17.pdf») (текущая)
- 12:06, 4 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b16.pdf»)
- 12:06, 4 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b15.pdf») (текущая)
- 12:06, 4 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b14.pdf») (текущая)
- 12:05, 4 марта 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b13.pdf») (текущая)
- 11:41, 4 марта 2024 (разн. | история) . . (+549) . . Распределённые алгоритмы
- 11:39, 4 марта 2024 (разн. | история) . . (0) . . Файл:DA VP 17.pdf (PodymovVV загружена новая версия «Файл:DA VP 17.pdf»)
- 11:33, 4 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 17.pdf (распределённые алгоритмы, весна 2023-2024, блок 17)
- 11:33, 4 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 16.pdf (распределённые алгоритмы, весна 2023-2024, блок 16) (текущая)
- 11:32, 4 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 15.pdf (распределённые алгоритмы, весна 2023-2024, блок 15) (текущая)
- 11:32, 4 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 14.pdf (распределённые алгоритмы, весна 2023-2024, блок 14) (текущая)
- 11:32, 4 марта 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 13.pdf (распределённые алгоритмы, весна 2023-2024, блок 13) (текущая)
- 09:23, 27 февраля 2024 (разн. | история) . . (0) . . Файл:DA VP S02.pdf (PodymovVV загружена новая версия «Файл:DA VP S02.pdf») (текущая)
- 09:23, 27 февраля 2024 (разн. | история) . . (0) . . Файл:DA VP 11.pdf (PodymovVV загружена новая версия «Файл:DA VP 11.pdf») (текущая)
- 13:08, 26 февраля 2024 (разн. | история) . . (0) . . Файл:DA VP 12.pdf (PodymovVV загружена новая версия «Файл:DA VP 12.pdf») (текущая)
- 13:07, 26 февраля 2024 (разн. | история) . . (+220) . . Распределённые алгоритмы
- 13:05, 26 февраля 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 12.pdf (распределённые алгоритмы, весна 2023-2024, блок 12)
- 12:16, 26 февраля 2024 (разн. | история) . . (+94) . . м Просеминар для 2-го курса
- 23:51, 25 февраля 2024 (разн. | история) . . (0) . . Файл:DA VP 10.pdf (PodymovVV загружена новая версия «Файл:DA VP 10.pdf») (текущая)
- 23:41, 25 февраля 2024 (разн. | история) . . (+106) . . Распределённые алгоритмы
- 23:40, 25 февраля 2024 (разн. | история) . . (+132) . . Н Файл:DA VP S02.pdf (Распределённые алгоритмы, весна 2023-2024, семинар 2 (безопасность и живость))
- 18:14, 25 февраля 2024 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 18:13, 25 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b12.pdf») (текущая)
- 18:13, 25 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b11.pdf») (текущая)
- 18:12, 25 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b10.pdf») (текущая)
- 18:02, 25 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf») (текущая)
- 15:18, 20 февраля 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:17, 20 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b9.pdf») (текущая)
- 15:17, 20 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf»)
- 15:17, 20 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b7.pdf») (текущая)
- 15:16, 20 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b6.pdf»)
- 15:56, 19 февраля 2024 (разн. | история) . . (+800) . . Распределённые алгоритмы
- 15:53, 19 февраля 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 11.pdf (распределённые алгоритмы, весна 2023-2024, блок 11)
- 15:53, 19 февраля 2024 (разн. | история) . . (+82) . . Н Файл:DA VP 10.pdf (распределённые алгоритмы, весна 2023-2024, блок 10)
- 15:53, 19 февраля 2024 (разн. | история) . . (+81) . . Н Файл:DA VP 09.pdf (распределённые алгоритмы, весна 2023-2024, блок 9) (текущая)
- 15:52, 19 февраля 2024 (разн. | история) . . (+81) . . Н Файл:DA VP 08.pdf (распределённые алгоритмы, весна 2023-2024, блок 8) (текущая)
- 15:52, 19 февраля 2024 (разн. | история) . . (+81) . . Н Файл:DA VP 07.pdf (распределённые алгоритмы, весна 2023-2024, блок 7) (текущая)
- 13:15, 19 февраля 2024 (разн. | история) . . (0) . . Файл:DA VP S01.pdf (PodymovVV загружена новая версия «Файл:DA VP S01.pdf») (текущая)
- 20:03, 18 февраля 2024 (разн. | история) . . (+353) . . Распределённые алгоритмы
- 20:01, 18 февраля 2024 (разн. | история) . . (+75) . . Н Файл:DA VP S01.pdf (Распределённые алгоритмы 2023-2024, семинар 1)
- 16:09, 13 февраля 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 10:18, 13 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b5.pdf») (текущая)
- 10:17, 13 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b4.pdf») (текущая)
- 18:31, 12 февраля 2024 (разн. | история) . . (+272) . . Распределённые алгоритмы
- 18:29, 12 февраля 2024 (разн. | история) . . (+86) . . Н Файл:DA VP 06.pdf (Распределённые алгоритмы, 521, весна 2023-2024, блок 6) (текущая)
- 18:29, 12 февраля 2024 (разн. | история) . . (+86) . . Н Файл:DA VP 05.pdf (Распределённые алгоритмы, 521, весна 2023-2024, блок 5) (текущая)
- 18:29, 12 февраля 2024 (разн. | история) . . (+86) . . Н Файл:DA VP 04.pdf (Распределённые алгоритмы, 521, весна 2023-2024, Блок 4) (текущая)
- 18:28, 12 февраля 2024 (разн. | история) . . (0) . . Файл:DA VP 02.pdf (PodymovVV загружена новая версия «Файл:DA VP 02.pdf») (текущая)
- 18:28, 12 февраля 2024 (разн. | история) . . (0) . . Файл:DA VP 01.pdf (PodymovVV загружена новая версия «Файл:DA VP 01.pdf») (текущая)
- 10:41, 12 февраля 2024 (разн. | история) . . (+534) . . Распределённые алгоритмы
- 10:40, 12 февраля 2024 (разн. | история) . . (+86) . . Н Файл:DA VP 03.pdf (Распределённые алгоритмы, 521, весна 2023-2024, блок 3) (текущая)
- 10:39, 12 февраля 2024 (разн. | история) . . (+86) . . Н Файл:DA VP 02.pdf (Распределённые алгоритмы, 521, весна 2023-2024, блок 2)
- 10:39, 12 февраля 2024 (разн. | история) . . (+87) . . Н Файл:DA VP 01.pdf (Распределённые алгоритмы, группа 521, весна 2023-2024)
- 08:00, 12 февраля 2024 (разн. | история) . . (-496) . . Распределённые алгоритмы
- 07:53, 12 февраля 2024 (разн. | история) . . (-18) . . м Распределенные алгоритмы (Перенаправление на Распределённые алгоритмы) (текущая)
- 07:53, 12 февраля 2024 (разн. | история) . . (+7555) . . Н Распределённые алгоритмы (Новая страница: «Категория:Лекционные курсы кафедры МК Обязательный курс для студентов группы 521. Курс…»)
- 07:53, 12 февраля 2024 (разн. | история) . . (-7472) . . Распределенные алгоритмы и системы (Перенаправление на Распределённые алгоритмы) (текущая)
- 16:44, 11 февраля 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:43, 11 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf») (текущая)
- 16:43, 11 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b2.pdf») (текущая)
- 16:43, 11 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b1.pdf») (текущая)
- 19:35, 10 февраля 2024 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 19:05, 10 февраля 2024 (разн. | история) . . (+253) . . Математическая логика (318, 319/2, 241, 242)
- 17:52, 9 февраля 2024 (разн. | история) . . (+103) . . Заглавная страница (→Информация)
- 12:30, 9 февраля 2024 (разн. | история) . . (+81) . . Н Про2 (Перенаправление на Просеминар для 2-го курса) (текущая)
- 12:28, 9 февраля 2024 (разн. | история) . . (+8) . . Просеминар для 2-го курса
- 10:59, 9 февраля 2024 (разн. | история) . . (0) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем (текущая)
- 16:33, 25 января 2024 (разн. | история) . . (-2) . . м Распределенные алгоритмы и системы
- 11:02, 22 января 2024 (разн. | история) . . (-167) . . Математические методы верификации схем и программ (текущая)
- 11:01, 22 января 2024 (разн. | история) . . (0) . . Файл:Verif VP all.pdf (PodymovVV загружена новая версия «Файл:Verif VP all.pdf») (текущая)
- 00:07, 22 января 2024 (разн. | история) . . (0) . . Математические методы верификации схем и программ (→Правила проведения экзамена)
- 16:59, 6 января 2024 (разн. | история) . . (-124) . . Математическая логика и логическое программирование (3-й поток)
- 16:58, 6 января 2024 (разн. | история) . . (0) . . Файл:MLLP VP all.pdf (PodymovVV загружена новая версия «Файл:MLLP VP all.pdf») (текущая)
- 16:33, 12 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 58.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 58.pdf») (текущая)
- 16:33, 12 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 57.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 57.pdf») (текущая)
- 16:33, 12 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 56.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 56.pdf») (текущая)
- 16:26, 12 декабря 2023 (разн. | история) . . (0) . . Файл:Verif VP 40.pdf (PodymovVV загружена новая версия «Файл:Verif VP 40.pdf») (текущая)
- 16:26, 12 декабря 2023 (разн. | история) . . (0) . . Файл:Verif VP 38.pdf (PodymovVV загружена новая версия «Файл:Verif VP 38.pdf») (текущая)
- 14:32, 12 декабря 2023 (разн. | история) . . (0) . . Файл:HDL VP 24.pdf (PodymovVV загружена новая версия «Файл:HDL VP 24.pdf») (текущая)
- 10:36, 11 декабря 2023 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 10:35, 11 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 58.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 58.pdf»)
- 10:34, 11 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 57.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 57.pdf»)
- 10:34, 11 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 56.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 56.pdf»)
- 10:08, 11 декабря 2023 (разн. | история) . . (+1032) . . Математические методы верификации схем и программ
- 10:03, 11 декабря 2023 (разн. | история) . . (+88) . . Н Файл:Verif VP 40.pdf (методы верификации программ, 2023-2024. блок 40. bmc -> sat)
- 10:03, 11 декабря 2023 (разн. | история) . . (+81) . . Н Файл:Verif VP 39.pdf (методы верификации программ, 2023-2024. блок 39. sat) (текущая)
- 10:02, 11 декабря 2023 (разн. | история) . . (+81) . . Н Файл:Verif VP 38.pdf (методы верификации программ, 2023-2024. блок 38. bmc)
- 10:01, 11 декабря 2023 (разн. | история) . . (+118) . . Н Файл:Verif VP 37.pdf (методы верификации программ, 2023-2024. блок 37. абстракция и редукция) (текущая)
- 10:01, 11 декабря 2023 (разн. | история) . . (+133) . . Н Файл:Verif VP 36.pdf (методы верификации программ, 2023-2024. блок 36. алгоритм проверки бисимул экв) (текущая)
- 10:00, 11 декабря 2023 (разн. | история) . . (+122) . . Н Файл:Verif VP 35.pdf (методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция) (текущая)
- 09:59, 11 декабря 2023 (разн. | история) . . (+153) . . Н Файл:Verif VP 34.pdf (методы верификации программ, 2023-2024. блок 34. алгоритм для тиситиэль, системы регионов) (текущая)
- 13:09, 7 декабря 2023 (разн. | история) . . (0) . . Файл:HDL VP R06.pdf (PodymovVV загружена новая версия «Файл:HDL VP R06.pdf») (текущая)
- 13:08, 7 декабря 2023 (разн. | история) . . (0) . . Файл:HDL VP 17.pdf (PodymovVV загружена новая версия «Файл:HDL VP 17.pdf») (текущая)
- 19:22, 4 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 54.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 54.pdf») (текущая)
- 19:22, 4 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf») (текущая)
- 19:22, 4 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 52.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 52.pdf») (текущая)
- 10:43, 4 декабря 2023 (разн. | история) . . (-178) . . Математические методы верификации схем и программ
- 10:34, 4 декабря 2023 (разн. | история) . . (0) . . Файл:Verif VP Prac Uppaal.pdf (PodymovVV загружена новая версия «Файл:Verif VP Prac Uppaal.pdf») (текущая)
- 20:31, 3 декабря 2023 (разн. | история) . . (+17) . . Математическая логика и логическое программирование (3-й поток)
- 20:30, 3 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 55.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 55.pdf») (текущая)
- 20:27, 3 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 55.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 55.pdf»)
- 20:27, 3 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 54.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 54.pdf»)
- 13:17, 3 декабря 2023 (разн. | история) . . (+130) . . Н Методы верификации программ (Перенаправление на Математические методы верификации схем и программ) (текущая)
- 12:31, 3 декабря 2023 (разн. | история) . . (+249) . . Математические методы верификации схем и программ
- 12:30, 3 декабря 2023 (разн. | история) . . (+111) . . Н Файл:Verif VP 33.pdf (Методы верификации программ, 2023-2024. Сети временных автоматов) (текущая)
- 12:29, 3 декабря 2023 (разн. | история) . . (0) . . Файл:Verif VP 32.pdf (PodymovVV загружена новая версия «Файл:Verif VP 32.pdf») (текущая)
- 11:30, 28 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 29.pdf (PodymovVV загружена новая версия «Файл:Verif VP 29.pdf») (текущая)
- 11:30, 28 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 28.pdf (PodymovVV загружена новая версия «Файл:Verif VP 28.pdf») (текущая)
- 12:50, 27 ноября 2023 (разн. | история) . . (-47) . . Спецкурсы
- 12:49, 27 ноября 2023 (разн. | история) . . (-176) . . м Спецкурсы
- 12:47, 27 ноября 2023 (разн. | история) . . (-8) . . Спецкурсы
- 21:00, 26 ноября 2023 (разн. | история) . . (+1019) . . Шаблон:Important Announcements (→Объявления)
- 20:53, 26 ноября 2023 (разн. | история) . . (+188) . . Языки описания схем (текущая)
- 20:52, 26 ноября 2023 (разн. | история) . . (+182) . . Н Файл:HDL VP R06.pdf (языки описания схем. 2023-2024. кое-что ещё 6: эспиай для произвольного числа устройтсв, высокий импеданс)
- 20:37, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf»)
- 20:15, 26 ноября 2023 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 20:14, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf»)
- 20:14, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 52.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 52.pdf»)
- 20:14, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 51.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 51.pdf») (текущая)
- 20:13, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 50.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 50.pdf») (текущая)
- 20:13, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 49.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 49.pdf») (текущая)
- 20:13, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 48.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 48.pdf») (текущая)
- 17:27, 26 ноября 2023 (разн. | история) . . (-1479) . . Математические методы верификации схем и программ
- 17:25, 26 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 31.pdf (PodymovVV загружена новая версия «Файл:Verif VP 31.pdf») (текущая)
- 17:25, 26 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 30.pdf (PodymovVV загружена новая версия «Файл:Verif VP 30.pdf») (текущая)
- 17:24, 26 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 29.pdf (PodymovVV загружена новая версия «Файл:Verif VP 29.pdf»)
- 17:23, 26 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 29.pdf (PodymovVV загружена новая версия «Файл:Verif VP 29.pdf»)
- 14:30, 25 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP R03.pdf (PodymovVV загружена новая версия «Файл:HDL VP R03.pdf») (текущая)
- 14:29, 25 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP R02.pdf (PodymovVV загружена новая версия «Файл:HDL VP R02.pdf») (текущая)
- 14:29, 25 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP R01.pdf (PodymovVV загружена новая версия «Файл:HDL VP R01.pdf») (текущая)
- 19:18, 24 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP Review Nusmv.pdf (PodymovVV загружена новая версия «Файл:Verif VP Review Nusmv.pdf») (текущая)
- 15:16, 19 ноября 2023 (разн. | история) . . (+537) . . Языки описания схем
- 15:05, 19 ноября 2023 (разн. | история) . . (0) . . Математические методы верификации схем и программ
- 15:05, 19 ноября 2023 (разн. | история) . . (+120) . . Н Файл:HDL VP R05.pdf (языки описания схем. 2023-2024. кое-что ещё 5: эспиай для двух устройств) (текущая)
- 15:05, 19 ноября 2023 (разн. | история) . . (+150) . . Н Файл:HDL VP R04.pdf (языки описания схем. 2023-2024. кое-что ещё 4: классификация протоколов передачи данных) (текущая)
- 15:04, 19 ноября 2023 (разн. | история) . . (+74) . . Н Файл:HDL VP R03.pdf (языки описания схем. 2023-2024. приёмник юарт)
- 15:03, 19 ноября 2023 (разн. | история) . . (+142) . . Н Файл:HDL VP R02.pdf (языки описания схем. 2023-2024. кое-что ещё 2: передатчик юарт, автоматы с таймерами)
- 15:00, 19 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP Prac Nusmv.pdf (PodymovVV загружена новая версия «Файл:Verif VP Prac Nusmv.pdf») (текущая)
- 14:57, 19 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP Review Nusmv.pdf (PodymovVV загружена новая версия «Файл:Verif VP Review Nusmv.pdf»)
- 15:30, 16 ноября 2023 (разн. | история) . . (+1) . . м Сот (текущая)
- 18:23, 15 ноября 2023 (разн. | история) . . (+38) . . Спецсеминары
- 19:55, 13 ноября 2023 (разн. | история) . . (+166) . . Языки описания схем
- 19:54, 13 ноября 2023 (разн. | история) . . (+151) . . Н Файл:HDL VP R01.pdf (языки описания схем, кое-что ещё, 1. протоколы передачи данных. общее описание юарта)
- 19:51, 13 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 46.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 46.pdf») (текущая)
- 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) . . Н ССем (Перенаправление на Спецсеминары) (текущая)
- 16:28, 5 октября 2023 (разн. | история) . . (+130) . . Н Сот (Перенаправление на Категория:Сотрудники кафедры МК и лаборатории ДУСП)
- 16:26, 5 октября 2023 (разн. | история) . . (+79) . . Н МагПрог (Перенаправление на Магистерские программы) (текущая)
- 12:44, 5 октября 2023 (разн. | история) . . (0) . . Спецсеминары
- 12:44, 5 октября 2023 (разн. | история) . . (-927) . . Спецсеминары
- 12:40, 5 октября 2023 (разн. | история) . . (0) . . Файл:Выставка кафедр Информационный лист.pdf (PodymovVV загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf»)
- 11:56, 5 октября 2023 (разн. | история) . . (+65) . . Н ВысКа (Перенаправление на Выставка кафедр) (текущая)
- 11:54, 5 октября 2023 (разн. | история) . . (-22) . . м Выставка кафедр (текущая)
- 17:05, 4 октября 2023 (разн. | история) . . (+76) . . Н Для2 (Перенаправление на Информация для 2 курса) (текущая)
- 15:51, 4 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP 19.pdf (PodymovVV загружена новая версия «Файл:HDL VP 19.pdf») (текущая)
- 15:51, 4 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP 18.pdf (PodymovVV загружена новая версия «Файл:HDL VP 18.pdf») (текущая)
- 15:51, 4 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP 17.pdf (PodymovVV загружена новая версия «Файл:HDL VP 17.pdf»)
- 15:51, 4 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP 16.pdf (PodymovVV загружена новая версия «Файл:HDL VP 16.pdf») (текущая)
- 15:50, 4 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 15.pdf (PodymovVV загружена новая версия «Файл:Verif VP 15.pdf») (текущая)
- 15:50, 4 октября 2023 (разн. | история) . . (0) . . Файл:HDL VP 13.pdf (PodymovVV загружена новая версия «Файл:HDL VP 13.pdf»)
- 14:11, 3 октября 2023 (разн. | история) . . (+786) . . Языки описания схем
- 14:08, 3 октября 2023 (разн. | история) . . (+120) . . Н Файл:HDL VP 19.pdf (языки описания схем 2023-2024. verilog - примеры комбинационных схем с assign)
- 14:07, 3 октября 2023 (разн. | история) . . (+125) . . Н Файл:HDL VP 18.pdf (языки описания схем 2023-2024. verilog - комбинационные выражения и операции)
- 14:06, 3 октября 2023 (разн. | история) . . (+76) . . Н Файл:HDL VP 17.pdf (языки описания схем 2023-2024. verilog - константы)
- 14:01, 3 октября 2023 (разн. | история) . . (+164) . . Н Файл:HDL VP 16.pdf (языки описания схем 2023-2024. verilog - арифметическая трактовка, знаковость, расширение-сужение)
- 14:01, 3 октября 2023 (разн. | история) . . (+95) . . Н Файл:HDL VP 15.pdf (языки описания схем 2023-2024. verilog - логические значения) (текущая)
- 14:00, 3 октября 2023 (разн. | история) . . (+109) . . Н Файл:HDL VP 14.pdf (Языки описания схем 2023-2024. verilog helloworld с диаграммами сигналов) (текущая)
- 10:27, 2 октября 2023 (разн. | история) . . (+113) . . Математические методы верификации схем и программ
- 10:25, 2 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 20.pdf (PodymovVV загружена новая версия «Файл:Verif VP 20.pdf») (текущая)
- 10:24, 2 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 19.pdf (PodymovVV загружена новая версия «Файл:Verif VP 19.pdf»)
- 10:24, 2 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 18.pdf (PodymovVV загружена новая версия «Файл:Verif VP 18.pdf») (текущая)
- 10:24, 2 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 17.pdf (PodymovVV загружена новая версия «Файл:Verif VP 17.pdf») (текущая)
- 10:23, 2 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 16.pdf (PodymovVV загружена новая версия «Файл:Verif VP 16.pdf») (текущая)
- 10:23, 2 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 15.pdf (PodymovVV загружена новая версия «Файл:Verif VP 15.pdf»)
- 10:22, 2 октября 2023 (разн. | история) . . (0) . . Файл:Verif VP 14.pdf (PodymovVV загружена новая версия «Файл:Verif VP 14.pdf») (текущая)
- 12:37, 28 сентября 2023 (разн. | история) . . (0) . . Файл:HDL VP 13.pdf (PodymovVV загружена новая версия «Файл:HDL VP 13.pdf»)
- 12:36, 28 сентября 2023 (разн. | история) . . (0) . . Файл:HDL VP 12.pdf (PodymovVV загружена новая версия «Файл:HDL VP 12.pdf»)
- 12:36, 28 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 16.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 16.pdf») (текущая)
- 12:35, 28 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 15.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 15.pdf») (текущая)
- 12:34, 28 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 12.pdf (PodymovVV загружена новая версия «Файл:Verif VP 12.pdf») (текущая)
- 12:34, 28 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 11.pdf (PodymovVV загружена новая версия «Файл:Verif VP 11.pdf») (текущая)
- 14:31, 26 сентября 2023 (разн. | история) . . (+263) . . Языки описания схем
- 14:30, 26 сентября 2023 (разн. | история) . . (+82) . . Н Файл:HDL VP 13.pdf (Языки описания схем, 2023-2024. V hello world со схемами)
- 14:29, 26 сентября 2023 (разн. | история) . . (+78) . . Н Файл:HDL VP 12.pdf (Языки описания схем, 2023-2024. V hello world без схем)
- 14:29, 26 сентября 2023 (разн. | история) . . (+71) . . Н Файл:HDL VP 11.pdf (Языки описания схем 2023-2024. V Общие слова) (текущая)
- 22:50, 24 сентября 2023 (разн. | история) . . (+142) . . Математическая логика и логическое программирование (3-й поток)
- 22:48, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 28.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 28.pdf») (текущая)
- 22:47, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 27.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 27.pdf»)
- 22:47, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 26.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 26.pdf») (текущая)
- 22:46, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 25.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 25.pdf») (текущая)
- 22:46, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 24.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 24.pdf») (текущая)
- 22:46, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 23.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 23.pdf») (текущая)
- 22:45, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 22.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 22.pdf») (текущая)
- 22:45, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 21.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 21.pdf») (текущая)
- 22:44, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 20.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 20.pdf») (текущая)
- 22:44, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 19.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 19.pdf»)
- 22:43, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 18.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 18.pdf») (текущая)
- 22:43, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 17.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 17.pdf») (текущая)
- 22:43, 24 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 16.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 16.pdf»)
- 14:10, 21 сентября 2023 (разн. | история) . . (0) . . Математические методы верификации схем и программ
- 14:10, 21 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP sem02.pdf (PodymovVV загружена новая версия «Файл:Verif VP sem02.pdf») (текущая)
- 14:06, 21 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 10.pdf (PodymovVV загружена новая версия «Файл:Verif VP 10.pdf») (текущая)
- 13:55, 21 сентября 2023 (разн. | история) . . (+1) . . Математические методы верификации схем и программ
- 13:53, 21 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 13.pdf (PodymovVV загружена новая версия «Файл:Verif VP 13.pdf»)
- 13:52, 21 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 12.pdf (PodymovVV загружена новая версия «Файл:Verif VP 12.pdf»)
- 13:51, 21 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 11.pdf (PodymovVV загружена новая версия «Файл:Verif VP 11.pdf»)
- 13:51, 21 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 10.pdf (PodymovVV загружена новая версия «Файл:Verif VP 10.pdf»)
- 19:10, 18 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 12.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 12.pdf») (текущая)
- 19:10, 18 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 11.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 11.pdf») (текущая)
- 19:10, 18 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 08.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 08.pdf») (текущая)
- 19:03, 18 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 09.pdf (PodymovVV загружена новая версия «Файл:Verif VP 09.pdf») (текущая)
- 12:25, 18 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 09.pdf (PodymovVV загружена новая версия «Файл:Verif VP 09.pdf»)
- 18:48, 16 сентября 2023 (разн. | история) . . (0) . . Файл:HDL VP 10.pdf (PodymovVV загружена новая версия «Файл:HDL VP 10.pdf») (текущая)
- 18:47, 16 сентября 2023 (разн. | история) . . (0) . . Файл:HDL VP 03.pdf (PodymovVV загружена новая версия «Файл:HDL VP 03.pdf») (текущая)
- 11:55, 16 сентября 2023 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 11:53, 16 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 15.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 15.pdf»)
- 11:53, 16 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 14.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 14.pdf») (текущая)
- 11:52, 16 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 13.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 13.pdf») (текущая)
- 11:49, 16 сентября 2023 (разн. | история) . . (+143) . . Математические методы верификации схем и программ
- 11:46, 16 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 11.pdf (PodymovVV загружена новая версия «Файл:Verif VP 11.pdf»)
- 11:45, 16 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 10.pdf (PodymovVV загружена новая версия «Файл:Verif VP 10.pdf»)
- 11:45, 16 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 09.pdf (PodymovVV загружена новая версия «Файл:Verif VP 09.pdf»)
- 11:44, 16 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 08.pdf (PodymovVV загружена новая версия «Файл:Verif VP 08.pdf») (текущая)
- 11:15, 16 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 06.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 06.pdf») (текущая)
- 22:39, 11 сентября 2023 (разн. | история) . . (+133) . . Языки описания схем
- 22:38, 11 сентября 2023 (разн. | история) . . (+102) . . Н Файл:HDL VP s01.pdf (Языки описания схем, 2023-2024. Практика: комб и послед схемы) (текущая)
- 22:36, 11 сентября 2023 (разн. | история) . . (-77) . . Языки описания схем
- 22:34, 11 сентября 2023 (разн. | история) . . (+80) . . Н Файл:HDL VP 10.pdf (Языки описания схем, 2023-2024. Шины, регистры, RTL)
- 22:34, 11 сентября 2023 (разн. | история) . . (+72) . . Н Файл:HDL VP 09.pdf (Языки описания схем, 2023-2024. Послед схемы) (текущая)
- 22:33, 11 сентября 2023 (разн. | история) . . (+77) . . Н Файл:HDL VP 08.pdf (Языки описания схем, 2023-2024. Ещё о триггерах) (текущая)
- 22:33, 11 сентября 2023 (разн. | история) . . (+97) . . Н Файл:HDL VP 07.pdf (Языки описания схем, 2023-2024. Терминология для сигналов) (текущая)
- 22:32, 11 сентября 2023 (разн. | история) . . (0) . . Файл:HDL VP 06.pdf (PodymovVV загружена новая версия «Файл:HDL VP 06.pdf») (текущая)
- 22:32, 11 сентября 2023 (разн. | история) . . (0) . . Н Файл:HDL VP 06.pdf
- 22:32, 11 сентября 2023 (разн. | история) . . (+57) . . Н Файл:HDL VP 05.pdf (Языки описания схем, 2023-2024. СФЭЗ) (текущая)
- 22:31, 11 сентября 2023 (разн. | история) . . (+93) . . Н Файл:HDL VP 04.pdf (Языки описания схем, 2023-2024. Лог вентили и комб схемы) (текущая)
- 16:40, 11 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 08.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 08.pdf»)
- 16:31, 11 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 03.pdf (PodymovVV загружена новая версия «Файл:Verif VP 03.pdf») (текущая)
- 17:53, 10 сентября 2023 (разн. | история) . . (-279) . . Математическая логика и логическое программирование (3-й поток)
- 17:50, 10 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 12.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 12.pdf»)
- 17:49, 10 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 11.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 11.pdf»)
- 17:49, 10 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 10.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 10.pdf») (текущая)
- 17:49, 10 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 09.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 09.pdf») (текущая)
- 17:48, 10 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 08.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 08.pdf»)
- 17:48, 10 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 07.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 07.pdf») (текущая)
- 17:47, 10 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 06.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 06.pdf»)
- 17:46, 10 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 05.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 05.pdf») (текущая)
- 17:44, 10 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 04.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 04.pdf») (текущая)
- 17:44, 10 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 03.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 03.pdf») (текущая)
- 17:39, 10 сентября 2023 (разн. | история) . . (+334) . . Математические методы верификации схем и программ
- 17:38, 10 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP sem01.pdf (PodymovVV загружена новая версия «Файл:Verif VP sem01.pdf») (текущая)
- 17:35, 10 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 07.pdf (PodymovVV загружена новая версия «Файл:Verif VP 07.pdf») (текущая)
- 17:35, 10 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 06.pdf (PodymovVV загружена новая версия «Файл:Verif VP 06.pdf») (текущая)
- 17:34, 10 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 05.pdf (PodymovVV загружена новая версия «Файл:Verif VP 05.pdf») (текущая)
- 17:34, 10 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 04.pdf (PodymovVV загружена новая версия «Файл:Verif VP 04.pdf») (текущая)
- 17:33, 10 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 03.pdf (PodymovVV загружена новая версия «Файл:Verif VP 03.pdf»)
- 17:31, 10 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 02.pdf (PodymovVV загружена новая версия «Файл:Verif VP 02.pdf») (текущая)
- 17:59, 5 сентября 2023 (разн. | история) . . (+2) . . м Математическая логика и логическое программирование (3-й поток)
- 17:59, 5 сентября 2023 (разн. | история) . . (+30) . . м Математическая логика и логическое программирование (3-й поток)
- 16:28, 5 сентября 2023 (разн. | история) . . (-591) . . м Языки описания схем
- 14:36, 5 сентября 2023 (разн. | история) . . (+699) . . Языки описания схем
- 14:32, 5 сентября 2023 (разн. | история) . . (+74) . . Н Файл:HDL VP 03.pdf (Языки описания схем, блок 3. Физика и КМОП)
- 14:31, 5 сентября 2023 (разн. | история) . . (+86) . . Н Файл:HDL VP 02.pdf (Языки описания схем, блок 2. Напоминания: БФ, СФЭ) (текущая)
- 14:31, 5 сентября 2023 (разн. | история) . . (+71) . . Н Файл:HDL VP 01.pdf (Языки описания схем, блок 1 (оргвопросы)) (текущая)
- 16:52, 3 сентября 2023 (разн. | история) . . (-3962) . . Математические методы верификации схем и программ
- 16:49, 3 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 02.pdf (PodymovVV загружена новая версия «Файл:Verif VP 02.pdf»)
- 16:49, 3 сентября 2023 (разн. | история) . . (0) . . Файл:Verif VP 01.pdf (PodymovVV загружена новая версия «Файл:Verif VP 01.pdf») (текущая)
- 16:44, 3 сентября 2023 (разн. | история) . . (-182) . . Математическая логика и логическое программирование (3-й поток)
- 16:41, 3 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 03.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 03.pdf»)
- 16:41, 3 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 04.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 04.pdf»)
- 16:40, 3 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 02.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 02.pdf») (текущая)
- 16:39, 3 сентября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 01.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 01.pdf») (текущая)
- 17:21, 30 августа 2023 (разн. | история) . . (+142) . . Н СК ЯОС (Перенаправление на Языки описания схем) (текущая)
- 17:20, 30 августа 2023 (разн. | история) . . (+172) . . Н СК ПБС (Перенаправление на Проектирование больших систем на С++) (текущая)
- 17:18, 30 августа 2023 (разн. | история) . . (+173) . . Н СК ВКА (Перенаправление на Вероятностные и квантовые алгоритмы) (текущая)
- 17:17, 30 августа 2023 (разн. | история) . . (+145) . . Н СК ГП (Перенаправление на Графы и их применения) (текущая)
- 17:16, 30 августа 2023 (разн. | история) . . (+192) . . Н СК ДФВО (Перенаправление на Дискретные функции и выполнимость ограничений) (текущая)
- 17:14, 30 августа 2023 (разн. | история) . . (+260) . . Н СК ЛССБИС (Перенаправление на Математические модели и методы логического синтеза сверхбольших интегральных схем) (текущая)
- 17:12, 30 августа 2023 (разн. | история) . . (+199) . . Н СК МВП (Перенаправление на Математические методы верификации схем и программ) (текущая)
- 17:11, 30 августа 2023 (разн. | история) . . (+193) . . Н СК ПЛИС (Перенаправление на Программируемые логические интегральные схемы) (текущая)
- 17:06, 30 августа 2023 (разн. | история) . . (0) . . м Программируемые логические интегральные схемы (текущая)
- 17:05, 30 августа 2023 (разн. | история) . . (+156) . . м Программируемые логические интегральные схемы
- 14:42, 29 августа 2023 (разн. | история) . . (+433) . . Спецкурсы
- 14:10, 29 августа 2023 (разн. | история) . . (+1800) . . м Спецсеминары
- 14:07, 29 августа 2023 (разн. | история) . . (-33) . . м Спецсеминары
- 13:59, 29 августа 2023 (разн. | история) . . (+136) . . м Актуальные математические задачи, связанные с проектированием СБИС (текущая)
- 14:23, 28 июля 2023 (разн. | история) . . (-911) . . Учебный план (текущая)
- 12:46, 10 июля 2023 (разн. | история) . . (+136) . . м Вероятностные методы в комбинаторике (текущая)
- 12:37, 10 июля 2023 (разн. | история) . . (-39) . . м Научная работа (текущая)
- 12:35, 10 июля 2023 (разн. | история) . . (-12 310) . . м Расписание (Содержимое страницы заменено на « * Положение о курсовых экзаменах и зачетах * [http://cs.msu.ru/studies/exams…») (текущая)
- 22:25, 15 мая 2023 (разн. | история) . . (+244) . . Шаблон:Important Announcements (→Объявления)
- 14:31, 13 мая 2023 (разн. | история) . . (0) . . Файл:MLLP VP gos4.pdf (PodymovVV загружена новая версия «Файл:MLLP VP gos4.pdf»)
- 14:31, 13 мая 2023 (разн. | история) . . (0) . . Файл:MLLP VP gos3.pdf (PodymovVV загружена новая версия «Файл:MLLP VP gos3.pdf»)
- 11:52, 13 мая 2023 (разн. | история) . . (+514) . . Математическая логика и логическое программирование (3-й поток)
- 11:50, 13 мая 2023 (разн. | история) . . (0) . . Файл:MLLP VP gos4.pdf (PodymovVV загружена новая версия «Файл:MLLP VP gos4.pdf»)
- 11:50, 13 мая 2023 (разн. | история) . . (0) . . Файл:MLLP VP gos3.pdf (PodymovVV загружена новая версия «Файл:MLLP VP gos3.pdf»)
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)