Вклад участника
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)
- 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)
- 23:13, 5 октября 2017 (разн. | история) . . (+97) . . Н Файл:Hdl lecture 09.pdf (языки описания схем. блок 9: функциональная симуляция)
- 15:32, 5 октября 2017 (разн. | история) . . (+551) . . Шаблон:Important Announcements (→Объявления)
- 15:30, 5 октября 2017 (разн. | история) . . (-25) . . м Заглавная страница (→Информация)
- 15:27, 5 октября 2017 (разн. | история) . . (-361) . . Магистерские программы
- 15:05, 5 октября 2017 (разн. | история) . . (+1745) . . Магистерские программы
- 14:31, 5 октября 2017 (разн. | история) . . (-22) . . м Заглавная страница (→Информация)
- 17:57, 4 октября 2017 (разн. | история) . . (-153) . . м Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 17:56, 4 октября 2017 (разн. | история) . . (+2013) . . Шаблон:Current Seminars
- 17:51, 4 октября 2017 (разн. | история) . . (+2158) . . Теоретические проблемы программирования (→2017-18 учебный год)
- 21:05, 2 октября 2017 (разн. | история) . . (+1250) . . Языки описания схем
- 13:53, 1 октября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 16:56, 29 сентября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 09:48, 29 сентября 2017 (разн. | история) . . (-41) . . Математические методы верификации схем и программ
- 09:47, 29 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 3.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf»)
- 09:44, 29 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 3.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf»)
- 09:44, 29 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf»)
- 01:54, 29 сентября 2017 (разн. | история) . . (+67) . . Языки описания схем
- 01:53, 29 сентября 2017 (разн. | история) . . (+92) . . Н Файл:Hdl lecture 08.pdf (языки описания схем, блок 8. verilog: базовый синтаксис)
- 01:52, 29 сентября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 07.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf»)
- 01:37, 29 сентября 2017 (разн. | история) . . (0) . . Языки описания схем
- 01:37, 29 сентября 2017 (разн. | история) . . (+93) . . Языки описания схем
- 01:37, 29 сентября 2017 (разн. | история) . . (+91) . . Н Файл:Hdl lecture 07.pdf (языки описания схем, блок 7. базовый синтаксис verilog)
- 16:13, 28 сентября 2017 (разн. | история) . . (0) . . Файл:Hdl task part1.pdf (PodymovVV загружена новая версия «Файл:Hdl task part1.pdf») (текущая)
- 22:46, 27 сентября 2017 (разн. | история) . . (+641) . . Языки описания схем
- 22:41, 27 сентября 2017 (разн. | история) . . (+112) . . Н Файл:Hdl task part1.pdf (первая часть основного задания по курсу "Языки описания схем")
- 07:57, 27 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf»)
- 16:05, 25 сентября 2017 (разн. | история) . . (+131) . . Языки описания схем
- 16:02, 25 сентября 2017 (разн. | история) . . (0) . . Н Файл:Hdl lecture 06.pdf
- 14:48, 23 сентября 2017 (разн. | история) . . (+96) . . Языки описания схем
- 14:47, 23 сентября 2017 (разн. | история) . . (+96) . . Н Файл:Hdl lecture 05.pdf (языки описания схем. блок 5 (модули, шины, регистры, rtl))
- 13:42, 19 сентября 2017 (разн. | история) . . (+357) . . Участник:PodymovVV
- 12:10, 19 сентября 2017 (разн. | история) . . (+1542) . . Практикум (3 курс, осенний семестр 2017 года)
- 21:43, 15 сентября 2017 (разн. | история) . . (+237) . . Языки описания схем
- 21:40, 15 сентября 2017 (разн. | история) . . (+125) . . Н Файл:Hdl lecture 04.pdf (языки описания схем. блок 4 (последовательные схемы, тактовый сигнал))
- 16:01, 13 сентября 2017 (разн. | история) . . (+328) . . Математические методы верификации схем и программ
- 10:30, 13 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
- 18:36, 12 сентября 2017 (разн. | история) . . (-2843) . . Математические методы верификации схем и программ
- 20:15, 11 сентября 2017 (разн. | история) . . (+255) . . м Практикум (3 курс, осенний семестр 2017 года)
- 20:10, 11 сентября 2017 (разн. | история) . . (+1857) . . Практикум (3 курс, осенний семестр 2017 года)
- 19:46, 11 сентября 2017 (разн. | история) . . (+128) . . Н Файл:Prac-318-git-task-tree.pdf (практикум 318 группы, осенний семестр, дерево коммитов для задания по git) (текущая)
- 15:50, 11 сентября 2017 (разн. | история) . . (+2501) . . Н Практикум (3 курс, осенний семестр 2017 года) (Новая страница: «Категория:Семинары кафедры математической кибернетики = Общая информация = * Занятия …»)
- 10:24, 11 сентября 2017 (разн. | история) . . (+49) . . м Математические методы верификации схем и программ
- 22:15, 8 сентября 2017 (разн. | история) . . (+341) . . Языки описания схем
- 22:11, 8 сентября 2017 (разн. | история) . . (+88) . . Н Файл:Hdl lecture 02.pdf (курс "языки описания схем", блок слайдов про кмоп)
- 21:48, 8 сентября 2017 (разн. | история) . . (+105) . . Н Файл:Hdl lecture 01.pdf (вступительный блок слайдов по курсу "языки описания схем")
- 21:41, 8 сентября 2017 (разн. | история) . . (+18) . . м Математические методы верификации схем и программ
- 21:36, 8 сентября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 2.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 2.pdf»)
- 17:00, 28 августа 2017 (разн. | история) . . (+22) . . м Языки описания схем
- 14:31, 28 августа 2017 (разн. | история) . . (-231) . . м Языки описания схем
- 12:01, 28 августа 2017 (разн. | история) . . (-3056) . . Языки описания схем
- 15:33, 9 июня 2017 (разн. | история) . . (-28) . . м Математическая логика (318, 319/2, 241, 242)
- 15:32, 9 июня 2017 (разн. | история) . . (0) . . Файл:Mllp exam 2017 318.xls (PodymovVV загружена новая версия «Файл:Mllp exam 2017 318.xls») (текущая)
- 14:29, 9 июня 2017 (разн. | история) . . (+230) . . Математическая логика (318, 319/2, 241, 242)
- 14:28, 9 июня 2017 (разн. | история) . . (0) . . Н Файл:Mllp exam 2017 318.xls
- 13:12, 6 июня 2017 (разн. | история) . . (+212) . . Математическая логика (318, 319/2, 241, 242)
- 14:08, 25 мая 2017 (разн. | история) . . (+468) . . Математическая логика (318, 319/2, 241, 242)
- 23:57, 23 мая 2017 (разн. | история) . . (-339) . . Математическая логика (318, 319/2, 241, 242)
- 00:22, 22 мая 2017 (разн. | история) . . (+4893) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 19:33, 15 мая 2017 (разн. | история) . . (+1969) . . Математическая логика (318, 319/2, 241, 242)
- 18:54, 15 мая 2017 (разн. | история) . . (+853) . . Математическая логика (318, 319/2, 241, 242)
- 18:49, 15 мая 2017 (разн. | история) . . (+153) . . Н Файл:Mathlog 318 lecture 16 17.pdf (мат.логика и логическое программирование, группы 318 и 241, заключительная пара лекций) (текущая)
- 16:26, 15 мая 2017 (разн. | история) . . (+450) . . Математическая логика (318, 319/2, 241, 242)
- 18:21, 25 апреля 2017 (разн. | история) . . (+28) . . м Математическая логика (318, 319/2, 241, 242)
- 18:20, 25 апреля 2017 (разн. | история) . . (+68) . . м Математическая логика (318, 319/2, 241, 242)
- 18:15, 25 апреля 2017 (разн. | история) . . (+217) . . м Математическая логика (318, 319/2, 241, 242)
- 18:13, 25 апреля 2017 (разн. | история) . . (-146) . . Математическая логика (318, 319/2, 241, 242)
- 16:52, 24 апреля 2017 (разн. | история) . . (+3) . . Математическая логика (318, 319/2, 241, 242)
- 16:46, 24 апреля 2017 (разн. | история) . . (+205) . . Математическая логика (318, 319/2, 241, 242)
- 16:43, 24 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»)
- 21:18, 23 апреля 2017 (разн. | история) . . (+139) . . Математическая логика (318, 319/2, 241, 242)
- 21:16, 23 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar zfc.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar zfc.pdf») (текущая)
- 19:20, 23 апреля 2017 (разн. | история) . . (+176) . . Математическая логика (318, 319/2, 241, 242)
- 23:20, 21 апреля 2017 (разн. | история) . . (0) . . Файл:Peano axioms.pdf (PodymovVV загружена новая версия «Файл:Peano axioms.pdf») (текущая)
- 23:05, 21 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 14:03, 21 апреля 2017 (разн. | история) . . (-276) . . м Математическая логика (318, 319/2, 241, 242)
- 13:39, 21 апреля 2017 (разн. | история) . . (+165) . . Математическая логика (318, 319/2, 241, 242)
- 13:35, 21 апреля 2017 (разн. | история) . . (+173) . . Математическая логика (318, 319/2, 241, 242)
- 13:32, 21 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 20:15, 18 апреля 2017 (разн. | история) . . (+3719) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 16:27, 18 апреля 2017 (разн. | история) . . (+11) . . Математическая логика (318, 319/2, 241, 242)
- 16:24, 18 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12.pdf»)
- 15:59, 18 апреля 2017 (разн. | история) . . (+200) . . Математическая логика (318, 319/2, 241, 242)
- 15:57, 18 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 11:59, 18 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar sat-smt.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar sat-smt.pdf») (текущая)
- 17:53, 16 апреля 2017 (разн. | история) . . (+211) . . Математическая логика (318, 319/2, 241, 242)
- 17:50, 16 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar sat-smt.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar sat-smt.pdf»)
- 22:16, 15 апреля 2017 (разн. | история) . . (+258) . . Математическая логика (318, 319/2, 241, 242)
- 22:13, 15 апреля 2017 (разн. | история) . . (+105) . . Н Файл:Mathlog 318 241 test results.xls (результаты контрольной работы по матлогике, группы 318 и 241) (текущая)
- 14:59, 13 апреля 2017 (разн. | история) . . (+1832) . . Математическая логика (318, 319/2, 241, 242)
- 14:52, 13 апреля 2017 (разн. | история) . . (0) . . Файл:Peano axioms.pdf (PodymovVV загружена новая версия «Файл:Peano axioms.pdf»)
- 14:14, 13 апреля 2017 (разн. | история) . . (+792) . . Математическая логика (318, 319/2, 241, 242)
- 13:47, 13 апреля 2017 (разн. | история) . . (+44) . . м Математическая логика (318, 319/2, 241, 242)
- 13:47, 13 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12.pdf»)
- 12:30, 11 апреля 2017 (разн. | история) . . (+2258) . . Графы и их применения
- 12:19, 11 апреля 2017 (разн. | история) . . (+44) . . м Математическая логика (318, 319/2, 241, 242)
- 12:06, 11 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 15:00, 3 апреля 2017 (разн. | история) . . (+447) . . Математическая логика (318, 319/2, 241, 242)
- 14:46, 3 апреля 2017 (разн. | история) . . (+416) . . Математическая логика (318, 319/2, 241, 242)
- 14:44, 3 апреля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf»)
- 15:56, 27 марта 2017 (разн. | история) . . (+349) . . м Математическая логика (318, 319/2, 241, 242)
- 15:13, 27 марта 2017 (разн. | история) . . (+413) . . Математическая логика (318, 319/2, 241, 242)
- 15:09, 27 марта 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf»)
- 15:09, 27 марта 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»)
- 13:40, 14 марта 2017 (разн. | история) . . (+1265) . . Математическая логика (318, 319/2, 241, 242)
- 13:20, 14 марта 2017 (разн. | история) . . (+413) . . Математическая логика (318, 319/2, 241, 242)
- 13:17, 14 марта 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 12:56, 14 марта 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf»)
- 14:53, 2 марта 2017 (разн. | история) . . (+4) . . м Математическая логика (318, 319/2, 241, 242)
- 14:51, 2 марта 2017 (разн. | история) . . (+1945) . . Математическая логика (318, 319/2, 241, 242)
- 14:28, 2 марта 2017 (разн. | история) . . (+2780) . . Математическая логика (318, 319/2, 241, 242)
- 19:33, 1 марта 2017 (разн. | история) . . (+283) . . Математическая логика (318, 319/2, 241, 242)
- 19:30, 1 марта 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»)
- 17:55, 1 марта 2017 (разн. | история) . . (+744) . . Программируемые логические интегральные схемы
- 17:42, 1 марта 2017 (разн. | история) . . (+166) . . Н Файл:Fpga part2 lecture 1.pdf (спецкурс "программируемые логические интегральные схемы", весенний семестр, первая лекция) (текущая)
- 16:09, 28 февраля 2017 (разн. | история) . . (+49) . . м Информация для 2 курса
- 18:42, 22 февраля 2017 (разн. | история) . . (+1761) . . Программируемые логические интегральные схемы
- 23:26, 21 февраля 2017 (разн. | история) . . (+90) . . м Шаблон:Important Announcements (→Объявления)
- 17:15, 20 февраля 2017 (разн. | история) . . (+543) . . Математическая логика (318, 319/2, 241, 242)
- 17:11, 20 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 4.pdf»)
- 12:15, 20 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 10:26, 20 февраля 2017 (разн. | история) . . (-46) . . м Математическая логика (318, 319/2, 241, 242)
- 10:26, 20 февраля 2017 (разн. | история) . . (+57) . . Математическая логика (318, 319/2, 241, 242)
- 10:26, 20 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 18:40, 19 февраля 2017 (разн. | история) . . (+2205) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 18:18, 19 февраля 2017 (разн. | история) . . (+28) . . м Boolean SAT/SMT Solvers for Software Engineering
- 17:49, 16 февраля 2017 (разн. | история) . . (+4048) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 22:20, 15 февраля 2017 (разн. | история) . . (+21) . . м Математическая логика (318, 319/2, 241, 242)
- 21:54, 15 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 21:53, 15 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 21:52, 15 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 18:18, 14 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 21:05, 13 февраля 2017 (разн. | история) . . (+110) . . Математические методы верификации схем и программ
- 21:01, 13 февраля 2017 (разн. | история) . . (+129) . . Н Файл:SecondExamVerification-2016-2017.pdf (результаты пересдачи по курсу мат.методов верификации схем и программ) (текущая)
- 17:29, 13 февраля 2017 (разн. | история) . . (-1) . . м Математическая логика (318, 319/2, 241, 242)
- 17:00, 13 февраля 2017 (разн. | история) . . (+440) . . Математическая логика (318, 319/2, 241, 242)
- 16:57, 13 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 16:52, 13 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 16:52, 13 февраля 2017 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 23:55, 12 февраля 2017 (разн. | история) . . (+143) . . м Математическая логика (318, 319/2, 241, 242)
- 23:54, 12 февраля 2017 (разн. | история) . . (+76) . . м Математическая логика и теория алгоритмов
- 23:53, 12 февраля 2017 (разн. | история) . . (+141) . . м Математическая логика и теория алгоритмов (Перенаправление на Математическая логика и логическое программирование (группа 318))
- 16:39, 8 февраля 2017 (разн. | история) . . (+63) . . м Информация для 2 курса
- 16:38, 8 февраля 2017 (разн. | история) . . (+42) . . м Заглавная страница
- 16:35, 8 февраля 2017 (разн. | история) . . (0) . . Заглавная страница
- 16:35, 8 февраля 2017 (разн. | история) . . (+54) . . Н Информация для 2-го курса (Перенаправление на Информация для 2 курса) (текущая)
- 16:32, 8 февраля 2017 (разн. | история) . . (+149) . . Информация для 2 курса
- 16:28, 8 февраля 2017 (разн. | история) . . (+110) . . Просеминар для 2-го курса
- 16:26, 8 февраля 2017 (разн. | история) . . (+105) . . Н Файл:Prosem 2016 Podymov Zakharov.pdf (Презентация задачи по компьютерным сетям на просеминаре.) (текущая)
- 16:19, 8 февраля 2017 (разн. | история) . . (+155) . . Просеминар для 2-го курса
- 18:27, 6 января 2017 (разн. | история) . . (-3781) . . Математическая логика (318, 319/2, 241, 242)
- 09:41, 23 декабря 2016 (разн. | история) . . (-37) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 16:49, 22 декабря 2016 (разн. | история) . . (-11) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 22:01, 20 декабря 2016 (разн. | история) . . (+862) . . Математические методы верификации схем и программ
- 21:55, 20 декабря 2016 (разн. | история) . . (+26) . . м Математические методы верификации схем и программ
- 21:54, 20 декабря 2016 (разн. | история) . . (+1136) . . Математические методы верификации схем и программ
- 22:01, 19 декабря 2016 (разн. | история) . . (+5) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 22:00, 19 декабря 2016 (разн. | история) . . (+698) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 03:17, 15 декабря 2016 (разн. | история) . . (0) . . м Практикум (3 курс, осенний семестр 2016 года)
- 03:17, 15 декабря 2016 (разн. | история) . . (+174) . . Практикум (3 курс, осенний семестр 2016 года)
- 03:15, 15 декабря 2016 (разн. | история) . . (+125) . . Н Файл:Prac318 Autumn 2016 howto regular expressions boost regex.zip (для практикума 318 группы: как работать с регулярными выражениями в c++) (текущая)
- 02:02, 15 декабря 2016 (разн. | история) . . (+115) . . Практикум (3 курс, осенний семестр 2016 года)
- 02:01, 15 декабря 2016 (разн. | история) . . (+105) . . Н Файл:Prac318 Autumn 2016 howto bdd buddy.zip (для практикума на 3 курсе: как работать с bdd, библиотека BuDDy) (текущая)
- 18:53, 9 декабря 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 10.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 10.pdf»)
- 20:45, 8 декабря 2016 (разн. | история) . . (+2323) . . Математические методы верификации схем и программ
- 15:56, 7 декабря 2016 (разн. | история) . . (+114) . . Математические методы верификации схем и программ
- 15:55, 7 декабря 2016 (разн. | история) . . (+180) . . Н Файл:Seminar Verification 10 errors.zip (математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal) (текущая)
- 08:48, 7 декабря 2016 (разн. | история) . . (+181) . . Математические методы верификации схем и программ
- 08:48, 7 декабря 2016 (разн. | история) . . (0) . . Н Файл:Seminar Verification 10.pdf
- 15:23, 5 декабря 2016 (разн. | история) . . (+243) . . Н Файл:Lecture Verification 10.pdf (математические методы верификации схем и программ, лекция 10: алгоритм model checking для tctl и временных автоматов (регионная модель Крипке))
- 02:35, 5 декабря 2016 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf»)
- 02:22, 5 декабря 2016 (разн. | история) . . (+146) . . Н Файл:Lecture Verification 9.pdf (математические методы верификации схем и программ, лекция 9: временные автоматы)
- 22:23, 4 декабря 2016 (разн. | история) . . (+684) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 22:18, 4 декабря 2016 (разн. | история) . . (-357) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 22:18, 4 декабря 2016 (разн. | история) . . (+247) . . Н Файл:Prac 618 2 lect4.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, лекция про многотактовый процессор и виды управляющих автоматов) (текущая)
- 14:11, 2 декабря 2016 (разн. | история) . . (0) . . м Практикум (3 курс, осенний семестр 2016 года)
- 13:56, 2 декабря 2016 (разн. | история) . . (-31) . . м Практикум (3 курс, осенний семестр 2016 года)
- 13:55, 2 декабря 2016 (разн. | история) . . (+187) . . Практикум (3 курс, осенний семестр 2016 года)
- 13:53, 2 декабря 2016 (разн. | история) . . (+227) . . Н Файл:Prac318 Autumn 2016 HW3 Overview.pdf (практикум на эвм для 318 группы, третье домашнее задание: реализация графа как набора bdd; операции над bdd; регулярные выражения) (текущая)
- 02:46, 27 ноября 2016 (разн. | история) . . (+231) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 02:36, 27 ноября 2016 (разн. | история) . . (+1274) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)