Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 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»)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
