Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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. Ограниченность и безопасность сетей Петри. Деревья покрытия разметок)
- 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: системы переходов, синхронная и асинхронная композиция)
- 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, оргвопросы)
- 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: оргвопросы.)
- 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, темы те же)
- 12:17, 29 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (Исправлена одна из формулировок утверждений про шкалы (на конечный итог не влияет))
- 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 в одном файле)
- 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» (Исправлены опечатки)
- 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), постановка задачи)
- 17:25, 10 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 58.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 56. Алгоритм model checking для CTL)
- 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» (Исправлены опечатки)
- 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. Верификация распределённых систем)
- 14:18, 29 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (Исправил нестыковки обозначений и усовершенствовал)
- 14:18, 29 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (Исправил нестыковки обозначений и усовершенствовал)
- 17:15, 28 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (Исправил опечатки и упр 3)
- 20:10, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Prac Uppaal.zip» (Методы верификации (618, 621). Доп. материалы к задачам по Uppaal)
- 20:07, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Prac Uppaal.pdf» (Методы верификации (618, 621). Задачи по Uppaal)
- 16:20, 26 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (Исправлены опечатки)
- 16:19, 26 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 47.pdf» (Исправлены опечатки)
- 16:11, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 54.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 54. Логика Хоара и автоматизация проверки правильности программ)
- 16:10, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 53.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 53. Модельные императивные программы. Постановка задачи верификации программ)
- 16:09, 26 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 52.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 52. Формальная верификация)