Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 20:39, 10 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P3.pdf»
- 20:39, 10 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T3.pdf»
- 04:06, 9 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-A.pdf»
- 04:05, 9 июня 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-1-S-PA.pdf»
- 04:05, 9 июня 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-1-S-P3.pdf»
- 04:04, 9 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P2.pdf»
- 04:03, 9 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P1.pdf»
- 04:02, 9 июня 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-19-1-T3.pdf»
- 16:44, 31 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (поправлена нехорошая опечатка на слайде 14 (22))
- 23:31, 30 мая 2019 ShupletsovMS (обсуждение | вклад) загрузил «Файл:MMMSBIS 2019.pdf»
- 22:01, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-A.pdf»
- 22:01, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T2.pdf»
- 22:00, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P2.pdf»
- 21:58, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T2.pdf»
- 01:59, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-A.pdf»
- 01:59, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P2.pdf»
- 01:58, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P1.pdf»
- 01:58, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T2.pdf»
- 01:58, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T1.pdf»
- 03:45, 14 мая 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-19-1-T2.pdf»
- 03:45, 14 мая 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-1-S-P2.pdf»
- 03:44, 14 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-A.pdf»
- 18:03, 13 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (поправлены опечатки)
- 18:03, 13 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (поправлены опечатки)
- 16:31, 12 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (суперобновлённый вариант. 2018/2019 учебный год. табличный алгоритм model checking для ltl)
- 16:30, 12 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (суперобновлённый вариант. 2018/2019 учебный год. ltl для формальной верификации)
- 02:11, 12 мая 2019 RomanovDS (обсуждение | вклад) загрузил «Файл:CurriculumETSNK.pdf»
- 02:09, 12 мая 2019 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 19 .doc»
- 12:24, 10 мая 2019 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Kursovaja 2019.zip»
- 13:44, 6 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (поправлены опечатки)
- 20:22, 5 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (суперобновлённый вариант. программа 2018/2019 учебного года. логика Хоара)
- 14:32, 28 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (матлогика 318, программа 2018/2019 года. модальные логики)
- 16:04, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (суперобновлённая версия (программа 2018/2019 учебного года))
- 11:35, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (опечатка была плохо поправлена, а теперь хорошо)
- 11:32, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлена нехорошая опечатка в правилах натурального вывода)
- 14:03, 23 апреля 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l-selezn.pdf»
- 12:20, 23 апреля 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-ex1.pdf»
- 16:15, 22 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлены опечатки)
- 14:34, 22 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (поправлены опечатки)
- 20:17, 21 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (программа 2018/2019 учебного года: конец рассказа про исчисления)
- 20:17, 21 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (программа 2018/2019 учебного года: начало рассказа про исчисления)
- 21:55, 18 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-1-A.pdf»
- 21:55, 18 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-1-S-P1.pdf»
- 21:53, 18 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-19-1-T1.pdf»
- 10:49, 16 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (немного поменял последние пункты упражнения 2)
- 00:04, 12 апреля 2019 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 19 .doc»
- 16:11, 11 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf»
- 15:39, 11 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 190412.pdf»
- 15:38, 11 апреля 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specsem 120412.pdf»
- 15:37, 11 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 120412.pdf»
