Вклад участника
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)
- 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)
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)