Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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)
- 19:06, 27 ноября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 221128.pdf»
- 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. Формальная верификация)
- 20:28, 25 ноября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l7-selezn.pdf»
- 23:04, 22 ноября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Слайды лекций Ч3 2022-2.pdf»
- 22:55, 22 ноября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-22-2 311-319.pdf»
- 21:36, 20 ноября 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem 221121.pdf»
- 19:55, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 26.pdf» (Методы верификации (618, 621). Блок 26. Сети временных автоматов)
- 19:55, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 25.pdf» (Методы верификации (618, 621). Блок 25. Алгоритм model checking для TCTL. Временные регионы, системы регионов)
- 19:54, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 24.pdf» (Методы верификации (618, 621). Блок 24. Логика ветвящегося реального времени (TCTL). Задача model checking для TCTL)
- 19:51, 20 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 47.pdf» (Исправил небольшую неточность на титуле)
- 19:48, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 51.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 51. Интуиционистская логика)
- 19:47, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 50.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 50. Темпоральные логики)
- 19:47, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 49.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 49. Эпистемические логики)
- 19:46, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 48.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 48. Модальные логики)
- 19:46, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 47.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 47. Оператор отрицания. SLDNF)
- 19:45, 20 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 46.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 46. Отрицание в логпрог, cwa)
- 16:19, 17 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 43.pdf» (Развернул слэш в \= и =\= как надо (как написал тут))
- 19:02, 15 ноября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Слайды лекций Ч3 2022-2.pdf»
- 21:32, 13 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 38.pdf» (Исправлена опечатка)
- 18:09, 13 ноября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч3 2022-2.pdf»
- 17:47, 13 ноября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-22-2 311-319.pdf»
- 17:47, 13 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 23.pdf» (Методы верификации (618, 621). Блок 23. СРВ, временные автоматы и их неправдоподобные вычисления)
- 17:46, 13 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 22.pdf» (Методы верификации (618, 621). Блок 22. CTL*, сравнение CTL и LTL)
- 12:18, 13 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Добавил обозначение натуральных с нолём, которое используется, но забыл ввести)
- 18:27, 12 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Nusmv.pdf» (Исправлены опечатки)
- 14:40, 11 ноября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-11-11.pdf»
- 18:07, 7 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 40.pdf» (Исправлены незначительные опечатки)
- 22:23, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Prac Nusmv.pdf» (Методы верификации (618, 621). Задачи по NuSMV)
- 21:59, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Review Nusmv.pdf» (Методы верификации (618, 621). Блок О2. Обзор NuSMV)
- 18:19, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 45.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 45. Логические программы: управление вычислениями, оператор отсечения)
- 18:18, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 44.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 44. Логические программы: стековые вычисления)
- 18:18, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 43.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 43. Логические программы: встроенные предикаты и функции)
- 18:17, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 42.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 42. Теорема Чёрча)
- 18:17, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 41.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 41. Задачи и проблемы, алгоритмы, разрешимость, m-сводимость)
- 18:16, 5 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 40.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 40. Моделирование машин Тьюринга логическими программами)
- 08:34, 5 ноября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 221107.pdf»
- 21:35, 2 ноября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP lections colloq.pdf» (Мат. лог. и лог. прог., 3 поток. Все лекции для коллоквиума)
- 23:24, 1 ноября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 39.pdf» (Добавил одно обозначение в конце)
- 00:21, 1 ноября 2022 SavitskiyIV (обсуждение | вклад) загрузил «Файл:ДГДМиК Лекции1-9 2022 Презентация.pdf» (Презентации к лекциям 1–9 по курсу ДГДМиК. В файле присутствует электронное оглавление)
- 17:57, 31 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 21.pdf» (Исправлены опечатки)
- 17:44, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 39.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 39. Машины Тьюринга)