Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 17:35, 23 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 35.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 35. ХЛП: полнота операционной семантики)
- 17:34, 23 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 34.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 34. ХЛП: корректность операционной семантики)
- 17:34, 23 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 33.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 33. ХЛП: операционная семантика, SLD-вычислимые ответы)
- 17:33, 23 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 32.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 32. ХЛП: списки)
- 17:32, 23 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 31.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 31. ХЛП: синтаксис, декларативная семантика, правильные ответы)
- 17:29, 17 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 18.pdf» (Исправлены опечатки)
- 17:28, 17 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 17.pdf» (Исправлены опечатки)
- 17:28, 17 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 16.pdf» (Исправлены опечатки)
- 17:23, 17 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 30.pdf» (Незначительные изменения на последнем слайде)
- 17:23, 17 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 29.pdf» (Исправлена незначительная опечатка)
- 09:56, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 18.pdf» (Методы верификации (618, 621). Блок 18. Справедливость и CTL)
- 09:55, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 17.pdf» (Методы верификации (618, 621). Блок 17. Базовый алгоритм model checking для CTL)
- 09:55, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 16.pdf» (Методы верификации (618, 621). Блок 16. Логика деревьев вычислений (CTL). Постановка заачи верификации моделей Крипке относительно CTL.)
- 00:16, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 30.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 30. Вычислительные возможности метода резолюций)
- 00:16, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 29.pdf» (Хорновские дизъюнкты)
- 00:15, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 28.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 28. Даша, Саша, Паша, пиво и методы сем таб и резол)
- 00:15, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 27.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 27. Стратегии резолютивного вывода)
- 00:14, 17 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 26.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 26. Иллюстрация полноты резолютивного вывода)
- 21:40, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (Добавил одно недостающее обозначение (множество всех справедливых путей))
- 16:23, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Небольшая опечатка на последнем слайде)
- 12:34, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Spin.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:33, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:33, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem02.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:33, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:33, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:33, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:32, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 06.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 11:43, 14 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (И ещё опечатка)
- 14:31, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 25.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:31, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 24.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:31, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 23.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 22.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 21.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 20.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 18.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 16.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
