Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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» (исправлена нехорошая опечатка в правилах натурального вывода)
- 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»
