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