Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 13:06, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 01.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 01.pdf»)
- 12:42, 27 сентября 2020 (разн. | история) . . (+170) . . Языки описания схем
- 12:39, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 10.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf»)
- 12:38, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 09.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf»)
- 12:37, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 12:23, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 07.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf»)
- 12:21, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 16:01, 22 сентября 2020 (разн. | история) . . (-15) . . Математические методы верификации схем и программ
- 15:59, 22 сентября 2020 (разн. | история) . . (+136) . . Н Файл:Seminar Verification 2 eng.pdf (Английский перевод версии 2019 года (то же без "eng") с косметическими правками) (текущая)
- 14:31, 16 сентября 2020 (разн. | история) . . (0) . . Языки описания схем
- 14:31, 16 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 14:30, 16 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 05.pdf»)
- 19:00, 14 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
- 10:56, 12 сентября 2020 (разн. | история) . . (0) . . м Языки описания схем
- 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)
- 19:03, 24 мая 2020 (разн. | история) . . (+17) . . Математическая логика (318, 319/2, 241, 242)
- 19:02, 24 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 17.pdf») (текущая)
- 18:26, 18 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:41, 17 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 12:00, 17 мая 2020 (разн. | история) . . (-1274) . . Математическая логика (318, 319/2, 241, 242)
- 11:46, 17 мая 2020 (разн. | история) . . (+4) . . Математическая логика (318, 319/2, 241, 242)
- 11:42, 17 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 16.pdf») (текущая)
- 11:41, 17 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf») (текущая)
- 10:41, 16 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf») (текущая)
- 19:40, 14 мая 2020 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 19:39, 14 мая 2020 (разн. | история) . . (-8415) . . м Математическая логика (318, 319/2, 241, 242)
- 19:34, 14 мая 2020 (разн. | история) . . (-230) . . Математическая логика (318, 319/2, 241, 242)
- 19:28, 14 мая 2020 (разн. | история) . . (-3) . . Математическая логика (318, 319/2, 241, 242)
- 19:27, 14 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»)
- 16:02, 13 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:21, 9 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
