Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)- 11:35, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (опечатка была плохо поправлена, а теперь хорошо)
- 11:32, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.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 учебного года: начало рассказа про исчисления)
- 10:49, 16 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (немного поменял последние пункты упражнения 2)
- 16:11, 11 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.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 учебного года, первая лекция по аксиоматическим теориям)
- 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 учебного года в этой версии исправлено несколько опечаток)
- 17:46, 23 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»
- 17:46, 23 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf» (обновлённая версия: весенний семестр 2018/2019 учебного года)
- 17:25, 16 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf» (обновлённый вариант, 2018/2019 учебный год)
- 11:22, 15 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:LectEng2.pdf»
- 21:43, 14 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:LectEng2.pdf»
- 12:19, 11 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (исправлены погрешности)
- 20:37, 9 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (версия весеннего семестра учебного года 2018/2019)
- 20:36, 9 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf» (версия весеннего семестра учебного года 2018/2019)
- 13:58, 11 декабря 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Otchet pattern618-2018.zip» (поправлен мелкий некритичный баг ("Список литературы"))
- 13:57, 11 декабря 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Otchet pattern418-2018.zip» (поправлен мелкий некритичный баг ("Список литературы"))
- 12:19, 28 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf» (семинар по uppaal, версия 18-го года (поправлена стилистика))
- 11:18, 28 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (поправлены опечатки)
- 23:00, 27 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (супер-пупер-обновлённая версия)
- 16:35, 15 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (вывернул определение логики tctl, чтобы было проще всё анализировать)
- 18:42, 14 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (обновлённая версия, более милая и понятная)
- 20:38, 7 ноября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Traditional meeting 2018 announcement.pdf» (объявление о вечере кафедр 2018)
- 15:18, 2 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (и ещё одна мелкая правка)
- 15:16, 2 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (пара мелких правок)
- 14:54, 30 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (новая версия, намного более милая)
- 14:55, 23 октября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 20.pdf» (курс "языки описания схем", блок 20: практические задания по управляющим автоматам в verilog)
- 20:08, 22 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (суперпеределка)
- 21:37, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (мелкие обновления)
- 21:26, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (поправлены опечатки, в т.ч. нехорошие)
- 20:04, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (суперулучшенный вариант (2018))
- 22:43, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 5.pdf»
- 22:20, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf»
- 22:20, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf»
- 22:09, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf»
- 20:23, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-33-2018.pdf»
- 20:23, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-32-2018.pdf»
- 20:22, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-31-2018.pdf»
- 20:21, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-30-2018.pdf»
- 20:21, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-29-2018.pdf»
- 20:20, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-28-2018.pdf»
- 20:19, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-27-2018.pdf»
- 20:18, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-26-2018.pdf»
- 20:17, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-25-2018.pdf»
- 20:17, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-24-2018.pdf»
- 20:16, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-23-2018.pdf»
- 20:12, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-22-2018.pdf»
- 17:00, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf»
- 17:00, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf»
- 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)