Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
25 октября 2020
- (Журнал загрузок); 23:18 . . SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l3-selezn.pdf»
- (разн. | история) . . Избранные вопросы теории графов; 23:13 . . (+30) . . SeleznevaSN (обсуждение | вклад) (→Часть 3)
23 октября 2020
- (разн. | история) . . Языки описания цифровых схем; 13:52 . . (+80) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 13:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (языки описания схем 2020. теперь это блок про синтезируемую постоянную процедуру (бывший 14))
- (Журнал загрузок); 13:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (языки описания схем 2020. теперь это блок про процедурные команды (бывший 13))
- (Журнал загрузок); 13:47 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (2020. теперь это блок про синтезируемость кода (бывший 12))
- (разн. | история) . . Шаблон:Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс) - Объявления; 11:33 . . (+311) . . DanilovB (обсуждение | вклад) (→Объявления)
22 октября 2020
- (Журнал загрузок); 20:14 . . SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- (Журнал загрузок); 20:10 . . SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- (разн. | история) . . Дискретные функции и выполнимость ограничений; 20:09 . . (+189) . . SeleznevaSN (обсуждение | вклад) (→Лекции)
20 октября 2020
- (разн. | история) . . Математические методы верификации схем и программ; 18:28 . . (-78) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 18:28 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 5 eng.pdf» (курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv))
- (разн. | история) . . Математические методы верификации схем и программ; 14:20 . . (-188) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 14:19 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 7 eng.pdf» (Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl)
