Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)- 23:05, 14 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 23:03, 14 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l2-selezn.pdf»
- 18:37, 12 июня 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:OK cons link.doc»
- 11:46, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var6.pdf»
- 11:46, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var5.pdf»
- 11:46, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var4.pdf»
- 11:45, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var3.pdf»
- 11:45, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var2.pdf»
- 11:45, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var1.pdf»
- 00:36, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var1.pdf»
- 18:52, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Example-dm1-exam.pdf»
- 18:38, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var6.pdf»
- 18:34, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var6.pdf»
- 18:34, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var5.pdf»
- 18:34, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var4.pdf»
- 18:34, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var3.pdf»
- 18:33, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var2.pdf»
- 18:33, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var1.pdf»
- 18:12, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Sm.pdf»
- 18:08, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Sm.pdf»
- 17:48, 9 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-exam-task.pdf»
- 17:46, 9 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-exam.pdf»
- 13:26, 8 июня 2020 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 2020 06 08 онлайн.doc»
- 13:25, 8 июня 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 2020 06 08 онлайн.doc»
- 19:51, 7 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-exam.pdf»
- 19:02, 24 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (Весна 2020. Минимальные изменения - пара правок в терминологии.)
- 13:38, 23 мая 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Konovodov ok sem 08.pdf»
- 23:03, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos4-selezn.pdf»
- 22:58, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos7-selezn.pdf»
- 22:57, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos6-selezn.pdf»
- 22:57, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos5-selezn.pdf»
- 22:56, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos4-selezn.pdf»
- 22:56, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos3-selezn.pdf»
- 22:56, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos2-selezn.pdf»
- 22:55, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos1-selezn.pdf»
- 11:42, 17 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (весна 2020. ltl для формальной верификации)
- 11:41, 17 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (весна 2020. логика хоара)
- 10:41, 16 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (слегка подправил вводный слайд)
- 00:10, 16 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:РП Вероятностные методы в комбинаторике 2020.pdf»
- 00:46, 15 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 13 Вероятностные методы в комбинаторике.pdf»
- 00:45, 15 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 12 Вероятностные методы в комбинаторике.pdf»
- 21:33, 14 мая 2020 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:OK seminar 8 .pdf»
- 21:31, 14 мая 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:OK seminar 8 .pdf»
- 19:27, 14 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (весна 2020. Темы те же, но чуть поправил форму изложения и подрезал.)
- 16:52, 14 мая 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s12-selezn.pdf»
- 16:51, 14 мая 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l16-selezn.pdf»
- 13:24, 9 мая 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Konovodov ok sem 07.pdf»
- 17:24, 5 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 11 Вероятностные методы в комбинаторике.pdf»
- 17:16, 5 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 10 Вероятностные методы в комбинаторике.pdf»
- 16:57, 5 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 9 Вероятностные методы в комбинаторике.pdf»
- 12:51, 5 мая 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:OK seminar 7 .pdf»
- 18:42, 4 мая 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l16-selezn.pdf»
- 18:02, 3 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (Весна 2020 (улучшена матчасть, вырезаны аксиоматические теории))
- 11:27, 3 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12 13.pdf» (поправлены опечатки)
- 13:34, 2 мая 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Konovodov ok sem 06.pdf»
- 13:21, 30 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l15-selezn.pdf»
- 17:36, 28 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s11-selezn.pdf»
- 17:34, 28 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s12-selezn.pdf»
- 17:32, 28 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s11-selezn.pdf»
- 17:28, 28 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l16-selezn.pdf»
- 17:27, 28 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l15-selezn.pdf»
- 11:30, 28 апреля 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture-DA-12.pdf»
- 01:06, 28 апреля 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 2020 04 28 онлайн.doc»
- 04:16, 27 апреля 2020 DanilovB (обсуждение | вклад) загрузил «Файл:ЭТСНДУС 2020.pdf»
- 02:47, 27 апреля 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:OK seminar 7.pdf»
- 01:58, 27 апреля 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 12 13.pdf» (2020, весна. Всё про исчисления, кроме общих слов (они в лекции 11).)
- 20:13, 23 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 20:11, 23 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l17-selezn.pdf»
- 20:10, 23 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l18-selezn.pdf»
- 19:59, 23 апреля 2020 DanilovB (обсуждение | вклад) загрузил «Файл:OK seminar 6 full.pdf»
- 14:42, 21 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l14-selezn.pdf»
- 14:39, 21 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s10-selezn.pdf»
- 14:35, 21 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l17-selezn.pdf»
- 11:39, 21 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (поправил недочёты на последнем слайде (про исчисление дизъюнктов))
- 17:33, 19 апреля 2020 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Md618 2020.pdf»
- 17:33, 19 апреля 2020 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Vkr418 2020.pdf»
- 12:10, 19 апреля 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture-DA-11.pdf»
- 13:43, 18 апреля 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Konovodov ok sem 05.pdf»
- 22:03, 17 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 15:24, 17 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (весна 2020. теорема чёрча, машины тьюринга, вводные слова про логические исчисления)
- 17:47, 16 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l14-selezn.pdf»
- 16:29, 15 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l10-selezn.pdf»
- 16:20, 15 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s9-selezn.pdf»
- 16:20, 15 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l10-selezn.pdf»
- 12:45, 15 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 08:43, 15 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 02:02, 15 апреля 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТСНКДУС-20-1 318.pdf»
- 01:48, 15 апреля 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТДУС-20-1 318.pdf»
- 23:46, 14 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s9-selezn.pdf»
- 23:37, 14 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s9-selezn.pdf»
- 14:00, 14 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l13-selezn.pdf»
- 16:04, 13 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (урезано согласно фактически прочитанному: машины Тьюринга будут в лекции 11)
- 13:41, 13 апреля 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture-DA-10.pdf»
- 18:08, 11 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (весна 2020. полнота метода резолюций, и прелюдия к теореме чёрча)
- 12:23, 11 апреля 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Konovodov ok sem 04.pdf»
- 14:46, 10 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l11-selezn.pdf»
- 14:23, 10 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 14:22, 10 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 00:21, 10 апреля 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 8 Вероятностные методы в комбинаторике.pdf» ("Вероятностные методы в комбинаторике", лекция №8)
- 15:18, 9 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»