Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)- 18:42, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (опечатка в рисунке в конце)
- 12:33, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (теперь это база про последовательные схемы)
- 12:32, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (теперь это про сфэз)
- 12:31, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (теперь это про комбинационные схемы)
- 12:29, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 2.pdf» (снова мелкие правки)
- 09:09, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (2019 год, по переработанному плану)
- 09:08, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (2019 год, по переработанному плану)
- 09:08, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (2019 год, по переработанному плану)
- 16:44, 31 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (поправлена нехорошая опечатка на слайде 14 (22))
- 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 для формальной верификации)
- 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» (исправлена нехорошая опечатка в правилах натурального вывода)
- 16:15, 22 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлены опечатки)