Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 21:44, 10 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (Весна 2022. Теперь здесь базовые определения про аксиоматические теории)
- 12:01, 7 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Требования к МД 618.pdf» (Требования к тексту магистерской диссертации в 2022 году)
- 12:00, 7 апреля 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Требования к ВКР 418.pdf» (Требования к тексту ВКР в 2022 году)
- 13:25, 4 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.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-сводимость)
- 16:48, 21 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (Исправлена пара незначительных опечаток)
- 16:48, 21 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (Исправлена незначительная опечатка)
- 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. Теперь тут основные определения по НИВ)
- 10:22, 14 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (Весна 2022. Теперь здесь начало про логические исчисления.)
- 10:21, 14 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b26.pdf» (Весна 2022. Теперь здесь заключительный пример на методы сем таб и резол.)
- 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. Теперь это про алгоритм унификации)
- 11:37, 2 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.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. Теперь это про ССФ.)
- 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» (Технические правки, без существенных содержательных изменений.)