Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 23:30, 28 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l6-selezn.pdf»
- 23:28, 28 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l7-selezn.pdf»
- 21:48, 28 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l11-selezn.pdf»
- 10:17, 28 ноября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 11 2020.pdf»
- 11:01, 26 ноября 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specsem 201127.pdf»
- 10:58, 26 ноября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 201127.pdf»
- 20:49, 25 ноября 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:2020 11 27 Popkov KA.docx»
- 11:57, 25 ноября 2020 AlekseevVB (обсуждение | вклад) загрузил «Файл:ВКА 2020.docx»
- 20:24, 24 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 9 eng.pdf» (курс методов верификации, 2020. лекция про временные автоматы и tctl)
- 22:48, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l6-selezn.pdf»
- 22:48, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l5-selezn.pdf»
- 22:15, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l10-selezn.pdf»
- 21:49, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l9-selezn.pdf»
- 21:48, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-lect9-selezn.pdf»
- 21:43, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l9-selezn.pdf»
- 13:05, 21 ноября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 10 2020.pdf»
- 14:43, 20 ноября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 201120.pdf»
- 20:12, 19 ноября 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:Popkov 2018 k-krat testy proizv const prep2018 149.pdf»
- 14:21, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 06.pdf» (2020. косметические правки)
- 14:20, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 05.pdf» (2020. теперь тут задачки на параметры, массивы и генерацию в verilog)
- 13:52, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 22.pdf» (поправил опечатку на титульном слайде (неправильный номер блока))
- 13:47, 16 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 24.pdf» (языки описания схем, 2020. символьные автоматы с таймерами)
- 13:47, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 23.pdf» (2020. теперь тут рассказ про то, как спроектировать управляющий автомат, когда операционный дан)
- 13:46, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 22.pdf» (2020. теперь тут рассказ про проектирование операционного автомата)
- 13:46, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 21.pdf» (2020. теперь тут рассказ про операционный и управляющий автоматы)
- 13:45, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 20.pdf» (2020. теперь тут типовая реализация автомата в verilog)
- 13:44, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (2020. теперь тут синтаксический сахар Verilog)
- 19:01, 14 ноября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 9 2020.pdf»
- 11:59, 14 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-s5-selezn.pdf»
- 11:49, 14 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l10-selezn.pdf»
- 10:40, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 04.pdf» (2020. Теперь тут автоматы - а продвинутый синтаксис verilog оставлен на потом)
- 10:40, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf» (2020, суть та же)
- 10:39, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf» (2020, суть та же)
- 10:39, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf» (2020, суть та же)
- 17:24, 11 ноября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 201113.pdf»
- 18:43, 9 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 8 eng.pdf» (курс методов верификации, 2020. семинар с задачами по средству spin (англ.))
- 22:17, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l2-selezn.pdf»
- 22:15, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l3-selezn.pdf»
- 22:12, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l4-selezn.pdf»
- 22:10, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l8-selezn.pdf»
- 22:09, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l8-selezn.pdf»
- 22:05, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 22:02, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 15:17, 7 ноября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 8 2020.pdf»
- 11:18, 5 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- 11:18, 5 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l9-selezn.pdf»
- 15:03, 3 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7 eng.pdf» (курс методов верификации, 2020. английский перевод обзора средства spin.)
- 22:30, 1 ноября 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-20-2 311-319.pdf»
- 20:29, 1 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l7-selezn.pdf»
- 10:01, 31 октября 2020 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Lec7pbs.pdf»