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