Журнал загрузок
Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)- 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» (Технические правки, без существенных содержательных изменений.)
- 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»
- 11:05, 25 октября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 17:42, 22 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l6-selezn.pdf»
- 17:42, 22 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l5-selezn.pdf»
- 21:57, 20 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l7-selezn.pdf»
- 21:56, 20 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l9-selezn.pdf»
- 21:56, 20 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l8-selezn.pdf»
- 21:55, 20 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l7-selezn.pdf»
- 21:40, 20 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l5-selezn.pdf»
- 00:38, 20 октября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211022.pdf»
- 00:01, 19 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-29-eng.pdf»
- 23:59, 18 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-22-eng.pdf»
- 19:38, 14 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-10-29.pdf»
- 19:35, 14 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-29.pdf»
- 18:53, 14 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-22.pdf»
- 23:13, 13 октября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 211015.pdf»
- 23:07, 13 октября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 211015.pdf»
- 12:28, 13 октября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211015.pdf»
- 20:40, 12 октября 2021 SavitskiyIV (обсуждение | вклад) загрузил «Файл:ДГДМиК Лекции1-10 Презентация.pdf»
- 20:12, 8 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Добавлена информация о Рамиле и Владимировой)
- 13:26, 8 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Поправлена неточность в наборе ДСА 2021)
- 12:19, 5 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Для выставки 2021)
- 18:36, 4 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-08-eng.pdf»
- 18:28, 4 октября 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-10-08.pdf»
- 11:32, 4 октября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 12:05, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l9-selezn.pdf»
- 12:02, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l8-selezn.pdf»
- 12:01, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l7-selezn.pdf»
- 11:59, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l6-selezn.pdf»
- 11:58, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l5-selezn.pdf»
- 11:58, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l4-selezn.pdf»
- 11:57, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l3-selezn.pdf»
- 11:57, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l2-selezn.pdf»
- 11:55, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-l2-selezn.pdf»
- 11:55, 2 октября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l1-selezn.pdf»
- 22:04, 30 сентября 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 211001.pdf»
- 12:34, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 01.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (Обновлён год на титуле)
- 12:30, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (Обновлён год на титуле)
- 12:30, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (Обновлён год на титуле)
- 12:29, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (Обновлён год на титуле)
- 14:27, 16 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l2-selezn.pdf»
- 20:17, 10 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l2-selezn.pdf»
- 17:36, 9 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 21:25, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 21:17, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l6-selezn.pdf»
- 21:17, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l5-selezn.pdf»
- 21:16, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 21:16, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l3-selezn.pdf»
- 21:15, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l2-selezn.pdf»
- 21:15, 7 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 13:42, 5 сентября 2021 SavitskiyIV (обсуждение | вклад) загрузил «Файл:ДГДМиК Задачи к семинарам 01-05.pdf»
- 14:27, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l6-selezn.pdf»
- 14:24, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l5-selezn.pdf»
- 14:22, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 14:15, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l3-selezn.pdf»
- 14:08, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 13:58, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 13:57, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 13:50, 4 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 20:28, 2 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l1-selezn.pdf»
- 20:25, 2 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l1-selezn.pdf»
- 22:07, 1 сентября 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 21:25, 1 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2021-2022.pdf»
- 21:24, 1 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2021-2022.pdf»
- 21:22, 1 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2021-2022.pdf»
- 21:10, 1 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 13:09, 1 сентября 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 21:40, 31 августа 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-21-2 311-319.pdf»
- 12:59, 31 августа 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-21-2 311-319.pdf»
- 12:42, 31 августа 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Расписание проверочных работ ДГДМК 2021-2022.pdf»
- 12:33, 31 августа 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Программа ДГДМК семинары 2021-2022.pdf»
- 12:27, 31 августа 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2021-2022.pdf»
- 12:11, 31 августа 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Программа ДГДМК 2021-2022.pdf»
- 11:51, 26 августа 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvdmk-seminars-1-2-21.pdf»
- 11:48, 26 августа 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvdmk-s2-2.pdf»
- 13:15, 25 июня 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Etdus-lectures-2021-1-extra.pdf»
- 03:45, 21 июня 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Вопросы ЭТДУС-21-1 318.pdf»
- 11:39, 12 июня 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Msu-etsnkdus-21-1-questions.pdf»
- 11:34, 12 июня 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Msu-etsnkdus-21-1-questions.pdf»
- 11:32, 12 июня 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Msu-etsnkdus-21-1-lectures.pdf»
- 12:06, 9 июня 2021 ShupletsovMS (обсуждение | вклад) загрузил «Файл:MMMFSSBIS 2021.pdf»
- 14:04, 5 июня 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mk-2021-418.jpg»
- 14:02, 5 июня 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mk-2021-418.jpg»
- 13:55, 5 июня 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mk-2021-618.jpg»
- 13:53, 5 июня 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mk-2021-618.jpg»
- 18:27, 20 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (и ещё пара опечаток поправлена)
- 20:44, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Requirements-kurs-2021.zip»
- 02:58, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b47.pdf» (Математическая логика для 318, блок 47. Проверка моделей относительно логики деревьев вычислений (CTL model checking))
- 02:56, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b46.pdf» (Математическая логика для 318, блок 46. Императивные программы. Формальная верификация программ. Логика Хоара)
- 02:55, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b45.pdf» (Математическая логика для 318, блок 45. Что ещё интересного есть в логике. Формальная верификация)
- 14:48, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Поправил один из законов модальных логик)
- 14:43, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (поправил опечатки)
- 14:40, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (поправил опечатки)
- 14:35, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (поправил опечатки)
- 14:29, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (поправил опечатки)
- 14:22, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (поправил опечатки)
- 15:30, 12 мая 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Etdus-lectures-2021-1.pdf»
- 13:58, 11 мая 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus-exam-var.pdf»
- 13:18, 11 мая 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-05-28.pdf»
- 20:31, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b44.pdf» (Математическая логика для 318, блок 44. Темпоральные логики)
- 20:31, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b43.pdf» (Математическая логика для 318, блок 43. Эпистемические логики)
- 20:30, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b42.pdf» (Математическая логика для 318, блок 42. Модальные логики)
- 16:10, 27 апреля 2021 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 2021 04 27 онлайн.doc»
- 20:53, 25 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b41.pdf» (Математическая логика для 318, блок 41. Арифметика Пресбургера)
- 20:53, 25 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b40.pdf» (Математическая логика для 318, блок 40. Формальная арифметика и теорема Гёделя о неполноте)
- 21:39, 23 апреля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-05-21.pdf»
- 17:14, 22 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (пара новых пунктов, слегка поправленная стилистика)
- 12:24, 21 апреля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:К предзащите 618-1 2021.pdf»
- 10:51, 21 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:К предзащите 618-2 2021.pdf»
- 10:51, 21 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:К предзащите 418 2021.pdf»
- 20:20, 20 апреля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-05-14.pdf»
- 17:06, 20 апреля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l16-selezn.pdf»
- 17:06, 20 апреля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l15-selezn.pdf»
- 22:14, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b39.pdf» (Математическая логика для 318, блок 39. Определения и выразимость)
- 22:13, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b38.pdf» (Математическая логика для 318, блок 38. Арифметические интерпретации и теории)
- 22:12, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b38.pdf» (Математическая логика для 318, блок 35. Арифметические интерпретации и теории)
- 22:11, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b37.pdf» (Математическая логика для 318, блок 37. Основные свойства аксиоматических теорий)
- 22:11, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b36.pdf» (Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории)
- 22:00, 18 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (поправлена опечатка на слайде 3)
- 21:57, 18 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b33.pdf» (поправил небольшие недочёты на предпоследнем слайде)
- 16:36, 16 апреля 2021 DanilovB (обсуждение | вклад) загрузил «Файл:ZADACHI2021.pdf»
- 16:36, 16 апреля 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Zadachi title.png»
- 16:31, 16 апреля 2021 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Dusp title.png»
- 14:55, 16 апреля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-04-30.pdf»
- 13:30, 16 апреля 2021 ShupletsovMS (обсуждение | вклад) загрузил «Файл:DCSA2021.pdf»
- 15:23, 15 апреля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mvk-21-04-16.pdf»
- 14:43, 15 апреля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l18-selezn.pdf»
- 22:06, 14 апреля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-21-04-16.pdf»
- 16:28, 13 апреля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l17-selezn.pdf»
- 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: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, поправил)
- 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. Гильбертовское исчисление предикатов. Теорема Гёделя о полноте (формулировка).)