Свежие правки

31 мая 2023

• (разн. | история) . . м Математические модели и методы синтеза СБИС‎; 18:59 . . (-1)‎ . . ‎ShupletsovMS (обсуждение | вклад)‎ (→‎Материалы к экзамену)
• (Журнал загрузок); 18:58 . . ShupletsovMS (обсуждение | вклад) загрузил «Файл:MMMSBIS 2023.pdf» ‎
• (разн. | история) . . м Математические модели и методы синтеза СБИС‎; 18:57 . . (+115)‎ . . ‎ShupletsovMS (обсуждение | вклад)‎

25 мая 2023

• (разн. | история) . . Дискретная математика (1й курс)‎; 17:58 . . (-111)‎ . . ‎AlekseevVB (обсуждение | вклад)‎ (→‎Экзамен 2022. Вопросы к экзамену по курсу «Дискретная математика» для 2 и 3 потоков, 2022 год.)
• (разн. | история) . . Дискретная математика (1й курс)‎; 17:55 . . (-6384)‎ . . ‎AlekseevVB (обсуждение | вклад)‎ (→‎Экзамен 2021 г.)

16 мая 2023

• (Журнал загрузок); 10:57 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-05-19.pdf» ‎
• (разн. | история) . . Математические вопросы кибернетики‎; 10:56 . . (+363)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎ (→‎2022-2023 учебный год)

15 мая 2023

• (разн. | история) . . Шаблон:Important Announcements‎; 22:25 . . (+244)‎ . . ‎PodymovVV (обсуждение | вклад)‎ (→‎Объявления)

13 мая 2023

• (Журнал загрузок); 14:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» ‎(ох и ещё опечатка в титуле)
• (Журнал загрузок); 14:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» ‎(ох и ещё опечатка в титуле)
• (разн. | история) . . Математическая логика и логическое программирование (3-й поток)‎; 11:52 . . (+514)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 11:50 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» ‎(опечатка в титуле)
• (Журнал загрузок); 11:50 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» ‎(опечатка в титуле)
• (Журнал загрузок); 11:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» ‎(опечатка в титуле)
• (Журнал загрузок); 11:47 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» ‎(опечатка в титуле)
• (Журнал загрузок); 11:44 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP gos4.pdf» ‎(Материалы билета 4 госэкзамена по курсу логики (хорновские логические программы))
• (Журнал загрузок); 11:44 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP gos3.pdf» ‎(Материалы для билета 3 госэкзамена (логика предикатов и метод резолюций))

12 мая 2023

• (Журнал загрузок); 10:49 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos7-selezn.pdf» ‎
• (Журнал загрузок); 10:49 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos6-selezn.pdf» ‎
• (Журнал загрузок); 10:48 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos5-selezn.pdf» ‎
• (Журнал загрузок); 10:47 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos4-selezn.pdf» ‎
• (Журнал загрузок); 10:47 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos3-selezn.pdf» ‎
• (Журнал загрузок); 10:46 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos2-selezn.pdf» ‎
• (Журнал загрузок); 10:45 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos1-selezn.pdf» ‎
• (разн. | история) . . Дискретная математика (1-й поток)‎; 10:45 . . (-1)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎

10 мая 2023

• (Журнал загрузок); 20:01 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-05-12.pdf» ‎
• (разн. | история) . . Математические вопросы кибернетики‎; 20:00 . . (+516)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎ (→‎2022-2023 учебный год)

8 мая 2023

• (разн. | история) . . Математическая логика и логическое программирование (группа 318)‎; 18:57 . . (+412)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 18:54 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b53.pdf» ‎(Математическая логика для 318, блок 53. Алгоритм model checking для ctl)
• (Журнал загрузок); 18:54 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b52.pdf» ‎(Математическая логика для 318, блок 52. Темпоральные формулы как спецификации)
• (Журнал загрузок); 18:53 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b51.pdf» ‎(Математическая логика для 318, блок 51. Системы переходов)
• (Журнал загрузок); 18:53 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b50.pdf» ‎(Математическая логика для 318, блок 50. Верификация распределённых систем. Вступление про model checking)
• (Журнал загрузок); 18:51 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b49.pdf» ‎(перекинул один слайд в 48)
• (Журнал загрузок); 18:51 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» ‎(перекинул один слайд из 49)

4 мая 2023

• (Журнал загрузок); 14:36 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» ‎(опечатка)
• (Журнал загрузок); 14:35 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» ‎(опечатка)
• (Журнал загрузок); 14:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» ‎(помарка)
• (разн. | история) . . м Математическая логика и логическое программирование (группа 318)‎; 14:18 . . (+52)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (разн. | история) . . Математическая логика и логическое программирование (группа 318)‎; 14:15 . . (+22)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 14:12 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b49.pdf» ‎(Математическая логика и логическое программирование 318. Весна 2022/2023. Логика Хоара.)
• (Журнал загрузок); 14:05 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» ‎(Весна 2022/2023. Теперь тут про императивные программы и их частичную корректность)
• (Журнал загрузок); 14:05 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» ‎(Весна 2022/2023. Теперь тут вступление про формальную верификацию)

2 мая 2023

• (разн. | история) . . Математическая логика и логическое программирование (группа 318)‎; 15:58 . . (-73)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 15:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» ‎(Весна 2022-2023. Теперь тут интуиционистская логика)
• (Журнал загрузок); 15:57 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» ‎(Весна 2022-2023. Темы те же)
• (разн. | история) . . Распределенные алгоритмы‎; 11:45 . . (+331)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 11:44 . . PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 43.pdf» ‎(Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 43. Paxos)
• (Журнал загрузок); 11:44 . . PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 42.pdf» ‎(Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 42. Задача консенсуса)
• (Журнал загрузок); 11:42 . . PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 41.pdf» ‎(Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 41. Отказоустойчивость, неисправности, принятие решения)