Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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»
- 15:35, 11 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 12apr.pdf»
- 13:58, 11 апреля 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:DSA2018.pdf»
- 13:56, 11 апреля 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:DSA2019.pdf»
- 16:42, 10 апреля 2019 ZakharovVA (обсуждение | вклад) загрузил «Файл:Exam-418-2019.pdf»
- 19:58, 8 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (поправлены опечатки)
- 20:49, 7 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (2018/2019 учебный год. аксиоматические теории: выразимость, арифметика пресбургера)
- 20:48, 7 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (программа 2018/2019 учебного года, первая лекция по аксиоматическим теориям)
- 18:26, 4 апреля 2019 RomanovDS (обсуждение | вклад) загрузил «Файл:Спецсеминар 2019 04 05 Аннотация.doc»
- 17:00, 31 марта 2019 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Md618.pdf»
- 17:00, 31 марта 2019 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Vkr418.pdf»
- 18:41, 22 марта 2019 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 19 .doc»
- 18:37, 22 марта 2019 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 19.doc»
- 13:48, 21 марта 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 190322.pdf»
- 23:59, 14 марта 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 190315.pdf»
- 23:31, 14 марта 2019 RomanovDS (обсуждение | вклад) загрузил «Файл:Ipmp2556.pdf»
- 20:19, 10 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (обновленная версия, программа 2018/2019 у.г.)
- 20:19, 10 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (обновленная версия, программа 2018/2019 у.г.)
- 19:06, 3 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf» (обновлённая версия: весенний семестр 2018/2019 учебного года)
- 13:13, 2 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf» (предыдущая версия - обновлённая версия: весенний семестр 2018/2019 учебного года в этой версии исправлено несколько опечаток)
- 02:13, 28 февраля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 190301.pdf»
