Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
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. Отказоустойчивость, неисправности, принятие решения)