Вклад участника
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)
- 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»)
- 11:48, 13 мая 2023 (разн. | история) . . (0) . . Файл:MLLP VP gos4.pdf (PodymovVV загружена новая версия «Файл:MLLP VP gos4.pdf»)
- 11:47, 13 мая 2023 (разн. | история) . . (0) . . Файл:MLLP VP gos3.pdf (PodymovVV загружена новая версия «Файл:MLLP VP gos3.pdf»)
- 11:44, 13 мая 2023 (разн. | история) . . (+148) . . Н Файл:MLLP VP gos4.pdf (Материалы билета 4 госэкзамена по курсу логики (хорновские логические программы))
- 11:44, 13 мая 2023 (разн. | история) . . (+132) . . Н Файл:MLLP VP gos3.pdf (Материалы для билета 3 госэкзамена (логика предикатов и метод резолюций))
- 18:57, 8 мая 2023 (разн. | история) . . (+412) . . Математическая логика (318, 319/2, 241, 242)
- 18:54, 8 мая 2023 (разн. | история) . . (+109) . . Н Файл:Mathlog 318 b53.pdf (Математическая логика для 318, блок 53. Алгоритм model checking для ctl) (текущая)
- 18:54, 8 мая 2023 (разн. | история) . . (+138) . . Н Файл:Mathlog 318 b52.pdf (Математическая логика для 318, блок 52. Темпоральные формулы как спецификации) (текущая)
- 18:53, 8 мая 2023 (разн. | история) . . (+100) . . Н Файл:Mathlog 318 b51.pdf (Математическая логика для 318, блок 51. Системы переходов) (текущая)
- 18:53, 8 мая 2023 (разн. | история) . . (+175) . . Н Файл:Mathlog 318 b50.pdf (Математическая логика для 318, блок 50. Верификация распределённых систем. Вступление про model checking) (текущая)
- 18:51, 8 мая 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b49.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b49.pdf») (текущая)
- 18:51, 8 мая 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b48.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b48.pdf»)
- 14:36, 4 мая 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b40.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b40.pdf»)
- 14:35, 4 мая 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b42.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b42.pdf»)
- 14:32, 4 мая 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b44.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b44.pdf»)
- 14:18, 4 мая 2023 (разн. | история) . . (+52) . . м Математическая логика (318, 319/2, 241, 242)
- 14:15, 4 мая 2023 (разн. | история) . . (+22) . . Математическая логика (318, 319/2, 241, 242)
- 14:12, 4 мая 2023 (разн. | история) . . (+150) . . Н Файл:Mathlog 318 b49.pdf (Математическая логика и логическое программирование 318. Весна 2022/2023. Логика Хоара.)
- 14:05, 4 мая 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b48.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b48.pdf»)
- 14:05, 4 мая 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b47.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b47.pdf»)
- 15:58, 2 мая 2023 (разн. | история) . . (-73) . . Математическая логика (318, 319/2, 241, 242)
- 15:58, 2 мая 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b46.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b46.pdf»)
- 15:57, 2 мая 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b45.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b45.pdf»)
- 11:45, 2 мая 2023 (разн. | история) . . (+331) . . Распределенные алгоритмы и системы
- 11:44, 2 мая 2023 (разн. | история) . . (+113) . . Н Файл:DAS VP 43.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 43. Paxos) (текущая)
- 11:44, 2 мая 2023 (разн. | история) . . (+141) . . Н Файл:DAS VP 42.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 42. Задача консенсуса) (текущая)
- 11:42, 2 мая 2023 (разн. | история) . . (+205) . . Н Файл:DAS VP 41.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 41. Отказоустойчивость, неисправности, принятие решения) (текущая)
- 17:20, 27 апреля 2023 (разн. | история) . . (-12) . . Математическая логика (318, 319/2, 241, 242)
- 16:12, 27 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b44.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b44.pdf»)
- 16:12, 27 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b43.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b43.pdf»)
- 23:51, 25 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 33.pdf (PodymovVV загружена новая версия «Файл:DAS VP 33.pdf») (текущая)
- 18:53, 25 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 39.pdf (PodymovVV загружена новая версия «Файл:DAS VP 39.pdf») (текущая)
- 18:51, 25 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 38.pdf (PodymovVV загружена новая версия «Файл:DAS VP 38.pdf») (текущая)
- 22:59, 24 апреля 2023 (разн. | история) . . (+587) . . Распределенные алгоритмы и системы
- 22:57, 24 апреля 2023 (разн. | история) . . (+228) . . Н Файл:DAS VP 40.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 40. Обнаружение завершения вычислений: алгоритм возвращения кредита) (текущая)
- 22:56, 24 апреля 2023 (разн. | история) . . (+216) . . Н Файл:DAS VP 39.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 39. Обнаружение завершения вычислений: алгоритм Шави-Франчеза)
- 22:56, 24 апреля 2023 (разн. | история) . . (+222) . . Н Файл:DAS VP 38.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 38. Обнаружение завершения вычислений: алгоритм Дейкстры-Шолтена)
- 22:55, 24 апреля 2023 (разн. | история) . . (+185) . . Н Файл:DAS VP 37.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 37. Задача обнаружения завершения вычислений) (текущая)
- 13:40, 24 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 34.pdf (PodymovVV загружена новая версия «Файл:DAS VP 34.pdf») (текущая)
- 11:46, 20 апреля 2023 (разн. | история) . . (-12) . . Математическая логика (318, 319/2, 241, 242)
- 11:46, 20 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b42.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b42.pdf»)
- 11:45, 20 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b41.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b41.pdf»)
- 19:05, 18 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b11.pdf»)
- 18:56, 18 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b40.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b40.pdf»)
- 18:46, 18 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 33.pdf (PodymovVV загружена новая версия «Файл:DAS VP 33.pdf»)
- 18:38, 18 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 35.pdf (PodymovVV загружена новая версия «Файл:DAS VP 35.pdf») (текущая)
- 18:38, 18 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 34.pdf (PodymovVV загружена новая версия «Файл:DAS VP 34.pdf»)
- 18:31, 18 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 33.pdf (PodymovVV загружена новая версия «Файл:DAS VP 33.pdf»)
- 17:09, 18 апреля 2023 (разн. | история) . . (-6) . . Математическая логика (318, 319/2, 241, 242)
- 17:08, 18 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b40.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b40.pdf»)
- 02:52, 18 апреля 2023 (разн. | история) . . (+188) . . Н Файл:DAS VP 35.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 35. Алгоритм Чанди-Лэмпорта (сохранение снимка))
- 02:51, 18 апреля 2023 (разн. | история) . . (+345) . . Распределенные алгоритмы и системы
- 02:49, 18 апреля 2023 (разн. | история) . . (+176) . . Н Файл:DAS VP 36.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 36. Алгоритм Лаи-Янга (сохранение снимка)) (текущая)
- 02:48, 18 апреля 2023 (разн. | история) . . (+154) . . Н Файл:DAS VP 34.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 34. Задача сохранения снимка)
- 13:31, 15 апреля 2023 (разн. | история) . . (-4) . . м Математические модели последовательных вычислений
- 13:31, 15 апреля 2023 (разн. | история) . . (-11) . . Математические модели последовательных вычислений
- 12:57, 15 апреля 2023 (разн. | история) . . (-1363) . . Математические модели последовательных вычислений
- 15:56, 13 апреля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 25.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 25.pdf») (текущая)
- 15:56, 13 апреля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 24.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 24.pdf») (текущая)
- 00:48, 13 апреля 2023 (разн. | история) . . (+222) . . Математические модели последовательных вычислений
- 00:47, 13 апреля 2023 (разн. | история) . . (+172) . . Н Файл:MMSC VP 25.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 25. Рекурсия в системах процессов)
- 00:46, 13 апреля 2023 (разн. | история) . . (+198) . . Н Файл:MMSC VP 24.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 24. Консервативные расширения систем процессов)
- 19:01, 11 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 33.pdf (PodymovVV загружена новая версия «Файл:DAS VP 33.pdf»)
- 17:08, 11 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 33.pdf (PodymovVV загружена новая версия «Файл:DAS VP 33.pdf»)
- 17:08, 11 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 32.pdf (PodymovVV загружена новая версия «Файл:DAS VP 32.pdf») (текущая)
- 13:27, 11 апреля 2023 (разн. | история) . . (+242) . . Распределенные алгоритмы и системы
- 13:26, 11 апреля 2023 (разн. | история) . . (+210) . . Н Файл:DAS VP 33.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 33. Избрание лидера: алгоритм Галладжера-Хамблета-Спиры (GHS))
- 13:25, 11 апреля 2023 (разн. | история) . . (+164) . . Н Файл:DAS VP 32.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 32. Избрание лидера: нижние оценки)
- 18:29, 6 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b38.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b38.pdf»)
- 13:08, 6 апреля 2023 (разн. | история) . . (-12) . . Математическая логика (318, 319/2, 241, 242)
- 13:06, 6 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b39.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b39.pdf»)
- 13:05, 6 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b38.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b38.pdf»)
- 13:05, 6 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b37.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b37.pdf»)
- 12:42, 6 апреля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 23.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 23.pdf») (текущая)
- 12:41, 6 апреля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 22.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 22.pdf») (текущая)
- 12:41, 6 апреля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 21.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 21.pdf») (текущая)
- 12:41, 6 апреля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 20.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 20.pdf») (текущая)
- 10:30, 6 апреля 2023 (разн. | история) . . (+445) . . Математические модели последовательных вычислений
- 10:29, 6 апреля 2023 (разн. | история) . . (+158) . . Н Файл:MMSC VP 23.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 23. Бисимуляция процессов)
- 10:28, 6 апреля 2023 (разн. | история) . . (+120) . . Н Файл:MMSC VP 22.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 22. ACP)
- 10:28, 6 апреля 2023 (разн. | история) . . (+120) . . Н Файл:MMSC VP 21.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 21. PAP)
- 10:28, 6 апреля 2023 (разн. | история) . . (+155) . . Н Файл:MMSC VP 20.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 20. Алгебра процессов, BPA)
- 09:55, 5 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b36.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b36.pdf»)
- 09:55, 5 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b34.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b34.pdf»)
- 18:50, 4 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 31.pdf (PodymovVV загружена новая версия «Файл:DAS VP 31.pdf») (текущая)
- 18:50, 4 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 30.pdf (PodymovVV загружена новая версия «Файл:DAS VP 30.pdf») (текущая)
- 18:50, 4 апреля 2023 (разн. | история) . . (0) . . Файл:DAS VP 29.pdf (PodymovVV загружена новая версия «Файл:DAS VP 29.pdf») (текущая)
- 10:50, 4 апреля 2023 (разн. | история) . . (+555) . . Распределенные алгоритмы и системы
- 10:47, 4 апреля 2023 (разн. | история) . . (+138) . . Н Файл:DAS VP 31.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 31. Лидер и угасание)
- 10:46, 4 апреля 2023 (разн. | история) . . (+193) . . Н Файл:DAS VP 30.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 30. Избрание лидера в кольце: Ле-Ланн, Чень-Робертс)
- 10:45, 4 апреля 2023 (разн. | история) . . (+153) . . Н Файл:DAS VP 29.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 29. Избрание лидера в дереве)
- 10:45, 4 апреля 2023 (разн. | история) . . (+213) . . Н Файл:DAS VP 28.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 28. Алгоритмы избрания лидера (определения, допущения, волны)) (текущая)
- 23:20, 3 апреля 2023 (разн. | история) . . (-18) . . Математическая логика (318, 319/2, 241, 242)
- 23:19, 3 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b37.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b37.pdf»)
- 23:19, 3 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b36.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b36.pdf»)
- 23:18, 3 апреля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b35.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b35.pdf»)
- 23:25, 30 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b32.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b32.pdf»)
- 23:25, 30 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b31.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b31.pdf»)
- 12:27, 30 марта 2023 (разн. | история) . . (-18) . . Математическая логика (318, 319/2, 241, 242)
- 12:25, 30 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b34.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b34.pdf»)
- 12:24, 30 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b33.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b33.pdf»)
- 12:24, 30 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b32.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b32.pdf»)
- 12:21, 30 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 19.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 19.pdf») (текущая)
- 12:21, 30 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 18.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 18.pdf») (текущая)
- 12:20, 30 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 17.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 17.pdf») (текущая)
- 12:20, 30 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 16.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 16.pdf») (текущая)
- 12:20, 30 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 15.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 15.pdf») (текущая)
- 12:20, 30 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 14.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 14.pdf») (текущая)
- 01:02, 30 марта 2023 (разн. | история) . . (+754) . . Математические модели последовательных вычислений
- 00:59, 30 марта 2023 (разн. | история) . . (+247) . . Н Файл:MMSC VP 19.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 19. Неразрешимость эквивалентности, пустоты, свободы для стандартных схем)
- 00:58, 30 марта 2023 (разн. | история) . . (+168) . . Н Файл:MMSC VP 18.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 18. Эрбрановские интерпретации)
- 00:58, 30 марта 2023 (разн. | история) . . (+162) . . Н Файл:MMSC VP 17.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 17. Двухголовочные автоматы)
- 00:57, 30 марта 2023 (разн. | история) . . (+243) . . Н Файл:MMSC VP 16.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 16. Функциональная эквивалентность, пустота и свобода для схем программ)
- 00:56, 30 марта 2023 (разн. | история) . . (+209) . . Н Файл:MMSC VP 15.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 15. Подстановки и системы переходов для схем программ)
- 18:06, 29 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 14.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 14.pdf»)
- 19:11, 28 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 27.pdf (PodymovVV загружена новая версия «Файл:DAS VP 27.pdf») (текущая)
- 19:04, 28 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 25.pdf (PodymovVV загружена новая версия «Файл:DAS VP 25.pdf») (текущая)
- 19:04, 28 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 24.pdf (PodymovVV загружена новая версия «Файл:DAS VP 24.pdf») (текущая)
- 17:39, 28 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 26.pdf (PodymovVV загружена новая версия «Файл:DAS VP 26.pdf») (текущая)
- 17:39, 28 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 25.pdf (PodymovVV загружена новая версия «Файл:DAS VP 25.pdf»)
- 17:39, 28 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 24.pdf (PodymovVV загружена новая версия «Файл:DAS VP 24.pdf»)
- 17:12, 28 марта 2023 (разн. | история) . . (+134) . . Распределенные алгоритмы и системы
- 17:11, 28 марта 2023 (разн. | история) . . (+141) . . Н Файл:DAS VP 27.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 27. Алгоритм Авербаха)
- 13:58, 28 марта 2023 (разн. | история) . . (+465) . . Распределенные алгоритмы и системы
- 13:56, 28 марта 2023 (разн. | история) . . (+195) . . Н Файл:DAS VP 26.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 26. Алгоритмы обхода. Тарри, классический в глубину)
- 13:55, 28 марта 2023 (разн. | история) . . (+135) . . Н Файл:DAS VP 25.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 25. Алгоритм Финна)
- 13:55, 28 марта 2023 (разн. | история) . . (+139) . . Н Файл:DAS VP 24.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 24. Фазовый алгоритм)
- 13:30, 26 марта 2023 (разн. | история) . . (0) . . Просеминар для 2-го курса
- 14:16, 23 марта 2023 (разн. | история) . . (+522) . . Шаблон:Important Announcements
- 14:15, 23 марта 2023 (разн. | история) . . (0) . . Файл:Требования к ВКР 418.pdf (PodymovVV загружена новая версия «Файл:Требования к ВКР 418.pdf») (текущая)
- 14:15, 23 марта 2023 (разн. | история) . . (0) . . Файл:Требования к МД 618.pdf (PodymovVV загружена новая версия «Файл:Требования к МД 618.pdf») (текущая)
- 13:37, 23 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b31.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b31.pdf»)
- 13:37, 23 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b30.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b30.pdf»)
- 13:12, 23 марта 2023 (разн. | история) . . (-24) . . Математическая логика (318, 319/2, 241, 242)
- 13:11, 23 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b31.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b31.pdf»)
- 13:11, 23 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b30.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b30.pdf»)
- 13:11, 23 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b29.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b29.pdf»)
- 13:11, 23 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b28.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b28.pdf»)
- 12:40, 23 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 14.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 14.pdf»)
- 12:40, 23 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 13.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 13.pdf») (текущая)
- 12:40, 23 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 12.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 12.pdf») (текущая)
- 10:31, 23 марта 2023 (разн. | история) . . (+310) . . Математические модели последовательных вычислений
- 10:29, 23 марта 2023 (разн. | история) . . (+167) . . Н Файл:MMSC VP 14.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 14. Стандартные схемы программ)
- 10:29, 23 марта 2023 (разн. | история) . . (+155) . . Н Файл:MMSC VP 13.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 13. Схемы Ляпунова-Янова)
- 10:28, 23 марта 2023 (разн. | история) . . (+210) . . Н Файл:MMSC VP 12.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 12. Проблема эквивалентности программ. Схемы программ)
- 19:15, 21 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 23.pdf (PodymovVV загружена новая версия «Файл:DAS VP 23.pdf») (текущая)
- 18:34, 21 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 22.pdf (PodymovVV загружена новая версия «Файл:DAS VP 22.pdf») (текущая)
- 14:20, 21 марта 2023 (разн. | история) . . (-18) . . Математическая логика (318, 319/2, 241, 242)
- 14:18, 21 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b27.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b27.pdf»)
- 14:18, 21 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b26.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b26.pdf»)
- 14:18, 21 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b25.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b25.pdf»)
- 14:07, 21 марта 2023 (разн. | история) . . (+446) . . Распределенные алгоритмы и системы
- 14:05, 21 марта 2023 (разн. | история) . . (+175) . . Н Файл:DAS VP 23.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 23. Простые примеры волновых алгоритмов)
- 14:04, 21 марта 2023 (разн. | история) . . (+182) . . Н Файл:DAS VP 22.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 22. Применение волновых алгоритмов - PIF, SYN, INF)
- 14:04, 21 марта 2023 (разн. | история) . . (+161) . . Н Файл:DAS VP 21.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 21. Общее про волновые алгоритмы) (текущая)
- 19:33, 17 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 14.pdf (PodymovVV загружена новая версия «Файл:DAS VP 14.pdf») (текущая)
- 19:12, 17 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 11.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 11.pdf») (текущая)
- 19:12, 17 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 10.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 10.pdf») (текущая)
- 19:10, 17 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 20.pdf (PodymovVV загружена новая версия «Файл:DAS VP 20.pdf») (текущая)
- 13:09, 16 марта 2023 (разн. | история) . . (-18) . . Математическая логика (318, 319/2, 241, 242)
- 13:01, 16 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b24.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b24.pdf»)
- 12:56, 16 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b24.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b24.pdf»)
- 12:56, 16 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b23.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b23.pdf»)
- 12:56, 16 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b22.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b22.pdf»)
- 22:16, 15 марта 2023 (разн. | история) . . (+86) . . Математические модели последовательных вычислений
- 22:15, 15 марта 2023 (разн. | история) . . (+160) . . Н Файл:MMSC VP 11.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 11. Другие виды сетей Петри)
- 18:05, 15 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 02.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 02.pdf») (текущая)
- 19:25, 14 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 20.pdf (PodymovVV загружена новая версия «Файл:DAS VP 20.pdf»)
- 19:25, 14 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 19.pdf (PodymovVV загружена новая версия «Файл:DAS VP 19.pdf») (текущая)
- 19:25, 14 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 18.pdf (PodymovVV загружена новая версия «Файл:DAS VP 18.pdf») (текущая)
- 19:25, 14 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 17.pdf (PodymovVV загружена новая версия «Файл:DAS VP 17.pdf») (текущая)
- 19:25, 14 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 16.pdf (PodymovVV загружена новая версия «Файл:DAS VP 16.pdf») (текущая)
- 19:25, 14 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 15.pdf (PodymovVV загружена новая версия «Файл:DAS VP 15.pdf») (текущая)
- 18:04, 14 марта 2023 (разн. | история) . . (+222) . . Распределенные алгоритмы и системы
- 18:03, 14 марта 2023 (разн. | история) . . (+146) . . Н Файл:DAS VP 20.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 20. Алгоритм Чанди-Мисры)
- 18:03, 14 марта 2023 (разн. | история) . . (+154) . . Н Файл:DAS VP 19.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 19. Алгоритм Мерлина-Сигалла)
- 14:24, 14 марта 2023 (разн. | история) . . (+552) . . Распределенные алгоритмы и системы
- 14:22, 14 марта 2023 (разн. | история) . . (+135) . . Н Файл:DAS VP 18.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 18. Алгоритм Туэга)
- 14:22, 14 марта 2023 (разн. | история) . . (+213) . . Н Файл:DAS VP 17.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 17. Оптимальные пути для всех пар вершин. Алг Флойда-Уоршелла)
- 14:21, 14 марта 2023 (разн. | история) . . (+182) . . Н Файл:DAS VP 16.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 16. Допущения о весах в маршрутизации, графы)
- 14:20, 14 марта 2023 (разн. | история) . . (+147) . . Н Файл:DAS VP 15.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 15. Задача маршрутизации)
- 17:35, 12 марта 2023 (разн. | история) . . (+476) . . Просеминар для 2-го курса
- 17:32, 12 марта 2023 (разн. | история) . . (+143) . . Н Файл:Proseminar 2023.03.07 annotation.pdf (Просеминар 2022-2023, 7 марта, аннотация доклада (Ложкин С.А., симметричные функции).) (текущая)
- 14:03, 9 марта 2023 (разн. | история) . . (+126) . . Математическая логика (318, 319/2, 241, 242)
- 14:01, 9 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b21.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b21.pdf»)
- 13:49, 9 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b20.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b20.pdf»)
- 13:02, 9 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 10.pdf (PodymovVV загружена новая версия «Файл:DAS VP 10.pdf») (текущая)
- 12:45, 9 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 14.pdf (PodymovVV загружена новая версия «Файл:DAS VP 14.pdf»)
- 12:45, 9 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 13.pdf (PodymovVV загружена новая версия «Файл:DAS VP 13.pdf») (текущая)
- 12:31, 9 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b15.pdf»)
- 12:25, 9 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 09.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 09.pdf») (текущая)
- 12:24, 9 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 09.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 09.pdf»)
- 12:24, 9 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 07.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 07.pdf») (текущая)
- 10:32, 9 марта 2023 (разн. | история) . . (+415) . . Математические модели последовательных вычислений
- 10:31, 9 марта 2023 (разн. | история) . . (+149) . . Н Файл:MMSC VP 10.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 10. Языки сетей Петри)
- 10:30, 9 марта 2023 (разн. | история) . . (+172) . . Н Файл:MMSC VP 09.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 9. R-включение и R-эквивалентность)
- 10:30, 9 марта 2023 (разн. | история) . . (+212) . . Н Файл:MMSC VP 08.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 8. Моделирование диофантовых многочленов сетями Петри) (текущая)
- 10:29, 9 марта 2023 (разн. | история) . . (+155) . . Н Файл:MMSC VP 07.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 7. Диофантовы уравнения)
- 13:01, 7 марта 2023 (разн. | история) . . (0) . . Файл:DAS VP 14.pdf (PodymovVV загружена новая версия «Файл:DAS VP 14.pdf»)
- 11:44, 7 марта 2023 (разн. | история) . . (-24) . . Математическая логика (318, 319/2, 241, 242)
- 11:43, 7 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b19.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b19.pdf»)
- 11:42, 7 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b18.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b18.pdf»)
- 11:42, 7 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b17.pdf»)
- 11:42, 7 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b16.pdf»)
- 11:23, 7 марта 2023 (разн. | история) . . (+220) . . Распределенные алгоритмы и системы
- 11:19, 7 марта 2023 (разн. | история) . . (+173) . . Н Файл:DAS VP 14.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 14. Корректность протокола с таймерами)
- 11:19, 7 марта 2023 (разн. | история) . . (+146) . . Н Файл:DAS VP 13.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 13. Протокол с таймерами)
- 14:25, 2 марта 2023 (разн. | история) . . (-95) . . Математическая логика (318, 319/2, 241, 242)
- 14:24, 2 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b15.pdf»)
- 14:22, 2 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b14.pdf»)
- 14:22, 2 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b13.pdf»)
- 14:21, 2 марта 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b12.pdf»)
- 12:32, 2 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 03.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 03.pdf») (текущая)
- 10:27, 2 марта 2023 (разн. | история) . . (+130) . . Математические модели последовательных вычислений
- 10:27, 2 марта 2023 (разн. | история) . . (+204) . . Н Файл:MMSC VP 06.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 6. Проблемы достижимости и живости для сетей Петри) (текущая)
- 10:26, 2 марта 2023 (разн. | история) . . (0) . . Файл:MMSC VP 05.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 05.pdf») (текущая)
- 19:04, 28 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 09.pdf (PodymovVV загружена новая версия «Файл:DAS VP 09.pdf») (текущая)
- 17:24, 28 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 11.pdf (PodymovVV загружена новая версия «Файл:DAS VP 11.pdf») (текущая)
- 17:23, 28 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 10.pdf (PodymovVV загружена новая версия «Файл:DAS VP 10.pdf»)
- 17:13, 28 февраля 2023 (разн. | история) . . (+163) . . Распределенные алгоритмы и системы
- 17:13, 28 февраля 2023 (разн. | история) . . (+229) . . Н Файл:DAS VP 12.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 12. Особенности реализации симметричного протокола раздвижного окна) (текущая)
- 14:20, 28 февраля 2023 (разн. | история) . . (+353) . . Распределенные алгоритмы и системы
- 14:19, 28 февраля 2023 (разн. | история) . . (+210) . . Н Файл:DAS VP 11.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 11. Корректность симметричного протокола раздвижного окна)
- 14:19, 28 февраля 2023 (разн. | история) . . (+275) . . Н Файл:DAS VP 10.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 10. Как обосновывать корректность распределённых алгоритмов. Свойства безопасно…)
- 12:46, 28 февраля 2023 (разн. | история) . . (-505) . . Спецсеминары
- 13:42, 25 февраля 2023 (разн. | история) . . (+789) . . Просеминар для 2-го курса
- 14:08, 24 февраля 2023 (разн. | история) . . (+90) . . Просеминар для 2-го курса
- 12:19, 22 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b10.pdf»)
- 12:18, 22 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b9.pdf»)
- 20:40, 21 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 09.pdf (PodymovVV загружена новая версия «Файл:DAS VP 09.pdf»)
- 20:40, 21 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 08.pdf (PodymovVV загружена новая версия «Файл:DAS VP 08.pdf») (текущая)
- 20:39, 21 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 07.pdf (PodymovVV загружена новая версия «Файл:DAS VP 07.pdf») (текущая)
- 20:39, 21 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 06.pdf (PodymovVV загружена новая версия «Файл:DAS VP 06.pdf») (текущая)
- 18:44, 21 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 05.pdf (PodymovVV загружена новая версия «Файл:DAS VP 05.pdf») (текущая)
- 13:39, 21 февраля 2023 (разн. | история) . . (+404) . . Распределенные алгоритмы и системы
- 13:38, 21 февраля 2023 (разн. | история) . . (+180) . . Н Файл:DAS VP 09.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 9: симметричный протокол раздвижного окна)
- 13:37, 21 февраля 2023 (разн. | история) . . (+174) . . Н Файл:DAS VP 08.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 8: дополнительные допущения, сложность)
- 13:37, 21 февраля 2023 (разн. | история) . . (+136) . . Н Файл:DAS VP 07.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 7: логические часы)
- 13:36, 21 февраля 2023 (разн. | история) . . (+178) . . Н Файл:DAS VP 06.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 6: причинно-следственный порядок событий)
- 15:24, 20 февраля 2023 (разн. | история) . . (0) . . Информация для 2 курса (текущая)
- 15:23, 20 февраля 2023 (разн. | история) . . (0) . . Файл:Dusp title.png (PodymovVV загружена новая версия «Файл:Dusp title.png») (текущая)
- 15:22, 20 февраля 2023 (разн. | история) . . (+109) . . Н Файл:DCSA2023.pdf (Презентация магистерской программы ДУСП по состоянию на 2023) (текущая)
- 14:57, 20 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 05.pdf (PodymovVV загружена новая версия «Файл:DAS VP 05.pdf»)
- 14:57, 20 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 04.pdf (PodymovVV загружена новая версия «Файл:DAS VP 04.pdf») (текущая)
- 14:56, 20 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 03.pdf (PodymovVV загружена новая версия «Файл:DAS VP 03.pdf») (текущая)
- 14:56, 20 февраля 2023 (разн. | история) . . (-30) . . м Распределенные алгоритмы и системы
- 14:41, 20 февраля 2023 (разн. | история) . . (-271) . . Математическая логика (318, 319/2, 241, 242)
- 14:38, 20 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b11.pdf»)
- 14:38, 20 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b10.pdf»)
- 14:38, 20 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b9.pdf»)
- 14:36, 20 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf»)
- 19:55, 19 февраля 2023 (разн. | история) . . (-158) . . Элементы теории синтеза, надежности и контроля дискретных управляющих систем
- 11:48, 17 февраля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 04.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 04.pdf») (текущая)
- 11:48, 17 февраля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 03.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 03.pdf»)
- 14:01, 16 февраля 2023 (разн. | история) . . (-8087) . . Просеминар для 2-го курса
- 13:35, 16 февраля 2023 (разн. | история) . . (-964) . . Информация для 2 курса
- 13:08, 16 февраля 2023 (разн. | история) . . (-48) . . Математическая логика (318, 319/2, 241, 242)
- 13:07, 16 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf»)
- 13:07, 16 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b7.pdf»)
- 13:06, 16 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b6.pdf»)
- 13:05, 16 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b5.pdf»)
- 13:03, 16 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf»)
- 10:33, 16 февраля 2023 (разн. | история) . . (+331) . . Математические модели последовательных вычислений
- 10:32, 16 февраля 2023 (разн. | история) . . (+192) . . Н Файл:MMSC VP 05.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 5. Задачи, проблемы, алгоритмы, разрешимость)
- 10:29, 16 февраля 2023 (разн. | история) . . (+244) . . Н Файл:MMSC VP 04.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 4. Ограниченность и безопасность сетей Петри. Деревья покрытия разметок)
- 13:06, 14 февраля 2023 (разн. | история) . . (+576) . . Распределенные алгоритмы и системы
- 13:05, 14 февраля 2023 (разн. | история) . . (+196) . . Н Файл:DAS VP 05.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 5: пример надёжной передачи через ненадёжный канал)
- 13:04, 14 февраля 2023 (разн. | история) . . (+135) . . Н Файл:DAS VP 04.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 4: справедливость)
- 13:03, 14 февраля 2023 (разн. | история) . . (+209) . . Н Файл:DAS VP 03.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 3: системы переходов, синхронная и асинхронная композиция)
- 12:44, 10 февраля 2023 (разн. | история) . . (-6) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 20:31, 9 февраля 2023 (разн. | история) . . (+4) . . Математическая логика и логическое программирование (3-й поток)
- 13:13, 9 февраля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 03.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 03.pdf»)
- 13:13, 9 февраля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 02.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 02.pdf»)
- 13:05, 9 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 02.pdf (PodymovVV загружена новая версия «Файл:DAS VP 02.pdf») (текущая)
- 13:05, 9 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 01.pdf (PodymovVV загружена новая версия «Файл:DAS VP 01.pdf») (текущая)
- 10:33, 9 февраля 2023 (разн. | история) . . (+350) . . Математические модели последовательных вычислений
- 10:32, 9 февраля 2023 (разн. | история) . . (+193) . . Н Файл:MMSC VP 03.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 3, примеры применения и свойства сетей Петри)
- 10:31, 9 февраля 2023 (разн. | история) . . (+151) . . Н Файл:MMSC VP 02.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 2, база про сети Петри)
- 10:30, 9 февраля 2023 (разн. | история) . . (+136) . . Н Файл:MMSC VP 01.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 1, оргвопросы) (текущая)
- 03:02, 9 февраля 2023 (разн. | история) . . (-6827) . . Математические модели последовательных вычислений
- 02:59, 9 февраля 2023 (разн. | история) . . (+10) . . м Распределенные алгоритмы и системы
- 13:15, 7 февраля 2023 (разн. | история) . . (+382) . . Распределенные алгоритмы и системы
- 13:12, 7 февраля 2023 (разн. | история) . . (+157) . . Н Файл:DAS VP 02.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 2: содержательное вступление.)
- 13:11, 7 февраля 2023 (разн. | история) . . (+128) . . Н Файл:DAS VP 01.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 1: оргвопросы.)
- 13:09, 7 февраля 2023 (разн. | история) . . (-2597) . . Распределенные алгоритмы и системы
- 12:35, 6 февраля 2023 (разн. | история) . . (-331) . . Математическая логика (318, 319/2, 241, 242)
- 12:33, 6 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b4.pdf»)
- 12:33, 6 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf»)
- 12:33, 6 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b2.pdf»)
- 12:32, 6 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b1.pdf»)
- 12:31, 6 февраля 2023 (разн. | история) . . (-24 542) . . Математическая логика (318, 319/2, 241, 242)
- 10:50, 18 января 2023 (разн. | история) . . (+118) . . Математические методы верификации схем и программ
- 11:38, 11 января 2023 (разн. | история) . . (+125) . . Математическая логика и логическое программирование (3-й поток)
- 12:17, 29 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 49.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 49.pdf»)
- 17:22, 21 декабря 2022 (разн. | история) . . (+130) . . Математические методы верификации схем и программ
- 17:22, 21 декабря 2022 (разн. | история) . . (+163) . . Н Файл:Verif VP all.pdf (ММ верификации СиП, 618 и 621, все лекции 2022 для экзамена в одном файле (кроме обзоров Spin и NuSMV))
- 17:04, 21 декабря 2022 (разн. | история) . . (-385) . . Математическая логика и логическое программирование (3-й поток)
- 17:02, 21 декабря 2022 (разн. | история) . . (+114) . . Н Файл:MLLP VP all.pdf (Мат. лог. и лог. прог., 3 поток, все слайды лекций 2022 в одном файле)
- 22:00, 12 декабря 2022 (разн. | история) . . (0) . . Файл:Verif VP 32.pdf (PodymovVV загружена новая версия «Файл:Verif VP 32.pdf»)
- 21:59, 12 декабря 2022 (разн. | история) . . (0) . . Файл:Verif VP 31.pdf (PodymovVV загружена новая версия «Файл:Verif VP 31.pdf»)
- 21:59, 12 декабря 2022 (разн. | история) . . (0) . . Файл:Verif VP 30.pdf (PodymovVV загружена новая версия «Файл:Verif VP 30.pdf»)
- 21:58, 12 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 58.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 58.pdf»)
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)