Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)- 14:39, 31 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 21.pdf» (Методы верификации (618, 621). Блок 21. Символьный алгоритм для CTL, преобразователи предикатов, неподвижные точки)
- 07:54, 31 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч4 2022-2.pdf»
- 07:54, 31 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч2 2022-2.pdf»
- 07:54, 31 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч1 2022-2.pdf»
- 07:54, 31 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций В 2022-2.pdf»
- 22:01, 30 октября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l3-selezn.pdf»
- 19:22, 28 октября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l6-selezn.pdf»
- 16:53, 26 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP sem03.pdf» (Методы верификации (618, 621). Семинар 3. CTL, базовый алгоритм model checking, BDD.)
- 15:13, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 20.pdf» (Исправлены опечатки)
- 15:13, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 19.pdf» (Исправлены опечатки)
- 14:22, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 35.pdf» (Исправлены опечатки, улучшено представление одного из доказательств (добавлена картинка, которую рисовал на лекции))
- 14:21, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 33.pdf» (Исправлены опечатки)
- 14:21, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 32.pdf» (Исправлены опечатки)
- 14:20, 25 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 31.pdf» (Исправлены опечатки)
- 13:16, 25 октября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-10-28.pdf»
- 13:04, 24 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 20.pdf» (Методы верификации (618, 621). Блок 20. BDD)
- 13:03, 24 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 19.pdf» (Методы верификации (618, 621). Блок 19. Символьные представления моделей)
- 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. ХЛП: синтаксис, декларативная семантика, правильные ответы)
- 16:34, 23 октября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-22-2 311-319.pdf»
- 19:59, 22 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 221024.pdf»
- 18:59, 19 октября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l5-selezn.pdf»
- 16:21, 18 октября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-10-21.pdf»
- 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» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 22:18, 14 октября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l5-selezn.pdf»
- 22:18, 14 октября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 18:12, 14 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 221017.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» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 15.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 14.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 10.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 07.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 05.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:26, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 20:25, 12 октября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-10-14.pdf»
- 20:43, 10 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (Поправлено несколько опечаток)
- 20:29, 10 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 25.pdf» (Поправлено несколько опечаток)
- 21:12, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 25.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 25. Теорема Эрбрана. Полнота резолютивного вывода)
- 21:08, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 24.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 24. Эрбрановские интерпретации. Теорема об эрбр. инт.)
- 21:07, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 23.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 23. Обоснование общезначимости формулы методом резолюций (пример))
- 21:06, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 22.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 22. Резолютивный вывод и его корректность)
- 20:52, 9 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Spin.pdf» (Исправлена опечатка в нумерации упражнений)
- 20:49, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Prac Spin.pdf» (Методы верификации (618, 621). Задачи по Spin)
- 20:47, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Review Spin.pdf» (Методы верификации (618, 621). Блок О1. Обзор Spin)
- 22:07, 8 октября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 221008.pdf»
- 21:43, 8 октября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 221008.pdf»
- 21:30, 8 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 221008.pdf»
- 16:05, 5 октября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-10-07.pdf»
- 20:27, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (Пересечение -> синхронная композиция)
- 20:25, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (Добавлено важное уточнение про конечность модели)
- 20:23, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (Поправлено несколько опечаток)
- 20:19, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (Исправлено несколько опечаток)
- 14:07, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 15.pdf» (Методы верификации (618, 621). Блок 15. Автоматный алгоритм model checking для LTL: уточнённая схема)
- 14:07, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 14.pdf» (Методы верификации (618, 621). Блок 14. Автоматы Бюхи для моделей Крипке и ltl-формул)
- 14:06, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 13.pdf» (Методы верификации (618, 621). Блок 13. Пересечение и проверка пустоты автоматов Бюхи)
- 14:05, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 12.pdf» (Методы верификации (618, 621). Блок 12. Автоматы Бюхи, обычные и обобщённые)
- 14:05, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 11.pdf» (Методы верификации (618, 621). Блок 11. Автоматный алгоритм model checking для LTL: общая схема)
- 13:48, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (Поправлена опечатка (в какой-то момент пропала формулировка теоремы))
- 09:48, 3 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Problems-22-2 1.pdf»
- 07:57, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 21.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 21. Алгоритм унификации)
- 07:57, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 20.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 20. Композиция подстановок. Задача унификации (постановка))
- 07:56, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 19.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 19. Системы дизъюнктов)
- 07:55, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 18.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 18. ССФ)
- 07:55, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 17.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 17. ПНФ)
- 18:55, 1 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Немного поменял обозначение последовательностей и того, откуда берутся их элементы (готическое S и Сигма вместо Сигма и Икс).)
- 18:54, 1 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Немного поменял обозначение последовательностей и того, откуда берутся их элементы (готическое S и Сигма вместо Сигма и Икс).)
- 12:17, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (Исправлено несколько опечаток)
- 12:11, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Исправлено несколько опечаток)
- 12:05, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Исправлено несколько опечаток)
- 07:03, 28 сентября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-09-30.pdf»
- 18:55, 26 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (Исправлено несколько опечаток в доказательстве)
- 14:12, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP sem02.pdf» (Методы верификации (618, 621). Семинар 2. Модели Крипке, LTL, безопасность и живость, справедливость.)
- 14:09, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 10.pdf» (Методы верификации (618, 621). Блок 10. Размеченные системы переходов. Справедливость в целом и в LTL.)
- 14:09, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 09.pdf» (Методы верификации (618, 621). Блок 9. LTL - синтаксис, семантика, постановка задачи верификации)
- 14:08, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 08.pdf» (Методы верификации (618, 621). Блок 8. Свойства трасс. Безопасность и живость.)
- 07:21, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 16.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 16. Равносильность формул логики предикатов)
- 07:20, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 15.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 16. Общая схема метода резолюций)
- 07:19, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 14.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 14. Метод семантических таблиц в логике предикатов: лёвенгейм-сколем, мальцев, автоматизация доказательс…)
- 07:18, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 13.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 13. Метод семантических таблиц в логике предикатов: полнота табличного вывода)
- 07:18, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 12.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 12. Метод семантических таблиц в логике предикатов: корректность табличного вывода)
- 07:17, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 11.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 11. Метод семантических таблиц в логике предикатов: табличный вывод)
- 07:16, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 10.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 10. Подстановки (основные определения))
- 07:15, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 09.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 9. Метод семантических таблиц в логике предикатов: семантические таблицы)
- 21:18, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:17, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:17, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:16, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:16, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:16, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 19:57, 19 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Исправил пару опечаток)
- 19:53, 19 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (Исправил пример невыполнимой формулы и использование не введённого ещё сокращения для цепочки кванторов)
- 09:54, 19 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 07.pdf» (Методы верификации (618, 621). Блок 7, модели Крипке и особенности моделирования систем)
- 09:53, 19 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 06.pdf» (Методы верификации (618, 621). Блок 6, общая схема model checking)
- 01:07, 19 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (Поправлена опечатка в одной формуле)
- 19:44, 17 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 08.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 8. Метод семантических таблиц в логике высказываний)
- 19:35, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 19:33, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 19:27, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 19:25, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 19:22, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l2-selezn.pdf»
- 19:12, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l3-selezn.pdf»
- 17:55, 13 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l2-selezn.pdf»
- 11:38, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP sem01.pdf» (Методы верификации (618, 621). Семинар 1, дедуктивная верификация императивных программ)
- 11:38, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 05.pdf» (Методы верификации (618, 621). Блок 5, автоматизация, слабейшее предусловие)
- 11:37, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 04.pdf» (Методы верификации (618, 621). Блок 4, аннотированные программы)
- 11:36, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 03.pdf» (Методы верификации (618, 621). Блок 3, постановка задачи дедуктивной верификации императивных программ, логика Хоара)
- 08:02, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 07.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 7, логика предикатов: невозможность проверки общезначимости перебором)
- 08:01, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 06.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 6, логика предикатов: выполнимые и общезначимые формулы, модели, логическое следствие, проблема общезнач…)
- 08:00, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 05.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 5, логика высказываний: выполнимые и общезначимые формулы)
- 07:59, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 04.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 4, логика предикатов (пример формализации на языке предикатов))
- 01:42, 7 сентября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-22-2 311-319.pdf»
- 01:39, 7 сентября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-22-2 311-319.pdf»
- 20:11, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Уточнение "инструкция-команда" в синтаксисе программ)
- 20:10, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (Исправлены опечатки)
- 13:33, 5 сентября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Программа ДГДМК 2022-2023.pdf»
- 13:22, 5 сентября 2022 Root (обсуждение | вклад) удалил страницу Файл:Verif VP 01.pdf (Удалена старая версия 20220905102144!Verif_VP_01.pdf: неверный титульный слайд)
- 13:21, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (Методы верификации (618, 621). Блок 1, вводный)
- 13:18, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 02.pdf» (Методы верификации (618, 621). Блок 2, синтаксис и семантика модельных императивных программ)
- 13:18, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 01.pdf» (Методы верификации (618, 621). Блок 1, вводный)
- 12:44, 5 сентября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Программа ДГДМК семинары 2022-2023.pdf»
- 12:09, 5 сентября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-22-2 311-319.pdf»
- 10:36, 5 сентября 2022 Root (обсуждение | вклад) удалил страницу Файл:MLLP VP 03.pdf (Удалена старая версия 20220905073330!MLLP_VP_03.pdf: был загружен не тот файл)
- 10:36, 5 сентября 2022 Root (обсуждение | вклад) удалил страницу Файл:MLLP VP 02.pdf (Удалена старая версия 20220905073302!MLLP_VP_02.pdf: был загружен не тот файл)
- 10:36, 5 сентября 2022 Root (обсуждение | вклад) удалил страницу Файл:MLLP VP 01.pdf (Удалена старая версия 20220905073234!MLLP_VP_01.pdf: был загружен не тот файл)
- 10:33, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 3, логика предикатов (синтаксис, семантика))
- 10:33, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 2, логика высказываний (синтаксис, семантика))
- 10:32, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 1, вводный)
- 10:24, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 03.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 3, логика предикатов (синтаксис, семантика))
- 10:23, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 02.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 2, логика высказываний (синтаксис, семантика))
- 10:22, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 01.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 1, вводный)
- 13:29, 30 августа 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l1-selezn.pdf»
- 11:50, 30 августа 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l2-selezn.pdf»
- 11:49, 30 августа 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 16:57, 28 августа 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 15:17, 13 июня 2022 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 2022 06 14.pdf»
- 14:33, 13 июня 2022 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 2022 06 14.pdf»
- 13:15, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:5 prez.pdf»
- 13:14, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:4 prez.pdf»
- 13:14, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:3 prez.pdf»
- 13:14, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:2 prez.pdf»
- 13:14, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:1 prez.pdf»
- 13:07, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 2022 06 14.pdf»
- 13:23, 11 июня 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Example-dm-kf-exam.pdf»
- 12:07, 4 июня 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mk-2022-618.jpg»
- 12:06, 4 июня 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mk-2022-618.jpg»
- 09:49, 17 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (Исправил несколько опечаток)
- 19:12, 15 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b48.pdf» (Курс мат.логики для группы 318 и остальных. Блок 48. Проверка моделей относительно CTL)
- 19:11, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» (Весна 2022. Теперь тут про императивные программы и логику Хоара)
- 19:10, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (Весна 2022. Теперь тут общие слова про формальную верификацию)
- 19:09, 15 мая 2022 Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 b45.pdf (Удалена старая версия 20220515160701!Mathlog_318_b45.pdf: дубль)
- 19:09, 15 мая 2022 Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 b45.pdf (Удалена старая версия 20220515160836!Mathlog_318_b45.pdf: загружено по ошибке)
- 19:08, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Теперь тут темпоральные логики)
- 19:07, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Формальная верификация)
- 19:06, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Теперь тут темпоральные логики)
- 19:05, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (Весна 2022. Теперь тут эпистемичекие логики)
- 20:18, 11 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Курсовая работа - титульный лист.doc» (Титульный лист курсовой работы 2022)
- 20:17, 11 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Курсовая работа - требования.pdf» (Требования к курсовой работе 2022)
- 19:02, 29 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (Исправлено несколько опечаток)
- 19:02, 29 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Поправлено несколько опечаток)
- 14:49, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos7-selezn.pdf»
- 13:14, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos5-selezn.pdf»
- 13:01, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos4-selezn.pdf»
- 12:45, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos1-selezn.pdf»
- 12:43, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos1-selezn.pdf»
- 20:32, 26 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-l15-selezn.pdf»
- 17:36, 24 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (Весна 2022. Теперь тут про модальные логики)
- 17:36, 24 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Весна 2022. Теперь тут про арифметику Пресбургера)
- 18:31, 21 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l21-selezn.pdf»
- 18:31, 21 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l20-selezn.pdf»
- 18:36, 20 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (Исправлена пара опечаток)
- 18:36, 20 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (Исправлена пара опечаток)
- 10:59, 20 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-kf-l14-selezn.pdf»
- 17:43, 19 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-l14-selezn.pdf»
- 10:56, 19 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-29.pdf»
- 22:27, 18 апреля 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ЭТСНКДУС-22-1.pdf»
- 08:09, 18 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (Весна 2022. Теперь тут про формальную арифметику и теорему Гёделя о неполноте)
- 08:08, 18 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (Весна 2022. Теперь тут про определения и выразимость)
- 08:07, 18 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (Весна 2022. Теперь тут про арифметические интерпретации и теории)
- 01:00, 15 апреля 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ЭТСНКДУС-22-1.pdf»
- 00:56, 15 апреля 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ЭТДУС-22-1 318.pdf»
- 00:50, 15 апреля 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220415.pdf»
- 22:08, 14 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l19-selezn.pdf»
- 22:04, 14 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l18-selezn.pdf»
- 18:05, 14 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Dsa title.png»
- 17:58, 14 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:DSA2022.pdf» (Презентация о научно-образовательном направлении "Дискретные структуры и алгоритмы" кафедры МК, 2022)
- 20:03, 12 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-l13-selezn.pdf»
- 12:15, 11 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-22.pdf»
- 12:15, 11 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-15.pdf»
- 21:44, 10 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (Весна 2022. Теперь здесь основные свойства аксиоматических теорий)
- 21:44, 10 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (Весна 2022. Теперь здесь базовые определения про аксиоматические теории)
- 11:21, 8 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l16-selezn.pdf»
- 11:08, 8 апреля 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ЭТСНКДУС-22-1.pdf»
- 20:04, 7 апреля 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТСНКДУС-22-1.pdf»
- 12:01, 7 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Требования к МД 618.pdf» (Требования к тексту магистерской диссертации в 2022 году)
- 12:00, 7 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Требования к ВКР 418.pdf» (Требования к тексту ВКР в 2022 году)