Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)- 17:47, 6 апреля 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220408.pdf»
- 19:48, 5 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-l12-selezn.pdf»
- 13:25, 4 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (Расширил список задач, теперь оно на два семинара.)
- 17:49, 3 апреля 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТДУС-22-1 318.pdf»
- 13:45, 1 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-08.pdf»
- 20:22, 31 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l15-selezn.pdf»
- 20:22, 31 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l14-selezn.pdf»
- 11:16, 30 марта 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220401.pdf»
- 13:25, 29 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-01.pdf»
- 08:35, 28 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (Весна 2022. Теперь это теорема Чёрча)
- 08:35, 28 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (Весна 2022. Теперь это про машины Тьюринга)
- 08:34, 28 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b34.pdf» (Весна 2022. Теперь это про задачи, проблемы, алгоритмы, разрешимость и m-сводимость)
- 23:11, 22 марта 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220325.pdf»
- 15:16, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 15:15, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 11:04, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-22-03-25.pdf»
- 10:14, 22 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-03-25.pdf»
- 16:48, 21 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (Исправлена пара незначительных опечаток)
- 16:48, 21 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (Исправлена незначительная опечатка)
- 01:12, 21 марта 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:OK seminary.zip»
- 21:40, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b33.pdf» (Весна 2022. Теперь тут полнота НИП)
- 21:39, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (Весна 2022. Теперь тут ГИП и формулировка теоремы Гёделя о полноте)
- 21:38, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (Весна 2022. Теперь тут основные определения и корректность НИП)
- 21:38, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (Весна 2022. Теперь тут полнота НИВ и сопутствующее)
- 21:37, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b29.pdf» (Весна 2022. Теперь тут корректность НИВ и сопутствующее)
- 21:36, 20 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (Весна 2022. Теперь тут основные определения по НИВ)
- 20:22, 19 марта 2022 KonovodovV (обсуждение | вклад) загрузил «Файл:Large graphs and model nets.pdf»
- 14:43, 16 марта 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220318.pdf»
- 13:44, 15 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-03-18.pdf»
- 11:34, 15 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l11-selezn.pdf»
- 11:34, 15 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l10-selezn.pdf»
- 10:22, 14 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (Весна 2022. Теперь здесь начало про логические исчисления.)
- 10:21, 14 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b26.pdf» (Весна 2022. Теперь здесь заключительный пример на методы сем таб и резол.)
- 21:46, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l3-selezn.pdf»
- 21:46, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l2-1-selezn.pdf»
- 21:43, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l7-selezn.pdf»
- 21:42, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l6-selezn.pdf»
- 21:42, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l5-selezn.pdf»
- 21:42, 13 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l4-selezn.pdf»
- 20:38, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8995 страницы Половинкина Татьяна Ивановна
- 20:36, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8994 страницы Рамиль Альварес Хосе
- 20:35, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8993 страницы Владимирова Юлия Сергеевна
- 20:33, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8992 страницы Участник:VladimirovaYuS
- 20:33, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8991 страницы Участник:VladimirovaYuS
- 20:32, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8990 страницы Савицкий Игорь Владимирович
- 20:30, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8989 страницы Участник:SavitskiyIV
- 20:28, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8988 страницы Ложкин Сергей Андреевич
- 20:26, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8987 страницы Данилов Борис Радиславович
- 20:26, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8986 страницы Бухман Антон Владимирович
- 20:25, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8985 страницы Участник:ShupletsovMS
- 20:25, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8984 страницы Участник:SeleznevaSN
- 20:25, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8983 страницы Участник:RomanovDS
- 20:24, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8982 страницы Участник:PodymovVV
- 20:24, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8981 страницы Участник:NagornyAS
- 20:23, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8980 страницы Участник:MarchenkovSS
- 20:23, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8979 страницы Участник:LozhkinSA
- 20:23, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8978 страницы Участник:ZakharovVA
- 20:23, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8977 страницы Участник:DanilovB
- 20:22, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8976 страницы Участник:VoronenkoAA
- 20:22, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8975 страницы Участник:BukhmanAV
- 20:22, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8974 страницы Участник:AlekseevVB
- 20:21, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8973 страницы Участник:AlekseevVB
- 19:58, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8972 страницы Категория:Сотрудники лаборатории ДУСП
- 19:58, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8971 страницы Заглавная страница
- 19:57, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8970 страницы Категория:Сотрудники кафедры МК и лаборатории ДУСП
- 19:54, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8969 страницы Шуплецов Михаил Сергеевич
- 19:54, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8968 страницы Селезнева Светлана Николаевна
- 19:53, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8967 страницы Романов Дмитрий Сергеевич
- 19:53, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8966 страницы Подымов Владислав Васильевич
- 19:53, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8965 страницы Нагорный Александр Степанович
- 19:53, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8964 страницы Марченков Сергей Серафимович
- 19:53, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8963 страницы Ложкин Сергей Андреевич
- 19:53, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8962 страницы Захаров Владимир Анатольевич
- 19:52, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8961 страницы Данилов Борис Радиславович
- 19:52, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8960 страницы Вороненко Андрей Анатольевич
- 19:52, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8959 страницы Бухман Антон Владимирович
- 19:44, 10 марта 2022 Root (обсуждение | вклад) автоматически отпатрулировал версию 8958 страницы Алексеев Валерий Борисович
- 14:11, 10 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l9-selezn.pdf»
- 14:08, 10 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l8-selezn.pdf»
- 11:58, 8 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b25.pdf» (Поправлена стыдная ошибка: следствие не в ту сторону на слайде 2.)
- 11:54, 8 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (Поправлена стыдная ошибка: следствие не в ту сторону на слайде 2.)
- 11:52, 8 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b23.pdf» (Поправлена стыдная ошибка, следствие не в ту сторону на слайде 2.)
- 19:58, 6 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b23.pdf» (ударение над "выводим")
- 19:57, 6 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.pdf» (ударение над "выводим")
- 19:49, 6 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b21.pdf» (Мелкая техническая правка)
- 19:46, 6 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b20.pdf» (Мелкая техническая правка)
- 19:42, 6 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (Мелкая техническая правка)
- 21:00, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b25.pdf» (Весна 2022. Теперь здесь теорема Эрбрана и полнота резолютивного вывода)
- 21:00, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (Весна 2022. Теперь здесь про эрбрановские интерпретации)
- 20:59, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b23.pdf» (Весна 2022. Теперь здесь пример обоснования общезначимости методом резолюций)
- 20:59, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.pdf» (Весна 2022. Теперь это про резолютивный вывод и его корректность)
- 20:58, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b21.pdf» (Весна 2022. Теперь это про алгоритм унификации)
- 23:55, 3 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 23:49, 3 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l7-selezn.pdf»
- 11:37, 2 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Техническая правка: убрал ненужный заголовок слайдов)
- 22:24, 1 марта 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 220304.pdf»
- 14:37, 1 марта 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-22-03-11.pdf»
- 14:33, 1 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-02-18-eng.pdf»
- 14:29, 1 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-03-11-eng.pdf»
- 14:20, 1 марта 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-03-11.pdf»
- 08:47, 28 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b20.pdf» (Весна 2022. Теперь это про композицию подстановок и задачу унификации.)
- 08:47, 28 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b19.pdf» (Весна 2022. Теперь это про системы дизъюнктов.)
- 08:46, 28 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b18.pdf» (Весна 2022. Теперь это про ССФ.)
- 00:05, 25 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 00:02, 25 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 00:01, 25 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 23:04, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b17.pdf» (Весна 2022. Теперь это про ПНФ.)
- 23:04, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (Весна 2022. Теперь это про равносильность формул логики предикатов.)
- 23:03, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (Весна 2022. Теперь это общая схема метода резолюций.)
- 23:03, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (Весна 2022. Теперь это послесловие метода семантических таблиц (Лёвенгейм-Сколем, Мальцев, автоматизация доказательства теорем).)
- 23:02, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b13.pdf» (Весна 2022. Теперь это про полноту табличного вывода в логике предикатов.)
- 23:02, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b12.pdf» (Весна 2022. Теперь это про корректность табличного вывода в логике предикатов.)
- 23:01, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b11.pdf» (Весна 2022. Теперь это про табличный вывод в логике предикатов.)
- 23:01, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b10.pdf» (Весна 2022. Теперь это про подстановки.)
- 23:00, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b9.pdf» (Весна 2022. Теперь это про семантические таблицы в логике предикатов.)
- 23:00, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:59, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:59, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:59, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:59, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b4.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:58, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:58, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» (Технические правки, без существенных содержательных изменений.)
- 22:58, 20 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (Технические правки без существенных содержательных изменений.)
- 20:06, 15 февраля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-02-25.pdf»
- 19:57, 15 февраля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-02-18.pdf»
- 18:18, 15 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l3-selezn.pdf»
- 18:10, 15 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 18:10, 15 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l3-selezn.pdf»
- 19:01, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (Весна 2022. Теперь это про метод семантических таблиц в логике высказываний)
- 19:00, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (Весна 2022. Теперь это про невозможность проверки общезначимости формул логики предикатов в лоб)
- 18:59, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (Слегка поправлена раскладка слов)
- 18:57, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Слегка поправлена раскладка слов)
- 18:56, 13 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Слегка поправлена раскладка слов)
- 12:22, 11 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 14:31, 10 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 14:15, 10 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 12:08, 10 февраля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-s.pdf»
- 18:27, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (Весна 2022. Бывший блок 5: выполнимость, общезначимость и следование в логике предикатов.)
- 18:27, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (Весна 2022. Теперь тут про выполнимость и общезначимость в логике высказываний.)
- 18:26, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b4.pdf» (Весна 2022. Лёгкие правки.)
- 18:25, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (Весна 2022. Лёгкие правки.)
- 18:25, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» (Весна 2022. Убрал выполнимость-общезначимость (перенёс на попозже).)
- 18:24, 6 февраля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (Весна 2022. Укоротил и слегка поправил)
- 23:58, 5 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 23:57, 5 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 23:57, 5 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 23:56, 5 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l3-selezn.pdf»
- 23:55, 5 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 23:51, 5 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l1-selezn.pdf»
- 19:46, 5 февраля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-s-d.pdf»
- 19:45, 5 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-s.pdf»
- 17:39, 3 февраля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l2-selezn.pdf»
- 17:39, 3 февраля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l1-selezn.pdf»
- 16:00, 17 января 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319 Консультации и экзамен.pdf»
- 20:40, 15 января 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-21-2 311-319 Консультации и экзамен.pdf»
- 20:40, 15 января 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-21-2 311-319 Правила проведение экзамена.pdf»
- 15:35, 18 декабря 2021 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp content 2021.pdf»
- 16:19, 15 декабря 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211217.pdf»
- 12:40, 14 декабря 2021 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы Сложность алгоритмов 2021.doc»
- 15:02, 10 декабря 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 211210.pdf»
- 15:01, 10 декабря 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 211210.pdf»
- 13:37, 10 декабря 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211210.pdf»
- 23:09, 8 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l7-selezn.pdf»
- 14:39, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l9-selezn.pdf»
- 14:37, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l8-selezn.pdf»
- 14:33, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l6-selezn.pdf»
- 14:30, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l5-selezn.pdf»
- 14:28, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l4-selezn.pdf»
- 14:26, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l3-selezn.pdf»
- 23:02, 6 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-12-17.pdf»
- 12:26, 6 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-12-17.pdf»
- 12:22, 6 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-12-17.pdf»
- 12:21, 6 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-12-10.pdf»
- 22:05, 1 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l11-selezn.pdf»
- 22:04, 1 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l10-selezn.pdf»
- 21:11, 1 декабря 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 17:27, 30 ноября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Dgdmcyb part3 seminar.pdf»
- 14:11, 30 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-12-17.pdf»
- 14:11, 30 ноября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-12-10.pdf»
- 14:01, 30 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-12-10.pdf»
- 14:01, 30 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-12-03.pdf»
- 21:15, 25 ноября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211126.pdf»
- 15:43, 24 ноября 2021 AlekseevVB (обсуждение | вклад) загрузил «Файл:ВКА 2021.docx»
- 14:26, 19 ноября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211119.pdf»
- 13:24, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-26-eng.pdf»
- 13:24, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-19-eng.pdf»
- 13:23, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-12-eng.pdf»
- 13:15, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-26.pdf»
- 13:15, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-19.pdf»
- 13:15, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-12.pdf»
- 00:08, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf» (Обновил год)
- 00:08, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (Обновил год)
- 00:06, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 03.pdf» (Обновил год)
- 00:06, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 02.pdf» (Обновил год)
- 12:33, 26 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-10-29.pdf»
- 12:32, 25 октября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 11:05, 25 октября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 17:42, 22 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l6-selezn.pdf»
- 17:42, 22 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l5-selezn.pdf»
- 21:57, 20 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l7-selezn.pdf»
- 21:56, 20 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l9-selezn.pdf»
- 21:56, 20 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l8-selezn.pdf»
- 21:55, 20 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l7-selezn.pdf»
- 21:40, 20 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l5-selezn.pdf»
- 00:38, 20 октября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211022.pdf»
- 00:01, 19 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-29-eng.pdf»
- 23:59, 18 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-22-eng.pdf»
- 19:38, 14 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-10-29.pdf»
- 19:35, 14 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-29.pdf»
- 18:53, 14 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-22.pdf»
- 23:13, 13 октября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 211015.pdf»
- 23:07, 13 октября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 211015.pdf»
- 12:28, 13 октября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211015.pdf»
- 20:40, 12 октября 2021 SavitskiyIV (обсуждение | вклад) загрузил «Файл:ДГДМиК Лекции1-10 Презентация.pdf»
- 20:12, 8 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Добавлена информация о Рамиле и Владимировой)
- 13:26, 8 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Поправлена неточность в наборе ДСА 2021)
- 12:19, 5 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Для выставки 2021)
- 11:06, 5 октября 2021 Root (обсуждение | вклад) удалил страницу Выставка кафедр 2021 (по запросу автора: содержимое: «На этой странице собраны ссылки на материалы, которые обычно демонстри…» (единственным автором был [[Special:…)
- 18:36, 4 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-08-eng.pdf»
- 18:28, 4 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-08.pdf»
- 11:32, 4 октября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 12:05, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l9-selezn.pdf»
- 12:02, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l8-selezn.pdf»
- 12:01, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l7-selezn.pdf»
- 11:59, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l6-selezn.pdf»
- 11:58, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l5-selezn.pdf»
- 11:58, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l4-selezn.pdf»
- 11:57, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l3-selezn.pdf»
- 11:57, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l2-selezn.pdf»
- 11:55, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-l2-selezn.pdf»
- 11:55, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l1-selezn.pdf»
- 22:04, 30 сентября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211001.pdf»
- 12:34, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 01.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (Обновлён год на титуле)
- 12:30, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (Обновлён год на титуле)
- 12:30, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (Обновлён год на титуле)
- 12:29, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (Обновлён год на титуле)
- 14:27, 16 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l2-selezn.pdf»
- 20:17, 10 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l2-selezn.pdf»
- 17:36, 9 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 21:25, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 21:17, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l6-selezn.pdf»
- 21:17, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l5-selezn.pdf»
- 21:16, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 21:16, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l3-selezn.pdf»
- 21:15, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l2-selezn.pdf»
- 21:15, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 13:42, 5 сентября 2021 SavitskiyIV (обсуждение | вклад) загрузил «Файл:ДГДМиК Задачи к семинарам 01-05.pdf»
- 14:27, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l6-selezn.pdf»
- 14:24, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l5-selezn.pdf»
- 14:22, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 14:15, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l3-selezn.pdf»
- 14:08, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 13:58, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 13:57, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 13:50, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 20:28, 2 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l1-selezn.pdf»
- 20:25, 2 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l1-selezn.pdf»
- 22:07, 1 сентября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 21:25, 1 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2021-2022.pdf»
- 21:24, 1 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2021-2022.pdf»
- 21:22, 1 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2021-2022.pdf»
- 21:10, 1 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 13:09, 1 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 21:40, 31 августа 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 12:59, 31 августа 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-21-2 311-319.pdf»
- 12:42, 31 августа 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Расписание проверочных работ ДГДМК 2021-2022.pdf»
- 12:33, 31 августа 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Программа ДГДМК семинары 2021-2022.pdf»
- 12:27, 31 августа 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2021-2022.pdf»
- 12:11, 31 августа 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Программа ДГДМК 2021-2022.pdf»
- 11:51, 26 августа 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvdmk-seminars-1-2-21.pdf»
- 11:48, 26 августа 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvdmk-s2-2.pdf»
- 13:15, 25 июня 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Etdus-lectures-2021-1-extra.pdf»
- 03:45, 21 июня 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Вопросы ЭТДУС-21-1 318.pdf»
- 11:39, 12 июня 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Msu-etsnkdus-21-1-questions.pdf»
- 11:34, 12 июня 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Msu-etsnkdus-21-1-questions.pdf»
- 11:32, 12 июня 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Msu-etsnkdus-21-1-lectures.pdf»
- 12:06, 9 июня 2021 ShupletsovMS (обсуждение | вклад) загрузил «Файл:MMMFSSBIS 2021.pdf»
- 14:04, 5 июня 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mk-2021-418.jpg»
- 14:02, 5 июня 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mk-2021-418.jpg»
- 13:55, 5 июня 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mk-2021-618.jpg»
- 13:53, 5 июня 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mk-2021-618.jpg»
- 10:56, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus14-selezn.pdf
- 10:56, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus13-selezn.pdf
- 10:56, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus12-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus11-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus10-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus9-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus8-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus7-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus6-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus5-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus4-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus3-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus2-selezn.pdf
- 10:55, 25 мая 2021 Root (обсуждение | вклад) удалил страницу Файл:Dmus1-selezn.pdf
- 18:27, 20 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (и ещё пара опечаток поправлена)
- 20:44, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Requirements-kurs-2021.zip»
- 02:58, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b47.pdf» (Математическая логика для 318, блок 47. Проверка моделей относительно логики деревьев вычислений (CTL model checking))
- 02:56, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b46.pdf» (Математическая логика для 318, блок 46. Императивные программы. Формальная верификация программ. Логика Хоара)
- 02:55, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b45.pdf» (Математическая логика для 318, блок 45. Что ещё интересного есть в логике. Формальная верификация)
- 14:48, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Поправил один из законов модальных логик)
- 14:43, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (поправил опечатки)
- 14:40, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (поправил опечатки)
- 14:35, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (поправил опечатки)
- 14:29, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (поправил опечатки)
- 14:22, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (поправил опечатки)
- 15:30, 12 мая 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Etdus-lectures-2021-1.pdf»
- 13:58, 11 мая 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus-exam-var.pdf»
- 13:18, 11 мая 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-05-28.pdf»
- 20:31, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b44.pdf» (Математическая логика для 318, блок 44. Темпоральные логики)
- 20:31, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b43.pdf» (Математическая логика для 318, блок 43. Эпистемические логики)
- 20:30, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b42.pdf» (Математическая логика для 318, блок 42. Модальные логики)
- 16:10, 27 апреля 2021 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 2021 04 27 онлайн.doc»
- 20:53, 25 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b41.pdf» (Математическая логика для 318, блок 41. Арифметика Пресбургера)
- 20:53, 25 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b40.pdf» (Математическая логика для 318, блок 40. Формальная арифметика и теорема Гёделя о неполноте)
- 21:39, 23 апреля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-05-21.pdf»
- 17:14, 22 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (пара новых пунктов, слегка поправленная стилистика)
- 12:24, 21 апреля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:К предзащите 618-1 2021.pdf»
- 10:51, 21 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:К предзащите 618-2 2021.pdf»
- 10:51, 21 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:К предзащите 418 2021.pdf»
- 20:20, 20 апреля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-05-14.pdf»
- 17:06, 20 апреля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l16-selezn.pdf»
- 17:06, 20 апреля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l15-selezn.pdf»
- 22:14, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b39.pdf» (Математическая логика для 318, блок 39. Определения и выразимость)
- 22:13, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b38.pdf» (Математическая логика для 318, блок 38. Арифметические интерпретации и теории)
- 22:12, 18 апреля 2021 Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 b38.pdf
- 22:12, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b38.pdf» (Математическая логика для 318, блок 35. Арифметические интерпретации и теории)
- 22:11, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b37.pdf» (Математическая логика для 318, блок 37. Основные свойства аксиоматических теорий)
- 22:11, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b36.pdf» (Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории)
- 22:00, 18 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (поправлена опечатка на слайде 3)
- 21:57, 18 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b33.pdf» (поправил небольшие недочёты на предпоследнем слайде)
- 16:36, 16 апреля 2021 DanilovB (обсуждение | вклад) загрузил «Файл:ZADACHI2021.pdf»
- 16:36, 16 апреля 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Zadachi title.png»
- 16:31, 16 апреля 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Dusp title.png»
- 14:55, 16 апреля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-04-30.pdf»
- 13:30, 16 апреля 2021 ShupletsovMS (обсуждение | вклад) загрузил «Файл:DCSA2021.pdf»
- 15:23, 15 апреля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-04-16.pdf»
- 14:43, 15 апреля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l18-selezn.pdf»
- 22:06, 14 апреля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-04-16.pdf»
- 19:24, 14 апреля 2021 Root (обсуждение | вклад) автоматически отпатрулировал версию 8203 страницы Научно-исследовательский семинар "Математические вопросы кибернетики"
- 19:21, 14 апреля 2021 Root (обсуждение | вклад) автоматически отпатрулировал версию 8202 страницы Математические вопросы кибернетики
- 16:28, 13 апреля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l17-selezn.pdf»
- 15:30, 12 апреля 2021 Root (обсуждение | вклад) автоматически отпатрулировал версию 8196 страницы Научно-исследовательский семинар "Математические вопросы кибернетики"
- 17:29, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b35.pdf» (Математическая логика для 318, блок 35. Теорема Чёрча)
- 17:29, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b34.pdf» (Математическая логика для 318, блок 32. Машины Тьюринга)
- 17:28, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b33.pdf» (Математическая логика для 318, блок 33. Проблемы алгоритмы разрешимость сводимость)
- 17:27, 11 апреля 2021 Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 b33.pdf
- 17:25, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b33.pdf» (Математическая логика для 318, блок 32. Проблемы алгоритмы разрешимость сводимость)
- 22:41, 8 апреля 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210409.pdf»
- 15:52, 7 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (и ещё капельку поправил (расположение правил вывода))
- 15:49, 7 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (поправил несколько слов (чисто стилистика))
- 15:49, 4 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (случайно залил версию не-handout, поправил)
- 15:05, 4 апреля 2021 Root (обсуждение | вклад) автоматически отпатрулировал версию 8184 страницы Участник:RomanovDS
- 15:05, 4 апреля 2021 Root (обсуждение | вклад) автоматически отпатрулировал версию 8183 страницы Участник:PodymovVV
- 15:04, 4 апреля 2021 Root (обсуждение | вклад) автоматически отпатрулировал версию 8182 страницы Участник:ShupletsovMS
- 14:31, 4 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (поправил недочёт в титуле)
- 14:28, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b32.pdf» (Математическая логика для 318, блок 32. Натуральное исчисление предикатов (полнота))
- 14:28, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b31.pdf» (Математическая логика для 318, блок 31. Гильбертовское исчисление предикатов. Теорема Гёделя о полноте (формулировка).)
- 14:26, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b30.pdf» (Математическая логика для 318, блок 30. Натуральное исчисление предикатов (основные определения, корректность))
- 14:25, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b29.pdf» (Математическая логика для 318, блок 29. Натуральное исчисление высказываний (полнота))
- 14:25, 4 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b28.pdf» (Математическая логика для 318, блок 28. Натуральное исчисление высказываний (корректность))
- 14:24, 4 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (не помню, менял ли что, на всякий случай обновил)
- 09:02, 3 апреля 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210402.pdf»
- 20:43, 30 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l14-selezn.pdf»
- 20:43, 30 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 15:47, 29 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТСНКДУС-21-1.pdf»
- 22:52, 28 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b27.pdf» (Математическая логика для 318, блок 27. Натуральное исчисление высказываний (основные определения))
- 22:51, 28 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b26.pdf» (Математическая логика для 318, блок 26. Устройство доказательств, логические исчисления)
- 22:50, 28 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b25.pdf» (Математическая логика для 318, блок 25. Метод резолюций - заключительный пример)
- 11:09, 24 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 11:09, 24 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l11-selezn.pdf»
- 04:02, 24 марта 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 210326.pdf»
- 04:00, 24 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210326.pdf»
- 19:36, 23 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l11-selezn.pdf»
- 19:35, 23 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l10-selezn.pdf»
- 19:40, 22 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Etdus-lectures-2021-1.pdf»
- 21:52, 21 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b24.pdf» (Математическая логика для 318, блок 24. Полнота резолютивного вывода и теорема Эрбрана)
- 21:49, 21 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b23.pdf» (Математическая логика для 318, блок 23. Эрбрановские интерпретации)
- 21:47, 21 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b21.pdf» (поправил не очень хорошо подобранные слова)
- 21:45, 21 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b20.pdf» (поправил незначительные опечатки)
- 16:44, 18 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l7-selezn.pdf»
- 16:43, 18 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l6-selezn.pdf»
- 16:41, 18 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l5-selezn.pdf»
- 16:40, 18 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l4-selezn.pdf»
- 14:58, 18 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.pdf» (поправил опечатку на последнем слайде (неверный резолютивный вывод))
- 23:24, 17 марта 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 210319.pdf»
- 23:04, 17 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210319.pdf»
- 21:16, 14 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b22.pdf» (Математическая логика для 318, блок 19. Пример обоснования общезначимости формулы методом резолюций)
- 21:15, 14 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b21.pdf» (Математическая логика для 318, блок 21. Резолютивный вывод и его корректность)
- 21:13, 14 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b20.pdf» (Математическая логика для 318, блок 19. Алгоритм унификации атомарных формул)
- 21:12, 14 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b19.pdf» (косметические правки)
- 21:12, 14 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b18.pdf» (косметические правки + чуть расширено изложение)
- 21:12, 14 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b17.pdf» (косметические правки)
- 21:11, 14 марта 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (косметические правки)
- 14:17, 12 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l8-selezn.pdf»
- 14:17, 12 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l7-selezn.pdf»
- 12:41, 12 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210312.pdf»
- 22:50, 11 марта 2021 RomanovDS (обсуждение | вклад) загрузил «Файл:Popkov KA 2019 Poln diag obr ili zamyk.pdf»
- 19:21, 9 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus5-selezn.pdf»
- 21:10, 4 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l3-selezn.pdf»
- 21:08, 4 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l2-selezn.pdf»
- 21:08, 4 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l1-selezn.pdf»
- 18:14, 4 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210305.pdf»
- 12:49, 4 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l7-selezn.pdf»
- 12:48, 4 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 22:02, 1 марта 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТДУС-21-1 318.pdf»
- 13:46, 1 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l9-selezn.pdf»
- 13:45, 1 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l8-selezn.pdf»
- 13:45, 1 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l7-selezn.pdf»
- 23:21, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b19.pdf» (Математическая логика для 318, блок 19. Композиция подстановок и постановка задачи унификации)
- 23:20, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b18.pdf» (Математическая логика для 318, блок 18. Системы дизъюнктов)
- 23:19, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b17.pdf» (Математическая логика для 318, блок 17. ССФ)
- 23:19, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b16.pdf» (Математическая логика для 318, блок 16. ПНФ)
- 23:18, 28 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (прошлая версия была не handout. поправил)
- 23:18, 28 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (прошлая версия была не handout. поправил)
- 23:16, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b15.pdf» (Математическая логика для 318, блок 15. равносильность формул)
- 23:15, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b14.pdf» (Математическая логика для 318, блок 14. общая схема метода резолюций)
- 13:07, 26 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 21:40, 25 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 21:39, 25 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 18:42, 25 февраля 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210226.pdf»
- 15:25, 22 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 15:12, 22 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 12:36, 20 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (исправил ошибку в примерах таблиц)
- 18:54, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b13.pdf» (Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации п…)
- 18:53, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b12.pdf» (Математическая логика для 318, блок 12. метод семантических таблиц в логике предикатов: полнота)
- 18:53, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b11.pdf» (Математическая логика для 318, блок 11. метод семантических таблиц в логике предикатов: корректность)
- 18:52, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b10.pdf» (Математическая логика для 318, блок 10. метод семантических таблиц в логике предикатов: табличный вывод)
- 18:52, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b9.pdf» (Математическая логика для 318, блок 9. Подстановки (основные определения))
- 18:51, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b8.pdf» (Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы)
- 18:50, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (не помню, менял ли тут чего, так что на всякий случай обновил)
- 18:50, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (причесал перед окончательным рассказом)
- 17:56, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» ("счётно-бесконечный" -> "счётный")
- 17:54, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» ("счётно-бесконечный" -> "счётный")
- 15:55, 18 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l1-selezn.pdf»
- 14:30, 15 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s2-selezn.pdf»
- 14:27, 15 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s2-selezn.pdf»
- 14:26, 15 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s1-selezn.pdf»
- 14:25, 15 февраля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s2-selezn.pdf»
- 00:49, 15 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b7.pdf» (Математическая логика для 318, блок 7: метод семантических таблиц в логике высказываний)
- 00:48, 15 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b6.pdf» (Математическая логика для 318, блок 6: невозможно проверить общезначимость формул логики предикатов в лоб)
- 00:47, 15 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b5.pdf» (Математическая логика для 318, блок 5: логика предикатов - выполнимость, общезначимость, логическое следствие)
- 20:43, 11 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 18:58, 9 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l1-selezn.pdf»
- 18:57, 9 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 21:27, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 18:29, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s1-selezn.pdf»
- 18:26, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l1-selezn.pdf»
- 18:23, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 18:23, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 18:23, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 18:22, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l3-selezn.pdf»
- 18:22, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 18:21, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l1-selezn.pdf»
- 18:21, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l1-selezn.pdf» (Возврат к версии от 17:44, 7 февраля 2019)
- 18:20, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l1-selezn.pdf»
- 01:04, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b4.pdf» (Математическая логика для 318, блок 4: формализация утверждения на языке логики предикатов)
- 01:04, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b3.pdf» (Математическая логика для 318, блок 3: базовые определения (синтаксис и семантика) для логики предикатов)
- 01:03, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b2.pdf» (Математическая логика для 318, блок 2: базовые определения для логики высказываний)
- 01:03, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b1.pdf» (Математическая логика для 318, блок 1: вводный)
- 23:05, 5 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus1-selezn.pdf»
- 18:26, 3 февраля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-s.pdf»
- 18:37, 29 января 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Up-dsa-mk.pdf»
- 18:17, 3 января 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mk-2019-418.jpg»
- 18:10, 3 января 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mk-2019-618.jpg»
- 18:05, 3 января 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mk-2019-418.jpg»
- 19:05, 20 декабря 2020 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Pbscpp content2020.pdf»
- 19:04, 20 декабря 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp content2020.pdf»
- 17:31, 19 декабря 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 13 2020.pdf»
- 19:42, 18 декабря 2020 Root (обсуждение | вклад) автоматически отпатрулировал версию 7903 страницы Шаблон:Important Announcements
- 19:21, 18 декабря 2020 Root (обсуждение | вклад) автоматически отпатрулировал версию 7902 страницы Шаблон:Important Announcements
- 11:01, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 05.pdf» (2020. суть та же, форма немного другая)
- 11:01, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 04.pdf» (2020. суть та же, форма немного другая)
- 11:00, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 03.pdf» (2020. суть та же, форма немного другая)
- 11:00, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 02.pdf» (поправлена одна незначительная опечатка)
- 20:46, 16 декабря 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Dgdmcyb-part3-inf.pdf»
- 14:14, 16 декабря 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l12-selezn.pdf»
- 12:00, 12 декабря 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 12 2020.pdf»
- 13:36, 11 декабря 2020 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis 2020 exam questions.pdf»
- 13:35, 11 декабря 2020 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis 2020 exam rules.pdf»
- 20:00, 10 декабря 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l11-selezn.pdf»
- 22:43, 9 декабря 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 201211.pdf»
- 18:51, 9 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 02.pdf»
- 18:50, 9 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 01.pdf»
- 15:29, 9 декабря 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ДГДМиК Слайды лекций 2020-2.pdf»
- 20:58, 6 декабря 2020 DanilovB (обсуждение | вклад) загрузил «Файл:ДГДМиК Слайды лекций 2020-2.pdf»
- 16:30, 2 декабря 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 201204.pdf»
- 22:11, 1 декабря 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10 eng.pdf» (курс методов верификации, 2020. английский перевод семинара по UPPAAL)
- 14:45, 1 декабря 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 10 eng.pdf» (курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов)