Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 10:55, 12 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
- 23:45, 8 сентября 2020 (разн. | история) . . (-38) . . Математические методы верификации схем и программ
- 23:44, 8 сентября 2020 (разн. | история) . . (+134) . . Н Файл:Seminar Verification 1 eng.pdf (курс методов верификации. осень 2020. семинар по логике хоара на английском) (текущая)
- 11:14, 8 сентября 2020 (разн. | история) . . (-164) . . Математические методы верификации схем и программ
- 11:11, 8 сентября 2020 (разн. | история) . . (+116) . . Н Файл:Lecture Verification 2 eng.pdf (магистерский курс методов верификации, лекция про логику Хоара) (текущая)
- 21:53, 4 сентября 2020 (разн. | история) . . (+6) . . м Языки описания схем
- 21:52, 4 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 03.pdf»)
- 21:52, 4 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 02.pdf»)
- 21:51, 4 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 01.pdf»)
- 23:56, 1 сентября 2020 (разн. | история) . . (+9) . . м Языки описания схем
- 23:52, 1 сентября 2020 (разн. | история) . . (+39) . . м Математические методы верификации схем и программ
- 01:01, 3 июля 2020 (разн. | история) . . (+22) . . Математическая логика (318, 319/2, 241, 242)
- 14:47, 1 июля 2020 (разн. | история) . . (0) . . Файл:Test.txt (PodymovVV загружена новая версия «Файл:Test.txt») (текущая)
- 23:52, 28 июня 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 10:17, 28 июня 2020 (разн. | история) . . (+9) . . Математическая логика (318, 319/2, 241, 242)
- 20:46, 23 июня 2020 (разн. | история) . . (0) . . Файл:Test.txt (PodymovVV загружена новая версия «Файл:Test.txt»)
- 18:20, 28 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:03, 28 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 23:38, 26 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 19:08, 24 мая 2020 (разн. | история) . . (+12) . . Математическая логика (318, 319/2, 241, 242)
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)