Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 17:47, 23 августа 2023 Root (обсуждение | вклад) создал учётную запись ZhukovVV (обсуждение | вклад)
- 17:45, 23 августа 2023 Root (обсуждение | вклад) заблокировал SapozhenkoAA (обсуждение | вклад) на период бессрочно (автоблокировка отключена) (Уволен)
- 17:44, 23 августа 2023 Root (обсуждение | вклад) заблокировал NagornyAS (обсуждение | вклад) на период бессрочно (автоблокировка отключена) (Уволен)
- 17:44, 23 августа 2023 Root (обсуждение | вклад) заблокировал MelnikMV (обсуждение | вклад) на период бессрочно (автоблокировка отключена) (Уволена)
- 17:44, 23 августа 2023 Root (обсуждение | вклад) заблокировал KonovodovV (обсуждение | вклад) на период бессрочно (автоблокировка отключена) (Уволен)
- 17:43, 23 августа 2023 Root (обсуждение | вклад) заблокировал FedorovaVS (обсуждение | вклад) на период бессрочно (автоблокировка отключена) (Уволена)
- 12:58, 10 июля 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10350 страницы Участник:SapozhenkoAA
- 12:54, 10 июля 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10349 страницы Подловченко Римма Ивановна
- 12:52, 10 июля 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10348 страницы Участник:NagornyAS
- 12:50, 10 июля 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10347 страницы Участник:FedorovaVS
- 20:51, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:5 prez.pdf»
- 20:51, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:4 prez.pdf»
- 20:51, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:3 prez.pdf»
- 20:50, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:2 prez.pdf»
- 20:50, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:1 prez.pdf»
- 18:58, 31 мая 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:MMMSBIS 2023.pdf»
- 10:57, 16 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-05-19.pdf»
- 14:31, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (ох и ещё опечатка в титуле)
- 14:31, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (ох и ещё опечатка в титуле)
- 11:50, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (опечатка в титуле)
- 11:50, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (опечатка в титуле)
- 11:48, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (опечатка в титуле)
- 11:47, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (опечатка в титуле)
- 11:44, 13 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP gos4.pdf» (Материалы билета 4 госэкзамена по курсу логики (хорновские логические программы))
- 11:44, 13 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP gos3.pdf» (Материалы для билета 3 госэкзамена (логика предикатов и метод резолюций))
- 10:49, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos7-selezn.pdf»
- 10:49, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos6-selezn.pdf»
- 10:48, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos5-selezn.pdf»
- 10:47, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos4-selezn.pdf»
- 10:47, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos3-selezn.pdf»
- 10:46, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos2-selezn.pdf»
- 10:45, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos1-selezn.pdf»
- 20:01, 10 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-05-12.pdf»
- 18:54, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b53.pdf» (Математическая логика для 318, блок 53. Алгоритм model checking для ctl)
- 18:54, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b52.pdf» (Математическая логика для 318, блок 52. Темпоральные формулы как спецификации)
- 18:53, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b51.pdf» (Математическая логика для 318, блок 51. Системы переходов)
- 18:53, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b50.pdf» (Математическая логика для 318, блок 50. Верификация распределённых систем. Вступление про model checking)
- 18:51, 8 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b49.pdf» (перекинул один слайд в 48)
- 18:51, 8 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (перекинул один слайд из 49)
- 14:36, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (опечатка)
- 14:35, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (опечатка)
- 14:32, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (помарка)
- 14:12, 4 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b49.pdf» (Математическая логика и логическое программирование 318. Весна 2022/2023. Логика Хоара.)
- 14:05, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (Весна 2022/2023. Теперь тут про императивные программы и их частичную корректность)
- 14:05, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» (Весна 2022/2023. Теперь тут вступление про формальную верификацию)
- 15:58, 2 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (Весна 2022-2023. Теперь тут интуиционистская логика)
- 15:57, 2 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022-2023. Темы те же)
- 11:44, 2 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 43.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 43. Paxos)
- 11:44, 2 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 42.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 42. Задача консенсуса)
- 11:42, 2 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 41.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 41. Отказоустойчивость, неисправности, принятие решения)
