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