Вклад участника
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)
- 15:04, 12 апреля 2018 (разн. | история) . . (+476) . . Modern trends in discrete mathematics and computer science
- 10:00, 11 апреля 2018 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 20:46, 18 марта 2018 (разн. | история) . . (+132) . . Математическая логика (318, 319/2, 241, 242)
- 17:49, 18 марта 2018 (разн. | история) . . (+1228) . . Математическая логика (318, 319/2, 241, 242)
- 17:43, 18 марта 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf»)
- 17:43, 18 марта 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»)
- 11:16, 16 марта 2018 (разн. | история) . . (+473) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 07:42, 12 марта 2018 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 07:41, 12 марта 2018 (разн. | история) . . (+110) . . Математическая логика (318, 319/2, 241, 242)
- 07:39, 12 марта 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 08:43, 5 марта 2018 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 08:00, 5 марта 2018 (разн. | история) . . (+313) . . Математическая логика (318, 319/2, 241, 242)
- 07:56, 5 марта 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf»)
- 14:04, 2 марта 2018 (разн. | история) . . (+345) . . м Математическая логика (318, 319/2, 241, 242)
- 14:01, 2 марта 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 12:52, 2 марта 2018 (разн. | история) . . (+58) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 21:23, 25 февраля 2018 (разн. | история) . . (+257) . . Математическая логика (318, 319/2, 241, 242)
- 20:59, 25 февраля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»)
- 14:29, 19 февраля 2018 (разн. | история) . . (+616) . . Математическая логика (318, 319/2, 241, 242)
- 14:29, 19 февраля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 4.pdf»)
- 14:23, 19 февраля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 14:28, 16 февраля 2018 (разн. | история) . . (+263) . . Modern trends in discrete mathematics and computer science
- 14:02, 16 февраля 2018 (разн. | история) . . (+95) . . Н Файл:LectEng2.pdf (english course for master students. lection "formal correctness proofs for sequential programs")
- 13:24, 12 февраля 2018 (разн. | история) . . (+76) . . Modern trends in discrete mathematics and computer science
- 12:52, 12 февраля 2018 (разн. | история) . . (+410) . . Математическая логика (318, 319/2, 241, 242)
- 12:49, 12 февраля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 12:46, 12 февраля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 23:49, 11 февраля 2018 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 23:40, 11 февраля 2018 (разн. | история) . . (+4) . . м Математическая логика (318, 319/2, 241, 242)
- 23:28, 11 февраля 2018 (разн. | история) . . (-6366) . . Математическая логика (318, 319/2, 241, 242)
- 19:04, 10 февраля 2018 (разн. | история) . . (-4554) . . Modern trends in discrete mathematics and computer science
- 17:26, 9 февраля 2018 (разн. | история) . . (+44) . . м Modern trends in discrete mathematics and computer science
- 17:24, 9 февраля 2018 (разн. | история) . . (+6242) . . Modern trends in discrete mathematics and computer science
- 16:28, 9 февраля 2018 (разн. | история) . . (+275) . . Н Modern trends in discrete mathematics and computer science (Новая страница: «Категория:Спецкурсы кафедры МК Актуальность информации: '''весенний семестр 2017/2018 уче…»)
- 20:10, 8 февраля 2018 (разн. | история) . . (-18) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 20:08, 8 февраля 2018 (разн. | история) . . (-18) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 20:07, 8 февраля 2018 (разн. | история) . . (-2103) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 21:04, 27 декабря 2017 (разн. | история) . . (0) . . Файл:Ivdm-kolok17.docx (PodymovVV загружена новая версия «Файл:Ivdm-kolok17.docx») (текущая)
- 15:39, 22 декабря 2017 (разн. | история) . . (+732) . . Языки описания схем
- 15:33, 22 декабря 2017 (разн. | история) . . (0) . . Файл:Hdl isa macros.zip (PodymovVV загружена новая версия «Файл:Hdl isa macros.zip») (текущая)
- 14:32, 12 декабря 2017 (разн. | история) . . (+113) . . Практикум (3 курс, осенний семестр 2017 года)
- 14:03, 8 декабря 2017 (разн. | история) . . (+2017) . . Языки описания схем
- 01:02, 8 декабря 2017 (разн. | история) . . (-13) . . Практикум (3 курс, осенний семестр 2017 года)
- 13:49, 4 декабря 2017 (разн. | история) . . (+483) . . Практикум (3 курс, осенний семестр 2017 года)
- 13:45, 4 декабря 2017 (разн. | история) . . (+184) . . Н Файл:Prac 318 algorithms.pdf (практикум на эвм, 3 курс, весенний семестр. проба пера на тему структур данных, алгоритмов и сложности) (текущая)
- 17:52, 29 ноября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf»)
- 08:14, 29 ноября 2017 (разн. | история) . . (+25) . . м Математические методы верификации схем и программ
- 08:14, 29 ноября 2017 (разн. | история) . . (-161) . . Математические методы верификации схем и программ
- 08:09, 29 ноября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf»)
- 08:09, 29 ноября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 10.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 10.pdf»)
- 19:55, 28 ноября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf»)
- 12:51, 28 ноября 2017 (разн. | история) . . (+127) . . Н Вероятностные и квантовые алгоритмы (Новая страница: «Категория:Лекционные курсы кафедры МК ''Страница ещё не наполнена''»)
- 11:12, 22 ноября 2017 (разн. | история) . . (-289) . . Математические методы верификации схем и программ
- 11:09, 22 ноября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf»)
- 15:38, 10 ноября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 19.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 19.pdf»)
- 15:38, 10 ноября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 18.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 18.pdf»)
- 15:37, 10 ноября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 17.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 17.pdf»)
- 00:25, 10 ноября 2017 (разн. | история) . . (+123) . . Языки описания схем
- 00:24, 10 ноября 2017 (разн. | история) . . (+122) . . Н Файл:Hdl lecture 19.pdf (языки описания схем. блок 19. verilog: реализация управляющего автомата)
- 23:04, 9 ноября 2017 (разн. | история) . . (+120) . . Н Файл:Hdl lecture 18.pdf (языки описания схем. блок 18. немного синтаксического сахара в Verilog)
- 23:04, 9 ноября 2017 (разн. | история) . . (+119) . . Языки описания схем
- 20:41, 9 ноября 2017 (разн. | история) . . (+125) . . Языки описания схем
- 20:41, 9 ноября 2017 (разн. | история) . . (+124) . . Н Файл:Hdl lecture 17.pdf (языки описания схем. блок 17. как спроектировать управляющий автомат)
- 17:07, 3 ноября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 8.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 8.pdf»)
- 13:49, 3 ноября 2017 (разн. | история) . . (-55) . . Языки описания схем
- 13:47, 3 ноября 2017 (разн. | история) . . (+180) . . Н Файл:Hdl isa macros.zip (языки описания схем. макроопределения для удобной работы с модельной архитектурой системы команд)
- 13:46, 3 ноября 2017 (разн. | история) . . (+191) . . Н Файл:Hdl sa macros.zip (языки описания схем. макроопределения для более удобной работы с модельной архитектурой системы команд) (текущая)
- 13:15, 3 ноября 2017 (разн. | история) . . (+808) . . Языки описания схем
- 10:03, 3 ноября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 22:53, 2 ноября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 21:11, 31 октября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 7.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 7.pdf»)
- 19:00, 30 октября 2017 (разн. | история) . . (0) . . Файл:Prac 318 labyrinth.pdf (PodymovVV загружена новая версия «Файл:Prac 318 labyrinth.pdf») (текущая)
- 02:08, 27 октября 2017 (разн. | история) . . (+3291) . . Языки описания схем
- 01:43, 27 октября 2017 (разн. | история) . . (+374) . . Языки описания схем
- 01:41, 27 октября 2017 (разн. | история) . . (+159) . . Н Файл:Hdl lecture 16.pdf (блок 16. модельный процессор: операционный автомат, комбинационный управляющий автомат)
- 01:40, 27 октября 2017 (разн. | история) . . (+126) . . Н Файл:Hdl lecture 15.pdf (языки описания схем. блок 15. как спроектировать операционный автомат)
- 16:17, 25 октября 2017 (разн. | история) . . (0) . . Файл:Prac 318 labyrinth.pdf (PodymovVV загружена новая версия «Файл:Prac 318 labyrinth.pdf»)
- 21:52, 23 октября 2017 (разн. | история) . . (+875) . . Практикум (3 курс, осенний семестр 2017 года)
- 19:21, 23 октября 2017 (разн. | история) . . (0) . . Файл:Prac 318 labyrinth.pdf (PodymovVV загружена новая версия «Файл:Prac 318 labyrinth.pdf»)
- 16:14, 23 октября 2017 (разн. | история) . . (+889) . . Практикум (3 курс, осенний семестр 2017 года)
- 15:50, 23 октября 2017 (разн. | история) . . (+144) . . Н Файл:Prac 318 labyrinth.pdf (практикум для группы 318. первое задание практического блока: робот в лабиринте.)
- 00:55, 20 октября 2017 (разн. | история) . . (+140) . . Языки описания схем
- 00:51, 20 октября 2017 (разн. | история) . . (+139) . . Н Файл:Hdl lecture 14.pdf (языки описания схем. блок 14: понятия операционного и управляющего автоматов)
- 22:12, 19 октября 2017 (разн. | история) . . (+73) . . Языки описания схем
- 22:11, 19 октября 2017 (разн. | история) . . (+102) . . Н Файл:Hdl lecture 13.pdf (языки описания схем. блок 13: немного о стандарте синтеза)
- 16:43, 18 октября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf»)
- 21:14, 17 октября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 5.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 5.pdf»)
- 18:19, 17 октября 2017 (разн. | история) . . (-117) . . м Математические методы верификации схем и программ
- 18:19, 17 октября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf»)
- 19:12, 13 октября 2017 (разн. | история) . . (+250) . . м Языки описания схем
- 19:10, 13 октября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 12.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 12.pdf»)
- 12:27, 13 октября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 10:17, 13 октября 2017 (разн. | история) . . (+394) . . Языки описания схем
- 10:13, 13 октября 2017 (разн. | история) . . (+127) . . Н Файл:Hdl lecture 12.pdf (языки описания схем. блок 12. процессор: основные функциональные блоки)
- 10:12, 13 октября 2017 (разн. | история) . . (+139) . . Н Файл:Hdl lecture 11.pdf (языки описания схем. блок 11: что такое процессор; архитектура системы команд)
- 11:31, 11 октября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
- 20:56, 6 октября 2017 (разн. | история) . . (+609) . . Шаблон:Important Announcements (→Объявления)
- 20:55, 6 октября 2017 (разн. | история) . . (+1377) . . Магистерские программы
- 23:15, 5 октября 2017 (разн. | история) . . (+166) . . Языки описания схем
- 23:13, 5 октября 2017 (разн. | история) . . (+75) . . Н Файл:Hdl lecture 10.pdf (языки описания схем. блок 10: практика verilog)
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)