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