Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (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. Обнаружение завершения вычислений: алгоритм Дейкстры-Шолтена)
- 22:55, 24 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 37.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 37. Задача обнаружения завершения вычислений)
- 13:40, 24 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 34.pdf» (Опечатка в нумерации домашних задач)
- 21:02, 20 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l20.pdf»
- 21:01, 20 апреля 2023 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-selezn-l19.pdf»
- 21:00, 20 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-l19-selezn.pdf»
- 20:58, 20 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l19.pdf»
- 11:46, 20 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Весна 2022-2023. Темы те же)
- 11:45, 20 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (Весна 2022-2023, темы те же)
- 19:05, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b11.pdf» (опечатка)
- 18:56, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (опечатки)
- 18:46, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 33.pdf» (опечатка)
- 18:38, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 35.pdf» (опечатки)
- 18:38, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 34.pdf» (опечатки)
- 18:31, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 33.pdf» (Опечатка)
- 17:08, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (Весна 2022-2023)
- 02:52, 18 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 35.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 35. Алгоритм Чанди-Лэмпорта (сохранение снимка))
- 02:51, 18 апреля 2023 Root (обсуждение | вклад) удалил страницу Файл:35 hand.pdf (не то название)
- 02:49, 18 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 36.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 36. Алгоритм Лаи-Янга (сохранение снимка))
- 02:49, 18 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:35 hand.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 35. Алгоритм Чанди-Лэмпорта (сохранение снимка))
- 02:48, 18 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 34.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 34. Задача сохранения снимка)
- 20:32, 17 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-04-21.pdf»
- 15:56, 13 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 25.pdf» (опечатки разной степени грубости)
- 15:56, 13 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 24.pdf» (опечатки)
- 00:47, 13 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 25.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 25. Рекурсия в системах процессов)
- 00:46, 13 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 24.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 24. Консервативные расширения систем процессов)
- 19:01, 11 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 33.pdf» (опечатки)
- 17:08, 11 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 33.pdf» (опечатки)
- 17:08, 11 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 32.pdf» (опечатки)
- 13:26, 11 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 33.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 33. Избрание лидера: алгоритм Галладжера-Хамблета-Спиры (GHS))
- 13:25, 11 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 32.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 32. Избрание лидера: нижние оценки)
- 12:28, 11 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l18.pdf»
- 12:28, 11 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l17.pdf»
- 20:30, 6 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l16.pdf»
- 18:29, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (ошибка в примере (была неправильная формула, различающая две интерпретации теории частичных порядков))
- 13:06, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (Весенний семестр 2022-2023. Темы те же)
- 13:05, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (Весенний семестр 2022-2023. Темы те же)
- 13:05, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (Весенний семестр 2022-2023. Темы те же)
- 12:42, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 23.pdf» (опечатки)
- 12:41, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 22.pdf» (опечатки)
- 12:41, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 21.pdf» (опечатки)
- 12:41, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 20.pdf» (опечатки)
- 10:29, 6 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 23.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 23. Бисимуляция процессов)
- 10:28, 6 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 22.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 22. ACP)
- 10:28, 6 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 21.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 21. PAP)
- 10:28, 6 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 20.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 20. Алгебра процессов, BPA)
- 09:55, 5 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (опечатки)
- 09:55, 5 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b34.pdf» (опечатки)
- 22:28, 4 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l15.pdf»
- 22:28, 4 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l14.pdf»
- 18:50, 4 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 31.pdf» (опечатки)
- 18:50, 4 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 30.pdf» (опечатки)
- 18:50, 4 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 29.pdf» (опечатки)
- 10:47, 4 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 31.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 31. Лидер и угасание)
- 10:46, 4 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 30.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 30. Избрание лидера в кольце: Ле-Ланн, Чень-Робертс)
- 10:45, 4 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 29.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 29. Избрание лидера в дереве)
- 10:45, 4 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 28.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 28. Алгоритмы избрания лидера (определения, допущения, волны))
- 23:19, 3 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (Весенний семестр 2022-2023. Темы те же)
- 23:19, 3 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (Весенний семестр 2022-2023. Темы те же)
- 23:18, 3 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (Весенний семестр 2022-2023)
- 10:30, 31 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l13.pdf»
- 23:25, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (опечатки)
- 23:25, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (опечатки, чуть улучшено изложение примера)
- 18:08, 30 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20230404.pdf»
- 12:25, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b34.pdf» (Весенний семестр 2022-2023. Темы те же)
- 12:24, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b33.pdf» (Весенний семестр 2022-2023. Темы те же.)
- 12:24, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (Весенний семестр 2022-2023. Темы те же)
- 12:21, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 19.pdf» (опечатки)
- 12:21, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 18.pdf» (опечатки)
- 12:20, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 17.pdf» (опечатки)
- 12:20, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 16.pdf» (опечатки)
- 12:20, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 15.pdf» (опечатки)
- 12:20, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 14.pdf» (опечатки)
- 00:59, 30 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 19.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 19. Неразрешимость эквивалентности, пустоты, свободы для стандартных схем)
- 00:58, 30 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 18.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 18. Эрбрановские интерпретации)
- 00:58, 30 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 17.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 17. Двухголовочные автоматы)
- 00:57, 30 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 16.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 16. Функциональная эквивалентность, пустота и свобода для схем программ)
- 00:56, 30 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 15.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 15. Подстановки и системы переходов для схем программ)
- 18:06, 29 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 14.pdf» (опечатка)
- 11:00, 29 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l12.pdf»
- 19:11, 28 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 27.pdf» (опечатки)
- 19:04, 28 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 25.pdf» (ещё опечатки)
- 19:04, 28 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 24.pdf» (ещё опечатки)
- 17:39, 28 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 26.pdf» (опечатки)
- 17:39, 28 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 25.pdf» (опечатки)
- 17:39, 28 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 24.pdf» (опечатки)
- 17:11, 28 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 27.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 27. Алгоритм Авербаха)
- 13:56, 28 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 26.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 26. Алгоритмы обхода. Тарри, классический в глубину)
- 13:55, 28 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 25.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 25. Алгоритм Финна)
- 13:55, 28 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 24.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 24. Фазовый алгоритм)
- 11:53, 28 марта 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Specem28032023.pdf»
- 13:27, 26 марта 2023 Root (обсуждение | вклад) удалил страницу Просеминар для 2 курса (неактуально (устаревше дублирует другую страницу просеминара))
- 12:31, 25 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-03-31.pdf»
- 14:15, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Требования к ВКР 418.pdf» (2023)
- 14:15, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Требования к МД 618.pdf» (2023)
- 13:37, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (небольшая помарка)
- 13:37, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (небольшая помарка)
- 13:11, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (Весенний семестр 2022-2023. Темы те же)
- 13:11, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (Весенний семестр 2022-2023. Темы те же)
- 13:11, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b29.pdf» (Весенний семестр 2022-2023. Темы те же)
- 13:11, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (Весенний семестр 2022-2023. Темы те же)
- 12:40, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 14.pdf» (опечатки)
- 12:40, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 13.pdf» (опечатки)
- 12:40, 23 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 12.pdf» (опечатки)
- 10:29, 23 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 14.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 14. Стандартные схемы программ)
- 10:29, 23 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 13.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 13. Схемы Ляпунова-Янова)
- 10:28, 23 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 12.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 12. Проблема эквивалентности программ. Схемы программ)
- 19:15, 21 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 23.pdf» (опечатки и грубая ошибка в доказательстве)
- 18:34, 21 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 22.pdf» (опечатки)
- 16:54, 21 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l11.pdf»
- 16:40, 21 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l10.pdf»
- 14:29, 21 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specem21032023.pdf»
- 14:18, 21 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (Весенний семестр 2022-2023. Темы те же)
- 14:18, 21 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b26.pdf» (Весенний семестр 2022-2023. Темы те же)
- 14:18, 21 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b25.pdf» (Весенний семестр 2022-2023. Темы те же.)
- 14:05, 21 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 23.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 23. Простые примеры волновых алгоритмов)
- 14:04, 21 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 22.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 22. Применение волновых алгоритмов - PIF, SYN, INF)
- 14:04, 21 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 21.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 21. Общее про волновые алгоритмы)
- 19:33, 17 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 14.pdf» (и еще опечатка)
- 19:12, 17 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 11.pdf» (опечатки)
- 19:12, 17 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 10.pdf» (опечатки)
- 19:10, 17 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 20.pdf» (и ещё опечатка)
- 19:36, 16 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l9.pdf»
- 13:01, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (опечатки)
- 12:56, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (2022-2023, весенний семестр. Темы те же.)
- 12:56, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b23.pdf» (2022-2023, весенний семестр. Темы те же.)
- 12:56, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.pdf» (2022-2023, весенний семестр. Темы те же.)
- 22:15, 15 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 11.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 11. Другие виды сетей Петри)
- 18:05, 15 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 02.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 20.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 19.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 18.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 17.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 16.pdf» (опечатки)
- 19:25, 14 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 15.pdf» (опечатки)
- 18:03, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 20.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 20. Алгоритм Чанди-Мисры)
- 18:03, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 19.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 19. Алгоритм Мерлина-Сигалла)
- 14:22, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 18.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 18. Алгоритм Туэга)
- 14:22, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 17.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 17. Оптимальные пути для всех пар вершин. Алг Флойда-Уоршелла)
- 14:21, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 16.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 16. Допущения о весах в маршрутизации, графы)
- 14:20, 14 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 15.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 15. Задача маршрутизации)
- 19:29, 13 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem230314.pdf»
- 19:28, 13 марта 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Specsem230307.pdf»
- 19:27, 13 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem230307.pdf»
- 19:23, 13 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem 230307.pdf»
- 19:17, 13 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem 230314.pdf»
- 14:03, 13 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l8.pdf»
- 17:32, 12 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Proseminar 2023.03.07 annotation.pdf» (Просеминар 2022-2023, 7 марта, аннотация доклада (Ложкин С.А., симметричные функции).)
- 23:48, 11 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-03-17.pdf»
- 14:01, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b21.pdf» (2022-2023, весенний семестр. Теперь тут про свойства логического следования)
- 13:49, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b20.pdf» (2022-2023, весенний семестр. Теперь здесь алгоритм унификации)
- 13:02, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 10.pdf» (опечатка)
- 12:45, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 14.pdf» (небольшие опечатки)
- 12:45, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 13.pdf» (небольшие опечатки)
- 12:31, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (одна несущественная опечатка)
- 12:25, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 09.pdf» (ой, залил битый файл. поправил)
- 12:24, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 09.pdf» (исправлены опечатки)
- 12:24, 9 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 07.pdf» (исправлены опечатки)
- 10:31, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 10.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 10. Языки сетей Петри)
- 10:30, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 09.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 9. R-включение и R-эквивалентность)
- 10:30, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 08.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 8. Моделирование диофантовых многочленов сетями Петри)
- 10:29, 9 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 07.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 7. Диофантовы уравнения)
- 13:01, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 14.pdf» (слегка поправил нотацию)
- 11:43, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b19.pdf» (2022-2023, весенний семестр. Теперь тут про композицию подстановок и унификаторы)
- 11:42, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b18.pdf» (2022-2023, весенний семестр. Теперь тут про системы дизъюнктов)
- 11:42, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b17.pdf» (2022-2023, весенний семестр. Теперь тут ССФ)
- 11:42, 7 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (2022-2023, весенний семестр. Теперь тут ПНФ)
- 11:19, 7 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 14.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 14. Корректность протокола с таймерами)
- 11:19, 7 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 13.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 13. Протокол с таймерами)
- 13:58, 6 марта 2023 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-selezn-l7.pdf»
- 13:57, 6 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-l7-selezn.pdf»
- 13:54, 6 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l7.pdf»
- 14:24, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (2022-2023, весенний семестр. Теперь тут про равносильность)
- 14:22, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (2022-2023, весенний семестр. Теперь тут про общую схему метода резолюций)
- 14:22, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b13.pdf» (2022-2023, весенний семестр. Теперь тут про лёвенгейма-сколема, мальцева и автоматизацию док-ва теорем)
- 14:21, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b12.pdf» (2022-2023, весенний семестр. Теперь тут про полноту табличного вывода)
- 12:32, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 03.pdf» (Исправлена ошибка в последнем примере)
- 10:27, 2 марта 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 06.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 6. Проблемы достижимости и живости для сетей Петри)
- 10:26, 2 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 05.pdf» (Немножко добавлено)
- 19:04, 28 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 09.pdf» (И ещё опечатки)
- 17:24, 28 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 11.pdf» (Исправлены опечатки)
- 17:23, 28 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 10.pdf» (Исправлены опечатки)
- 17:13, 28 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 12.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 12. Особенности реализации симметричного протокола раздвижного окна)
- 14:19, 28 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 11.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 11. Корректность симметричного протокола раздвижного окна)
- 14:19, 28 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 10.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 10. Как обосновывать корректность распределённых алгоритмов. Свойства безопасно…)
- 12:39, 27 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-03-03.pdf»
- 12:35, 26 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l6-2.pdf»
- 12:35, 26 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l6-1.pdf»
- 12:19, 22 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b10.pdf» (Внесены улучшения (более ясно выбраны слова в определении вывода))
- 12:18, 22 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b9.pdf» (Внесены улучшения (добавлен пример в конце))
- 20:40, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 09.pdf» (Исправлены опечатки)
- 20:40, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 08.pdf» (Исправлены опечатки)
- 20:39, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 07.pdf» (Исправлены опечатки)
- 20:39, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 06.pdf» (Исправлены опечатки)
- 18:44, 21 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 05.pdf» (Исправлена опечатка в протоколе на слайде 13)
- 13:38, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 09.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 9: симметричный протокол раздвижного окна)
- 13:37, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 08.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 8: дополнительные допущения, сложность)
- 13:37, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 07.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 7: логические часы)
- 13:36, 21 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 06.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 6: причинно-следственный порядок событий)
- 12:49, 21 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l5.pdf»
- 15:23, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Dusp title.png» (Для презентации 2023)
- 15:22, 20 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DCSA2023.pdf» (Презентация магистерской программы ДУСП по состоянию на 2023)
- 14:57, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 05.pdf» (Исправлены опечатки)
- 14:57, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 04.pdf» (Исправлены опечатки)
- 14:56, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 03.pdf» (Исправлены опечатки)
- 14:38, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b11.pdf» (2022-2023, весенний семестр. Блок 11. Корректность табличного вывода.)
- 14:38, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b10.pdf» (2022-2023, весенний семестр. Блок 10. Табличный вывод.)
- 14:38, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b9.pdf» (2022-2023, весенний семестр. Блок 9. База про подстановки.)
- 14:36, 20 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (2022-2023, весенний семестр. Теперь тут про семантические таблицы логики предикатов.)
- 21:31, 19 февраля 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 9967 страницы Нагорный Александр Степанович
- 21:01, 17 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-selezn-l7.pdf»
- 21:01, 17 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-selezn-l6.pdf»
- 21:01, 17 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-selezn-l5.pdf»
- 21:00, 17 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-selezn-l4.pdf»
- 21:00, 17 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-selezn-l3.pdf»
- 21:00, 17 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-selezn-l2.pdf»
- 21:00, 17 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-selezn-l1.pdf»
- 11:48, 17 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 04.pdf» (Исправлены опечатки)
- 11:48, 17 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 03.pdf» (Исправлено ещё больше опечаток)
- 13:07, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (2022-2023, весенний семестр. Без существенных изменений)
- 13:07, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (Весенний семестр 2022-2023. Без существенных изменений)
- 13:06, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (2022-2023, весенний семестр. Убрал монотонность и транзитивность следования, расскажу про них позже, ближе к месту использования)
- 13:05, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (2022-2023, весенний семестр. Без существенных изменений)
- 13:03, 16 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Исправлена одна опечатка)
- 10:32, 16 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 05.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 5. Задачи, проблемы, алгоритмы, разрешимость)
- 10:29, 16 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 04.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 4. Ограниченность и безопасность сетей Петри. Деревья покрытия разметок)
- 10:09, 16 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l4.pdf»
- 13:05, 14 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 05.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 5: пример надёжной передачи через ненадёжный канал)
- 13:04, 14 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 04.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 4: справедливость)
- 13:03, 14 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 03.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 3: системы переходов, синхронная и асинхронная композиция)
- 09:47, 14 февраля 2023 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-selezn-l3.pdf»
- 09:39, 14 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l3.pdf»
- 09:39, 14 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l2.pdf»
- 09:39, 14 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l1.pdf»
- 15:40, 13 февраля 2023 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-23-02-17.pdf»
- 15:38, 13 февраля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-02-17.pdf»
- 13:13, 9 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 03.pdf» (Исправлены опечатки)
- 13:13, 9 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 02.pdf» (Исправлены опечатки)
- 13:05, 9 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 02.pdf» (незначительные правки)
- 13:05, 9 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 01.pdf» (незначительные правки)
- 10:32, 9 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 03.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 3, примеры применения и свойства сетей Петри)
- 10:31, 9 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 02.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 2, база про сети Петри)
- 10:30, 9 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 01.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 1, оргвопросы)
- 00:17, 9 февраля 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТСНКДУС-23-1.pdf»
- 00:16, 9 февраля 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТДУС-23-1 318.pdf»
- 13:12, 7 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 02.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 2: содержательное вступление.)
- 13:11, 7 февраля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 01.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 1: оргвопросы.)
- 17:28, 6 февраля 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 2023 02 06.pdf»
- 17:28, 6 февраля 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Romanov DS.jpg»
- 12:33, 6 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b4.pdf» (Весенний семестр 2022/2023, темы те же)
- 12:33, 6 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Весенний семестр 2022/2023, темы те же)
- 12:33, 6 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» (Весенний семестр 2022/2023, темы те же)
- 12:32, 6 февраля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (Весенний семестр 2022/2023, темы те же)
- 18:42, 2 февраля 2023 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-s.pdf»
- 17:05, 2 февраля 2023 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-s.pdf»
- 16:06, 2 февраля 2023 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-s.pdf»
- 13:24, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Test3-4-eng-selezn.pdf (по просьбе загрузившего)
- 13:24, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Selezneva2.jpg (по просьбе загрузившего)
- 13:24, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Selezneva1.jpg (по просьбе загрузившего)
- 13:24, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Selezneva.jpg (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Selezn-dm1998.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Selezn-dm1997.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Mag-dm-lect5-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Lect3-4-ex-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Lect3-4-eng-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg5-l5-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg4-l4-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg3-l9-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg3-l8-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg3-l7-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg3-l6-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg3-l5-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg3-l4-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg3-l3-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg3-l2-selezn.pdf (по просьбе загрузившего)
- 13:23, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg3-l1-selezn.pdf (по просьбе загрузившего)
- 13:22, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivtg-3-l9-selezn.pdf (по просьбе загрузившего)
- 13:22, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-lect9-selezn.pdf (по просьбе загрузившего)
- 13:19, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-lect2-selezn.pdf (по просьбе загрузившего)
- 13:19, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-lect12-selezn.pdf (по просьбе загрузившего)
- 13:19, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-lect1-selezn.pdf (по просьбе загрузившего)
- 13:19, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l9-selezn.pdf (по просьбе загрузившего)
- 13:19, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l8-selezn.pdf (по просьбе загрузившего)
- 13:19, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l7-selezn.pdf (по просьбе загрузившего)
- 13:19, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l6-selezn.pdf (по просьбе загрузившего)
- 13:18, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l5-selezn.pdf (по просьбе загрузившего)
- 13:18, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l4-selezn.pdf (по просьбе загрузившего)
- 13:18, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l3-selezn.pdf (по просьбе загрузившего)
- 13:18, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l2-selezn.pdf (по просьбе загрузившего)
- 13:18, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l12-selezn.pdf (по просьбе загрузившего)
- 13:17, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l11-selezn.pdf (по просьбе загрузившего)
- 13:17, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l10-selezn.pdf (по просьбе загрузившего)
- 13:17, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l1-selezn.pdf (по просьбе загрузившего)
- 13:17, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Ivdm-l0-selezn.pdf (по просьбе загрузившего)
- 13:17, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-l7-selezn.pdf (по просьбе загрузившего)
- 13:17, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-l6-selezn.pdf (по просьбе загрузившего)
- 13:17, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-l5-selezn.pdf (по просьбе загрузившего)
- 13:17, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-l4-selezn.pdf (по просьбе загрузившего)
- 13:17, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-l3-selezn.pdf (по просьбе загрузившего)
- 13:17, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-l2-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-l1-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-asp-l9-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-asp-l8-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-asp-l7-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-asp-l6-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-asp-l5-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-asp-l4-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-asp-l3-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-asp-l2-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Gip-asp-l1-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dvm-l7-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dvm-l6-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dvm-l5-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dvm-l4-selezn.pdf (по просьбе загрузившего)
- 13:16, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dvm-l3-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dvm-l2-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dvm-l2-1-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dvm-l1-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect9-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect8-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect7-selezn1.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect7-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect4-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect3-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect2-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect12-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect11-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect10-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm2-lect1-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm15-mag-lect6-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-s9-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-s8-selezn.pdf (по просьбе загрузившего)
- 13:15, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-s7-selezn.pdf (по просьбе загрузившего)
- 13:14, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-s2-selezn.pdf (по просьбе загрузившего)
- 13:14, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-s12-selezn.pdf (по просьбе загрузившего)
- 13:14, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-s11-selezn.pdf (по просьбе загрузившего)
- 13:14, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-s10-selezn.pdf (по просьбе загрузившего)
- 13:14, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-s1-selezn.pdf (по просьбе загрузившего)
- 13:14, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l9-selezn.pdf (по просьбе загрузившего)
- 13:14, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l8-selezn.pdf (по просьбе загрузившего)
- 13:13, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l7-selezn.pdf (по просьбе загрузившего)
- 13:13, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l6-selezn.pdf (по просьбе загрузившего)
- 13:13, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l5-selezn.pdf (по просьбе загрузившего)
- 13:13, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l4-selezn.pdf (по просьбе загрузившего)
- 13:13, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l3-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l21-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l20-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l2-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l19-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l18-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l17-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l16-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l15-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l14-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l13-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l12-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l11-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l10-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l1-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-l-selezn.pdf (по просьбе загрузившего)
- 13:12, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-kf-l15-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-kf-l14-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-kf-l13-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm1-kf-l12-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect7i-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect7-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect6i-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect6-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect5i-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect5-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect4i-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect4-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect3i-selezn.pdf (по просьбе загрузившего)
- 13:11, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect3-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect2i-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect2-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect1i-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-mag-lect1-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-lect9-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-lect8-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-lect11-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-lect10-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-l7-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-l6-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-l5-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-l4-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-l3-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-l2-selezn.pdf (по просьбе загрузившего)
- 13:10, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-l1-selezn.pdf (по просьбе загрузившего)
- 13:08, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-gos7-selezn.pdf (по просьбе загрузившего)
- 13:08, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-gos6-selezn.pdf (по просьбе загрузившего)
- 13:08, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-gos5-selezn.pdf (по просьбе загрузившего)
- 13:08, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-gos4-selezn.pdf (по просьбе загрузившего)
- 13:08, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-gos3-selezn.pdf (по просьбе загрузившего)
- 13:08, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-gos2-selezn.pdf (по просьбе загрузившего)
- 13:08, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dm-gos1-selezn.pdf (по просьбе загрузившего)
- 13:07, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-s6-selezn.pdf (по просьбе загрузившего)
- 13:07, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-s5-selezn.pdf (по просьбе загрузившего)
- 13:07, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-s4-selezn.pdf (по просьбе загрузившего)
- 13:07, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-s3-selezn.pdf (по просьбе загрузившего)
- 13:07, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-s2-selezn.pdf (по просьбе загрузившего)
- 13:07, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-s1-selezn.pdf (по просьбе загрузившего)
- 13:07, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l9-selezn.pdf (по просьбе загрузившего)
- 13:07, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l8-selezn.pdf (по просьбе загрузившего)
- 13:07, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l7-selezn.pdf (по просьбе загрузившего)
- 13:07, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l6-selezn.pdf (по просьбе загрузившего)
- 13:06, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l5-selezn.pdf (по просьбе загрузившего)
- 13:06, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l4-selezn.pdf (по просьбе загрузившего)
- 13:06, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l3-selezn.pdf (по просьбе загрузившего)
- 13:06, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l2-selezn.pdf (по просьбе загрузившего)
- 13:06, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l12-selezn.pdf (по просьбе загрузившего)
- 13:06, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l11-selezn.pdf (по просьбе загрузившего)
- 13:06, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l10-selezn.pdf (по просьбе загрузившего)
- 13:06, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:Dfvo-l1-selezn.pdf (по просьбе загрузившего)
- 13:06, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:2-2015-selezn.pdf (по просьбе загрузившего)
- 13:06, 27 января 2023 Root (обсуждение | вклад) удалил страницу Файл:-l4-selezn.pdf (по просьбе загрузившего)
- 12:01, 20 января 2023 SavitskiyIV (обсуждение | вклад) загрузил «Файл:DGDMiK exam info 2022.pdf» (Информация об экзамене ДГДМиК)
- 11:54, 16 января 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 9826 страницы Категория:Сотрудники лаборатории ДУСП (архив)
- 11:53, 16 января 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 9825 страницы Рамиль Альварес Хосе
- 11:51, 16 января 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 9824 страницы Данилов Борис Радиславович
- 00:19, 12 января 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-22-2 311-319 Консультации и экзамен.pdf»
- 00:17, 12 января 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-22-2 311-319 Правила проведение экзамена.pdf»
- 18:36, 11 января 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis verification intro.pdf»
- 18:33, 11 января 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis mapping.pdf»
- 18:33, 11 января 2023 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Logic synthesis structural matching.pdf»
- 18:32, 11 января 2023 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Logic synthesis CMOS memory.pdf»
- 18:31, 11 января 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis AIG.pdf»
- 18:31, 11 января 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis CLS bool.pdf»
- 18:30, 11 января 2023 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Logic synthesis CLS.pdf»
- 18:27, 11 января 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis retiming.pdf»
- 18:10, 11 января 2023 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Logic synthesis CMOS.pdf»
- 18:06, 11 января 2023 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Logic synthesis intro.pdf»
- 20:13, 7 января 2023 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Cpp exam demo.pdf» (Возврат к версии от 09:19, 29 декабря 2022)
- 20:12, 7 января 2023 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Cpp exam demo.pdf» (fix bug in the last task)
- 12:19, 29 декабря 2022 KonovodovV (обсуждение | вклад) загрузил «Файл:Cpp exam demo.pdf»
- 12:17, 29 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (Исправлена одна из формулировок утверждений про шкалы (на конечный итог не влияет))
- 15:22, 26 декабря 2022 AlekseevVB (обсуждение | вклад) загрузил «Файл:ВКА 2022.docx»
- 13:40, 26 декабря 2022 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы по курсу ВКА 2022.docx»
- 13:25, 26 декабря 2022 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы к экзамену по курсу ВКА 2022.docx»
- 17:22, 21 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP all.pdf» (ММ верификации СиП, 618 и 621, все лекции 2022 для экзамена в одном файле (кроме обзоров Spin и NuSMV))
- 17:02, 21 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP all.pdf» (Мат. лог. и лог. прог., 3 поток, все слайды лекций 2022 в одном файле)
- 12:23, 21 декабря 2022 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы Сложность алгоритмов 2022.doc»
- 13:24, 15 декабря 2022 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp content 2022.pdf»
- 22:14, 14 декабря 2022 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2022-2023.pdf» (Исправлены опечатки)
- 22:14, 14 декабря 2022 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК семинары 2022-2023.pdf» (Исправлены опечатки)
- 17:48, 14 декабря 2022 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК семинары 2022-2023.pdf» (Добавлена 3-я часть курса)
- 17:48, 14 декабря 2022 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2022-2023.pdf» (Добавлена 3-я часть курса)
- 22:00, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (Исправлены опечатки)
- 21:59, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (Исправлены опечатки)
- 21:59, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (Исправлены опечатки)
- 21:58, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (Исправлены опечатки (и это блок 58, не 56))
- 21:58, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (Исправлены опечатки)
- 21:02, 12 декабря 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-12-16.pdf»
- 23:08, 11 декабря 2022 Root (обсуждение | вклад) загрузил «Файл:Verif VP 32.pdf» (Методы верификации (618, 621). Блок 32. Решение BMC при помощи SAT)
- 23:08, 11 декабря 2022 Root (обсуждение | вклад) удалил страницу Файл:Verif CP 32.pdf (опечатка в названии)
- 23:05, 11 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif CP 32.pdf» (Методы верификации (618, 621). Блок 32. Решение BMC при помощи SAT)
- 23:05, 11 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 31.pdf» (Методы верификации (618, 621). Блок 31. Проблема выполнимости булевых формул (SAT))
- 23:04, 11 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 30.pdf» (Методы верификации (618, 621). Блок 30. Bounded model checking (BMC), постановка задачи)
- 22:37, 11 декабря 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specsem221211.pdf»
- 22:35, 11 декабря 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem221211.pdf»
- 17:25, 10 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 58.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 56. Алгоритм model checking для CTL)
- 18:23, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 18:18, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 18:18, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l5-selezn.pdf»
- 18:16, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l5-selezn.pdf»
- 18:10, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg5-l5-selezn.pdf»
- 18:10, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg4-l4-selezn.pdf»
- 20:23, 7 декабря 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-12-09.pdf»
- 15:28, 7 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 29.pdf» (Методы верификации (618, 621). Блок 29. Редукция по конусу, абстракция данных)
- 15:27, 7 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 28.pdf» (Методы верификации (618, 621). Блок 28. Бисимуляция состояний. Алгоритм проверки бисимуляции. Фактор-модель)
- 15:26, 7 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 27.pdf» (Методы верификации (618, 621). Блок 27. Симуляция и бисимуляция)
- 09:55, 7 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (Исправлены опечатки)
- 09:54, 7 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (Исправлены опечатки)
- 09:54, 7 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (Исправлены опечатки)
- 16:00, 5 декабря 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem221205.doc»
- 11:46, 4 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 57.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 57. Темпоральные логики для спецификации)
- 11:43, 4 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 56.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 56. Размеченные системы переходов)
- 11:42, 4 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 55.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 55. Верификация распределённых систем)
- 22:21, 30 ноября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Msu-dgdmik-20-2-lectures.pdf»
- 22:20, 30 ноября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Msu-dgdmik-20-2-lectures.pdf»