Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf»
- 16:58, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf»
- 16:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf»
- 16:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf»
- 16:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf»
- 16:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf»
- 16:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf»
- 13:11, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf»
- 11:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf»
- 11:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf»
- 11:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf»
- 11:56, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf»
- 11:56, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf»
- 11:56, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf»
- 11:56, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf»
- 11:56, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf»
- 11:55, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf»
- 11:55, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf»
- 11:55, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf»
- 11:55, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf»
- 11:55, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf»
- 17:55, 12 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf»
- 17:55, 12 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf»
- 21:35, 11 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (исправлено несколько ошибок в условиях)
- 15:00, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf»
- 14:55, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf»
- 14:55, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf»
- 14:55, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf»
- 14:55, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf»
- 14:55, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf»
- 13:10, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 2.pdf» (мелкие правки)
- 15:06, 7 мая 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14 15.pdf» (поправлено несколько опечаток)
- 03:50, 7 мая 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 14 15.pdf» (мат.логика и логическое программирование, группа 318. последние лекции: модальные логики и model checking для ltl)
- 14:08, 27 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 seminar natural inference.pdf» (мат.логика и лог.прог. для группы 318. Семинар 6: натуральное исчисление)
- 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»