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