Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)- 12:43, 13 сентября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 01.pdf» (практические задания: последовательные схемы)
- 16:29, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это шины и регистры)
- 16:29, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (теперь это последовательные схемы)
- 16:28, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (теперь это обсуждение триггеров)
- 16:28, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (теперь это комб.схемы с обратной связью и основные триггеры)
- 17:08, 10 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (осень 2019, поменял последовательность задач)
- 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» (поправлены опечатки)