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