Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)- 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. Отказоустойчивость, неисправности, принятие решения)
- 16:12, 27 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (Весна 2022-2023. Темы те же, исправлены некоторые ошибки)
- 16:12, 27 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (Весна 2022-2023. Темы те же, слегка поправлена форма изложения)
- 23:51, 25 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 33.pdf» (опечатка)
- 18:53, 25 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 39.pdf» (опечатка)
- 18:51, 25 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 38.pdf» (была ошибка в обосновании корректности)
- 13:16, 25 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l21.pdf»
- 12:47, 25 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-04-28.pdf»
- 22:57, 24 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 40.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 40. Обнаружение завершения вычислений: алгоритм возвращения кредита)
- 22:56, 24 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 39.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 39. Обнаружение завершения вычислений: алгоритм Шави-Франчеза)
- 22:56, 24 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 38.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 38. Обнаружение завершения вычислений: алгоритм Дейкстры-Шолтена)