Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (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»