Вклад участника
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)
- 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»)
- 21:58, 12 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 57.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 57.pdf»)
- 23:07, 11 декабря 2022 (разн. | история) . . (+309) . . Математические методы верификации схем и программ
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)