Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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» (поправил недочёты на последнем слайде (про исчисление дизъюнктов))
