Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 03:50, 7 мая 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 14 15.pdf» (мат.логика и логическое программирование, группа 318. последние лекции: модальные логики и model checking для ltl)
- 21:15, 3 мая 2018 DanilovB (обсуждение | вклад) загружена новая версия «Файл:EDCST-418-Q-18-1.pdf»
- 14:08, 27 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 seminar natural inference.pdf» (мат.логика и лог.прог. для группы 318. Семинар 6: натуральное исчисление)
- 22:32, 26 апреля 2018 DanilovB (обсуждение | вклад) загрузил «Файл:EDCST-418-Q-18-1.pdf»
- 15:21, 26 апреля 2018 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 11.pdf»
- 20:11, 25 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлена некорректность в натуральном выводе)
- 16:37, 25 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлена некорректность в натуральном выводе)
- 16:10, 24 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 14:22, 24 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (мат.логика и лог.программирование для группы 318 и мат.логика и теория алгоритмов для группы 241. весенний семестр 2018. лекция 13: исчисления пр…)
- 10:34, 23 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 13new.pdf»
- 10:33, 23 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 10:31, 23 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 10:30, 23 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 15:18, 20 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp 318 seminar definability.pdf» (мат.логика и логическое программирование для группы 318. Семинар по определимости в интерпретациях.)
- 07:57, 16 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 11 12.pdf» (математическая логика и логическое программирование, лекция 11-12 по обновлённой программе (2018))
- 00:37, 14 апреля 2018 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Md618-2018.pdf»
- 00:37, 14 апреля 2018 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Vkr418-2018.pdf»
- 19:37, 13 апреля 2018 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:ExamMC-2018.pdf»
- 20:14, 12 апреля 2018 ZakharovVA (обсуждение | вклад) загрузил «Файл:Paper-chokaev-2.pdf»
- 20:13, 12 апреля 2018 ZakharovVA (обсуждение | вклад) загрузил «Файл:Paper-chokaev-1.pdf»
- 19:41, 12 апреля 2018 ZakharovVA (обсуждение | вклад) загрузил «Файл:Paper-zakharov.pdf»
- 19:38, 12 апреля 2018 ZakharovVA (обсуждение | вклад) загрузил «Файл:Paper-shupletsov-2.pdf»
- 19:37, 12 апреля 2018 ZakharovVA (обсуждение | вклад) загрузил «Файл:Paper-shupletsov-1.pdf»
- 19:33, 12 апреля 2018 ZakharovVA (обсуждение | вклад) загрузил «Файл:ExamMC-2018.pdf»
- 15:12, 12 апреля 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Lect3-4-ex-selezn.pdf»
- 15:05, 12 апреля 2018 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Lect3-4-ex-selezn.pdf»
- 12:18, 12 апреля 2018 AlekseevVB (обсуждение | вклад) загрузил «Файл:Алексеев Вороненко.pdf»
- 10:22, 8 апреля 2018 AlekseevVB (обсуждение | вклад) загрузил «Файл:Lau.pdf»
- 22:20, 2 апреля 2018 RomanovDS (обсуждение | вклад) загрузил «Файл:Cybas3-talk original.pdf»
- 22:33, 1 апреля 2018 ZakharovVA (обсуждение | вклад) загрузил «Файл:LectEng4.pdf»
- 12:36, 30 марта 2018 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-GR-180330.pdf»
- 12:55, 29 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus4-selezn.pdf»
- 12:55, 29 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus2-selezn.pdf»
- 12:46, 29 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l7-selezn.pdf»
- 12:46, 29 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l6-selezn.pdf»
- 12:45, 29 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l5-selezn.pdf»
- 12:45, 29 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l4-selezn.pdf»
- 12:44, 29 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l3-selezn.pdf»
- 12:44, 29 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l2-selezn.pdf»
- 12:43, 29 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l1-selezn.pdf»
- 15:56, 27 марта 2018 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus11-selezn.pdf»
- 15:55, 27 марта 2018 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus10-selezn.pdf»
- 15:55, 27 марта 2018 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus9-selezn.pdf»
- 15:54, 27 марта 2018 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus8-selezn.pdf»
- 15:53, 27 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus7-selezn.pdf»
- 15:53, 27 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus6-selezn.pdf»
- 15:52, 27 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus5-selezn.pdf»
- 15:51, 27 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus4-selezn.pdf»
- 15:51, 27 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus3-selezn.pdf»
- 15:50, 27 марта 2018 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus2-selezn.pdf»