Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 21:14, 6 октября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 5 2020.pdf»
- 17:37, 6 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 3 eng.pdf» (курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский)
- 11:43, 6 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l5-selezn.pdf»
- 11:42, 6 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l5-selezn.pdf»
- 20:31, 4 октября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-20-2 311-319.pdf»
- 10:14, 2 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l4-selezn.pdf»
- 18:24, 1 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-s2-selezn.pdf»
- 17:20, 1 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l4-selezn.pdf»
- 17:20, 1 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 11:06, 30 сентября 2020 Root (обсуждение | вклад) создал учётную запись VladimirovaYuS (обсуждение | вклад)
- 13:06, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 01.pdf» (задачки те же, поправлены детали представления)
- 12:57, 27 сентября 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 4 eng.pdf»
- 12:53, 27 сентября 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 3 eng.pdf»
- 12:39, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (2020. теперь это "шины, регистры, RTL")
- 12:38, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это "последовательные схемы")
- 12:37, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (теперь это "подробнее о триггерах")
- 12:23, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (теперь это терминология для сигналов)
- 12:21, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (либо вообще без изменений, либо есть мелкие правки - лень думать)
- 22:21, 26 сентября 2020 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Lecture pbscpp 4 2020.pdf»
- 08:19, 26 сентября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 4 2020.pdf»
- 12:24, 25 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 10:10, 25 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 22:24, 24 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 22:13, 24 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 15:59, 22 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 2 eng.pdf» (Английский перевод версии 2019 года (то же без "eng") с косметическими правками)
- 12:09, 19 сентября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 3 2020.pdf»
- 14:31, 16 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (материал тот же, чуть-чуть улучшено представление)
- 14:30, 16 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (материал тот же, чуть-чуть улучшено представление)
- 19:00, 14 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (исправил терминологию. фронты не "передний" и "задний", а "положительный" и "отрицательный". а "передний" и "задний" - это leading и trailing, которые н…)
- 20:53, 13 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 10:55, 12 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (обновился год, остальное то же)
- 10:35, 12 сентября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 2 2020.pdf»
- 17:05, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf» (Возврат к версии от 07:47, 4 июля 2020)
- 17:05, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v2.pdf» (Возврат к версии от 07:47, 4 июля 2020)
- 17:04, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v1.pdf» (Возврат к версии от 07:48, 4 июля 2020)
- 16:40, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf» (Возврат к версии от 13:16, 11 сентября 2020)
- 16:39, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf» (Возврат к версии от 07:47, 4 июля 2020)
- 16:16, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf»
- 16:16, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v2.pdf»
- 16:16, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v1.pdf»
- 12:24, 11 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l1-selezn.pdf»
- 13:03, 10 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 13:02, 10 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l2-selezn.pdf»
- 12:59, 10 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 12:59, 10 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l2-selezn.pdf»
- 12:58, 10 сентября 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dfvo-l1-selezn.pdf»
- 23:44, 8 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 1 eng.pdf» (курс методов верификации. осень 2020. семинар по логике хоара на английском)
- 11:11, 8 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 2 eng.pdf» (магистерский курс методов верификации, лекция про логику Хоара)
- 13:49, 6 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l6-selezn.pdf»
- 13:49, 6 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l5-selezn.pdf»