Вклад участника
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)
- 08:48, 16 ноября 2016 (разн. | история) . . (-9) . . м Математические методы верификации схем и программ
- 07:58, 16 ноября 2016 (разн. | история) . . (+171) . . Математические методы верификации схем и программ
- 07:56, 16 ноября 2016 (разн. | история) . . (+134) . . Н Файл:Seminar Verification 8.pdf (математические методы верификации схем и программ, семинар 8: практика Spin)
- 16:55, 14 ноября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 7 spin manual.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7 spin manual.pdf») (текущая)
- 16:57, 13 ноября 2016 (разн. | история) . . (+1334) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 16:43, 13 ноября 2016 (разн. | история) . . (+237) . . Н Файл:Prac 618 2 Dataflows.pdf (практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций) (текущая)
- 20:16, 10 ноября 2016 (разн. | история) . . (+127) . . м Математические методы верификации схем и программ
- 20:15, 10 ноября 2016 (разн. | история) . . (+90) . . Н Файл:Seminar Verification 7 spin manual.pdf (инструкция по работе со средством верификации SPIN)
- 16:38, 9 ноября 2016 (разн. | история) . . (+193) . . Математические методы верификации схем и программ
- 16:35, 9 ноября 2016 (разн. | история) . . (+222) . . Н Файл:Seminar Verification 7.pdf (математические методы верификации схем и программ, полулекционное занятие: обзор синтаксиса и модели систем средства SPIN)
- 18:17, 8 ноября 2016 (разн. | история) . . (0) . . Файл:Lecture Verification 7.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 7.pdf»)
- 09:48, 7 ноября 2016 (разн. | история) . . (+362) . . м Шаблон:Important Announcements (→Объявления)
- 09:46, 7 ноября 2016 (разн. | история) . . (+388) . . м Вечер кафедр 2016 (текущая)
- 09:41, 7 ноября 2016 (разн. | история) . . (+1478) . . Н Вечер кафедр 2016 (Новая страница: «На этой странице размещена информация о вечере кафедр математической кибернетики и инф…»)
- 09:38, 7 ноября 2016 (разн. | история) . . (+48) . . Н Файл:P7.pdf (расположение аудитории П-7) (текущая)
- 14:12, 2 ноября 2016 (разн. | история) . . (+9) . . Математические методы верификации схем и программ
- 14:12, 2 ноября 2016 (разн. | история) . . (0) . . Файл:Lecture Verification 7.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 7.pdf»)
- 14:05, 2 ноября 2016 (разн. | история) . . (+229) . . Н Файл:Lecture Verification 7.pdf (математические методы верификации схем и программ. лекция 7: табличный и автоматный алгоритмы проверки LTL-формул и около того)
- 08:29, 31 октября 2016 (разн. | история) . . (+157) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 08:26, 31 октября 2016 (разн. | история) . . (+241) . . Н Файл:Prac 618 2 lect3.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 3: debug схем (чтение нетлистов и диаграмм Мура, симуляция)) (текущая)
- 14:20, 26 октября 2016 (разн. | история) . . (+19) . . м Математические методы верификации схем и программ
- 14:19, 26 октября 2016 (разн. | история) . . (+24) . . м Математические методы верификации схем и программ
- 14:18, 26 октября 2016 (разн. | история) . . (+3143) . . м Математические методы верификации схем и программ
- 13:47, 26 октября 2016 (разн. | история) . . (+181) . . Н Файл:Seminar Verification 5.pdf (математические методы верификации схем и программ. семинар 5: практические задания для работы с NuSMV)
- 13:44, 26 октября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf»)
- 12:45, 24 октября 2016 (разн. | история) . . (+276) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 12:41, 24 октября 2016 (разн. | история) . . (0) . . Файл:Prac 618 2 lect2.pdf (PodymovVV загружена новая версия «Файл:Prac 618 2 lect2.pdf») (текущая)
- 17:56, 21 октября 2016 (разн. | история) . . (+135) . . м Математические методы верификации схем и программ
- 17:35, 21 октября 2016 (разн. | история) . . (+2187) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 17:14, 19 октября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf»)
- 17:08, 19 октября 2016 (разн. | история) . . (+217) . . м Математические методы верификации схем и программ
- 16:58, 19 октября 2016 (разн. | история) . . (+192) . . Н Файл:Seminar Verification 4.pdf (математические методы верификации схем и программ, семинар 4. Обзор средства NuSMV (полулекционное занятие))
- 00:22, 18 октября 2016 (разн. | история) . . (+682) . . м Шаблон:Important Announcements (→Объявления)
- 00:16, 18 октября 2016 (разн. | история) . . (+108) . . м Семинар MIPSfpga (24.10.2016)
- 00:13, 18 октября 2016 (разн. | история) . . (+70) . . Н Файл:Mipsfpga seminar 2016 announcement.pdf (объявление о семинаре MIPSfpga в МГУ 24.10.2016) (текущая)
- 19:19, 17 октября 2016 (разн. | история) . . (+61) . . м Заглавная страница (→Информация)
- 19:17, 17 октября 2016 (разн. | история) . . (+200) . . Н Категория:События (Новая страница: «Учебно-научные мероприятия, события и новости, к которым имеет отношение кафедра матема…») (текущая)
- 19:14, 17 октября 2016 (разн. | история) . . (+10) . . м Команда факультета ВМК - победитель соревнования 2015 CAD Contest (текущая)
- 19:13, 17 октября 2016 (разн. | история) . . (+39) . . м Семинар MIPSfpga (24.10.2016)
- 19:02, 17 октября 2016 (разн. | история) . . (+3048) . . Н Семинар MIPSfpga (24.10.2016) (Новая страница: «С 18 октября по 12 ноября 2016 года представитель компании Imagination Technologies [http://panchul.com/about_ru/ Юри…»)
- 18:58, 17 октября 2016 (разн. | история) . . (0) . . Файл:Mipsfpga seminar 2016 program.xls (PodymovVV загружена новая версия «Файл:Mipsfpga seminar 2016 program.xls») (текущая)
- 18:55, 17 октября 2016 (разн. | история) . . (+86) . . Н Файл:Mipsfpga seminar 2016 program.xls (предварительная программа семинара mipsfpga 24.10.2016)
- 12:13, 15 октября 2016 (разн. | история) . . (+195) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 12:10, 15 октября 2016 (разн. | история) . . (+325) . . Н Файл:Prac 618 2 lect2.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, 2016. лекция 2. общая информация о модельном процессоре, описание инст…)
- 11:32, 12 октября 2016 (разн. | история) . . (+4492) . . Математические методы верификации схем и программ
- 10:53, 12 октября 2016 (разн. | история) . . (+179) . . Н Файл:Seminar Verification 3.pdf (мат.методы верификации схем и программ, семинар 3: табличный и символьный алгоритмы верификации CTL)
- 16:31, 11 октября 2016 (разн. | история) . . (-2) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 16:15, 11 октября 2016 (разн. | история) . . (+63) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 16:13, 11 октября 2016 (разн. | история) . . (+2019) . . Н Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года) (Новая страница: «= Общая информация = * Занятия проходят по пятницам с 14:35 до 16:10 в аудиториях 604 и 605. * Заняти…»)
- 15:55, 11 октября 2016 (разн. | история) . . (+144) . . Н Файл:Prac 618 2 sem1.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, семинар 1) (текущая)
- 15:54, 11 октября 2016 (разн. | история) . . (0) . . Файл:Prac 618 2 lect1.pdf (PodymovVV загружена новая версия «Файл:Prac 618 2 lect1.pdf») (текущая)
- 15:43, 11 октября 2016 (разн. | история) . . (+142) . . Н Файл:Prac 618 2 lect1.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 1)
- 16:23, 4 октября 2016 (разн. | история) . . (0) . . Файл:Prac 318 cmake.pdf (PodymovVV загружена новая версия «Файл:Prac 318 cmake.pdf») (текущая)
- 23:46, 3 октября 2016 (разн. | история) . . (+78) . . Практикум (3 курс, осенний семестр 2016 года)
- 23:45, 3 октября 2016 (разн. | история) . . (+120) . . Н Файл:Prac 318 command line in cpp.pdf (Лекция про разбор параметров командной строки в исходном коде C/C++) (текущая)
- 16:54, 3 октября 2016 (разн. | история) . . (+356) . . Практикум (3 курс, осенний семестр 2016 года)
- 16:45, 3 октября 2016 (разн. | история) . . (0) . . Н Файл:Prac 318 cmake.pdf
- 09:54, 30 сентября 2016 (разн. | история) . . (-13) . . м Математические методы верификации схем и программ
- 17:13, 28 сентября 2016 (разн. | история) . . (+186) . . м Математические методы верификации схем и программ
- 17:13, 28 сентября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf»)
- 17:08, 28 сентября 2016 (разн. | история) . . (+215) . . Н Файл:Seminar Verification 2.pdf (618 группа, математические методы верификации схем и программ, семинар по моделям Крипке, логикам CTL, LTL, справедливости)
- 23:15, 26 сентября 2016 (разн. | история) . . (+32) . . м Практикум (3 курс, осенний семестр 2016 года)
- 23:11, 26 сентября 2016 (разн. | история) . . (0) . . Файл:Prac 318 GNU Make.pdf (PodymovVV загружена новая версия «Файл:Prac 318 GNU Make.pdf») (текущая)
- 14:01, 14 сентября 2016 (разн. | история) . . (+267) . . м Математические методы верификации схем и программ
- 12:56, 14 сентября 2016 (разн. | история) . . (+4) . . м Математические методы верификации схем и программ
- 12:26, 14 сентября 2016 (разн. | история) . . (+736) . . м Математические методы верификации схем и программ
- 12:14, 14 сентября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
- 12:07, 14 сентября 2016 (разн. | история) . . (+156) . . Н Файл:Seminar Verification 1.pdf (618 группа, математические методы верификации схем и программ, семинар по логике Хоара)
- 09:41, 9 сентября 2016 (разн. | история) . . (+74) . . Н Математические методы верификации схем и программ (Новая страница: «Категория:Лекционные курсы кафедры МК»)
- 13:43, 1 сентября 2016 (разн. | история) . . (+72) . . м Шаблон:Important Announcements
- 23:24, 10 июня 2016 (разн. | история) . . (0) . . Файл:Mllp 318 exam 2016.xls (PodymovVV загружена новая версия «Файл:Mllp 318 exam 2016.xls») (текущая)
- 14:29, 9 июня 2016 (разн. | история) . . (0) . . Файл:Mllp 318 exam 2016.xls (PodymovVV загружена новая версия «Файл:Mllp 318 exam 2016.xls»)
- 13:28, 9 июня 2016 (разн. | история) . . (+249) . . м Математическая логика (318, 319/2, 241, 242)
- 13:26, 9 июня 2016 (разн. | история) . . (+174) . . Н Файл:Mllp 318 exam 2016.xls (результаты экзамена по математической логике и логическому программированию, 318 группа, 2016 год)
- 14:41, 8 июня 2016 (разн. | история) . . (-2) . . м Математическая логика (318, 319/2, 241, 242)
- 14:40, 8 июня 2016 (разн. | история) . . (+180) . . м Математическая логика (318, 319/2, 241, 242)
- 14:27, 8 июня 2016 (разн. | история) . . (-103) . . м Математическая логика (318, 319/2, 241, 242)
- 17:55, 7 июня 2016 (разн. | история) . . (+309) . . м Математическая логика (318, 319/2, 241, 242)
- 17:39, 7 июня 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 03:13, 3 июня 2016 (разн. | история) . . (-1829) . . м Математическая логика (318, 319/2, 241, 242)
- 00:02, 3 июня 2016 (разн. | история) . . (-45) . . м Математическая логика (318, 319/2, 241, 242)
- 23:59, 2 июня 2016 (разн. | история) . . (-227) . . м Математическая логика (318, 319/2, 241, 242)
- 23:57, 2 июня 2016 (разн. | история) . . (+2742) . . м Математическая логика (318, 319/2, 241, 242)
- 22:56, 2 июня 2016 (разн. | история) . . (+201) . . Н Файл:Mathlog 318 seminar zfc.pdf (Математическая логика и логическое программирование, материалы семинара по аксиоматической теории множеств)
- 22:56, 2 июня 2016 (разн. | история) . . (+97) . . м Математическая логика (318, 319/2, 241, 242)
- 21:30, 1 июня 2016 (разн. | история) . . (+319) . . м Математическая логика (318, 319/2, 241, 242)
- 21:28, 1 июня 2016 (разн. | история) . . (+242) . . Н Файл:Mathlog 318 seminar sat-smt.pdf (Математическая логика и логическое программирование, материалы семинара по аксиоматическим теориям и задачам выполнимости формул)
- 13:50, 20 мая 2016 (разн. | история) . . (+826) . . м Математическая логика (318, 319/2, 241, 242)
- 13:41, 20 мая 2016 (разн. | история) . . (+47) . . м Математическая логика (318, 319/2, 241, 242)
- 13:40, 20 мая 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 18.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 18.pdf») (текущая)
- 17:40, 16 мая 2016 (разн. | история) . . (+1433) . . м Математическая логика (318, 319/2, 241, 242)
- 17:18, 16 мая 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 17.pdf»)
- 12:26, 16 мая 2016 (разн. | история) . . (-175) . . м Математическая логика (318, 319/2, 241, 242)
- 12:25, 16 мая 2016 (разн. | история) . . (-99) . . м Математическая логика (318, 319/2, 241, 242)
- 13:26, 15 мая 2016 (разн. | история) . . (+618) . . м Математическая логика (318, 319/2, 241, 242)
- 13:18, 15 мая 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 16.pdf»)
- 19:08, 29 апреля 2016 (разн. | история) . . (+126) . . м Математическая логика (318, 319/2, 241, 242)
- 19:07, 29 апреля 2016 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf»)
- 12:05, 26 апреля 2016 (разн. | история) . . (+5) . . м Математическая логика (318, 319/2, 241, 242)
- 13:12, 25 апреля 2016 (разн. | история) . . (+2579) . . м Математическая логика (318, 319/2, 241, 242)
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)