Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)- 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»
- 19:45, 5 февраля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-s.pdf»
- 17:39, 3 февраля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l2-selezn.pdf»
- 17:39, 3 февраля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-l1-selezn.pdf»
- 16:00, 17 января 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319 Консультации и экзамен.pdf»
- 20:40, 15 января 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-21-2 311-319 Консультации и экзамен.pdf»
- 20:40, 15 января 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-21-2 311-319 Правила проведение экзамена.pdf»
- 15:35, 18 декабря 2021 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp content 2021.pdf»
- 16:19, 15 декабря 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211217.pdf»
- 12:40, 14 декабря 2021 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы Сложность алгоритмов 2021.doc»
- 15:02, 10 декабря 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 211210.pdf»
- 15:01, 10 декабря 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 211210.pdf»
- 13:37, 10 декабря 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211210.pdf»
- 23:09, 8 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l7-selezn.pdf»
- 14:39, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l9-selezn.pdf»
- 14:37, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l8-selezn.pdf»
- 14:33, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l6-selezn.pdf»
- 14:30, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l5-selezn.pdf»
- 14:28, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l4-selezn.pdf»
- 14:26, 7 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l3-selezn.pdf»
- 23:02, 6 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-12-17.pdf»
- 12:26, 6 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-12-17.pdf»
- 12:22, 6 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-12-17.pdf»
- 12:21, 6 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-12-10.pdf»
- 22:05, 1 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l11-selezn.pdf»
- 22:04, 1 декабря 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l10-selezn.pdf»
- 21:11, 1 декабря 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 17:27, 30 ноября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Dgdmcyb part3 seminar.pdf»
- 14:11, 30 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-12-17.pdf»
- 14:11, 30 ноября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-12-10.pdf»
- 14:01, 30 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-12-10.pdf»
- 14:01, 30 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-12-03.pdf»
- 21:15, 25 ноября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211126.pdf»
- 15:43, 24 ноября 2021 AlekseevVB (обсуждение | вклад) загрузил «Файл:ВКА 2021.docx»
- 14:26, 19 ноября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211119.pdf»
- 13:24, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-26-eng.pdf»
- 13:24, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-19-eng.pdf»
- 13:23, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-12-eng.pdf»
- 13:15, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-26.pdf»
- 13:15, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-19.pdf»
- 13:15, 9 ноября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-11-12.pdf»
- 00:08, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf» (Обновил год)
- 00:08, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (Обновил год)
- 00:07, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (Обновил год)
- 00:06, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 03.pdf» (Обновил год)
- 00:06, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 02.pdf» (Обновил год)
- 12:33, 26 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-10-29.pdf»
- 12:32, 25 октября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»