Шаблон:Important Announcements — различия между версиями

Текущая версия на 22:11, 12 мая 2024

Объявления

12 мая 2024 г.	Вниманию студентов групп 318, 518/1, 518/2! По ссылке - шаблоны для оформления курсовой работы.
31 марта 2024 г.	Вниманию студентов групп 618/1 и 618/2! По ссылке - требования к оформлению текста магистерской диссертации.
31 марта 2024 г.	Вниманию студентов группы 418! По ссылке - требования к оформлению текста ВКР.
26 ноября 2023 г.	Вниманию студентов групп 618мк_дса и 618мк_дус! По ссылке в папке "2023" - шаблоны отчёта по научно-исследовательской работе (НИР). Для сдачи НИР требуются этот отчёт и отчёт на двух страницах от учебной части. Время и точный порядок сдачи НИР будут сообщены отдельно.
26 ноября 2023 г.	Вниманию студентов группы 418! По ссылке в папке "2023" - шаблоны отчёта по преддипломной практике. Для сдачи практики требуется этот отчёт. Время и точный порядок сдачи практики будут сообщены отдельно.

Архив объявлений

15 мая 2023 г.	Вниманию студентов групп 318, 518/1, 518/2! По ссылке - шаблоны для оформления курсовой работы.
23 марта 2023 г.	Вниманию студентов групп 618/1 и 618/2! По ссылке - требования к оформлению текста магистерской диссертации.
23 марта 2023 г.	Вниманию студентов группы 418! По ссылке - требования к оформлению текста ВКР.
8 декабря 2022 г.	Вниманию студентов групп 618мк_дса и 618мк_дус! По ссылке в папке "2022" - шаблоны отчёта по научно-исследовательской работе (НИР). Для сдачи НИР требуются этот отчёт и отчёт на двух страницах от учебной части. Время и точный порядок сдачи НИР будут сообщены отдельно.
8 декабря 2022 г.	Вниманию студентов группы 418! По ссылке в папке "2022" - шаблоны отчёта по преддипломной практике. Для сдачи практики требуется этот отчёт. Время и точный порядок сдачи практики будут сообщены отдельно.
11 мая 2022 г.	Вниманию студентов групп 318, 518/1, 518/2! По ссылке - требования к оформлению текста курсовой работы. По другой ссылке - образец титульного листа в формате doc.
7 апреля 2022 г.	Вниманию студентов групп 618/1 и 618/2! По ссылке - требования к оформлению текста магистерской диссертации.
7 апреля 2022 г.	Вниманию студентов группы 418! По ссылке - требования к оформлению текста ВКР.
9 декабря 2021 г.	Вниманию студентов групп 618мк_дс и 618мк_дус! По ссылке в папке "2021" - шаблоны отчёта по научно-исследовательской работе (НИР). Для сдачи НИР требуются этот отчёт и отчёт на двух страницах от учебной части. Время и точный порядок сдачи НИР будут сообщены отдельно.
9 декабря 2021 г.	Вниманию студентов группы 418! По ссылке в папке "2021" - шаблоны отчёта по преддипломной практике. Для сдачи практики требуются этот отчёт и информационный лист от учебной части. Время и точный порядок сдачи практики будут сообщены отдельно.
17 мая 2021 г.	Вниманию студентов групп 318, 518/1, 518/2! По ссылке - требования к оформлению курсовой работы. Информация о сроках и порядке сдачи курсовых работ будет сообщена отдельно.
21 апреля 2021 г.	Вниманию студентов группы 618/1! По ссылке - требования к оформлению магистерской диссертации и информация о предзащите.
21 апреля 2021 г.	Вниманию студентов группы 618/2! По ссылке - требования к оформлению магистерской диссертации и информация о предзащите.
21 апреля 2021 г.	Вниманию студентов группы 418! По ссылке - требования к оформлению ВКР и информация о предзащите.
15 апреля 2021 г.	Начинает работу научно-исследовательский семинар Математические вопросы кибернетики. На первом заседании 16 апреля 2021 г. состоится доклад Яшунского Алексея Дмитриевича (Москва, Институт прикладной математики им. М.В. Келдыша РАН) "Преобразования конечных случайных величин системами функций k-значной логики и вопросы аппроксимируемости".
18 декабря 2020 г.	Уважаемые студенты 411-419 групп! Контрольная работа по курсу "Дополнительные главы дискретной математики" (ДГДМ) состоится в субботу 19 декабря 2020 года утром c 10:00 до 12:00. Для участия в ней Вам необходимо пройти в 9:50 по следующей ссылке в Google Classroom: https://classroom.google.com/c/MjQ0ODg5MjQ4MTA4?cjc=prst32i Там же имеется файл 4к_2п_ДГДМ_вар-ты.xlsx, в котором напротив Вашей фамилии Вы можете найти номер Вашего варианта. В 10:00 откроется доступ к вариантам, и начнётся контрольная работа. Выполнять задания необходимо тёмной ручкой на белой бумаге. В 12:00 контрольная работа закончится, и Вам будет выделено дополнительное время (5-10 минут) для того, чтобы Вы смогли отсканировать/сфотографировать Ваши решения и прикрепить полученные сканы/фото в Google Classroom. Имя прикрепляемого файла должно содержать Вашу фамилию (в латинской транскрипции), инициалы, номер группы и номер варианта. Например, "IvanovSP_417_2var.PDF". Настоятельно рекомендуем загружать работу одним PDF-файлом. Если это Вам не удобно, можно загружать несколько файлов, нумеруя их по порядку. Кроме формата PDF, можно использовать формат JPG. По любым вопросам, которые у Вас могут возникнуть, Вы можете обращаться в период с 10:00 до 10:30 к лекторам. Для этого Вам нужно будет подключиться к конференции zoom: https://us02web.zoom.us/j/88969881240?pwd=cnY2L2lheE5POFd5aWQvakFCV1FrZz09 Код доступа к конференции был передан старостам групп. С наилучшими пожеланиями, преподаватели курса ДГДМ.
01 ноября 2020 г.	Спецсеминар "Дискретная математика и математическая кибернетика". В пятницу, 6 ноября, в 16-20 состоится доклад Попкова Кирилла Андреевича (Институт прикладной математики им. М.В. Келдыша РАН) "О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов". Спецсеминар состоится онлайн с помощью zoom. Узнать коды доступа можно по эл. почте у преподавателя.
28 апреля 2020 г.	Вниманию студентов 418 группы и 618/1 и 618/2 групп! Предзащита выпускных работ пройдет 6-го и 7-го мая по специальному графику и с использованием системы Zoom. Время предзащиты определяется научным руководителем, поэтому каждый студент обязан связаться со своим научным руководителем для назначения времени защиты. Для допуска к предзащите студент или научный руководитель должен на адрес mk@cs.msu.ru прислать: электронную версию выпускной работы в формате pdf, скан-копию отзыва научного руководителя, компьютерная презентация доклада в формате ppt или pdf и информацию о рецензенте.
19 апреля 2020 г.	Вниманию студентов 418 группы! Появились требования к оформлению ВКР. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Информация о сроках и формате проведения предзащиты будет сообщена позднее.
19 апреля 2020 г.	Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению магистерской диссертации. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Информация о сроках и формате проведения предзащиты будет сообщена позднее.
02 марта 2020 г.	Продолжает работу научный семинар кафедры математической кибернетики «Дискретная математика и математическая кибернетика» (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Заседание семинара состоится 6 марта 2020 г., 16:30, ауд. 523. Докладчик: к.ф.-м.н. Сергеев Игорь Сергеевич (ФГУП «Научно-исследовательский институт «Квант», механико-математический факультет МГУ имени М.В. Ломоносова). Название доклада: «Некоторые вопросы синтеза параллельных схем».
28 февраля 2020 г.	Начинает работу просеминар кафедры, на который приглашаются студенты 1 и 2 курсов. Занятия проходят по пятницам с 16:20 до 17:55 в ауд. 507, первое занятие 28 февраля. Форма проведения: независимые лекции-семинары. План лекций-семинаров.
07 января 2020 г.	Вниманию студентов группы 618/1! Экзамен пр курсу Вероятностные и квантовые алгоритмы начнется 17 января (пятница) в 10 ч в ауд. 507. Консультация к экзамену по курсу Вероятностные и квантовые алгоритмы назначена 16 января (четверг) в 15.00 в ауд. 507.
29 декабря 2019 г.	Вниманию студентов 318-й группы! Консультация к экзамену по курсу Избранные вопросы дискретной математики состоится 8 января (в среду) в 11 ч в ауд. 504.
25 декабря 2019 г.	Вниманию студентов групп 418, 618/1 и 618/2! Второй заход отчета по преддипломной практике (418 группа) и отчета по НИР (группы 618/1 и 618/2) пройдет в понедельник 30 декабря 2019 в 11:00, в аудитории 503.
18 декабря 2019 г.	Вниманию студентов групп 418, 618/1 и 618/2! Отчет по преддипломной практике (418 группа) и отчет по НИР (группы 618/1 и 618/2) пройдут в среду 25 декабря 2019 в 11:00, в аудитории 524.
2 декабря 2019 г.	Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению отчета по научно-исследовательской работе (НИР) и шаблоны отчета по НИР.
2 декабря 2019 г.	Вниманию студентов 418 группы! Появились требования к оформлению отчета по преддипломной практике и шаблоны отчета по преддипломной практике.
13 ноября 2019 г.	Традиционный вечер кафедр математической кибернетики и информационной безопасности состоится 7 декабря (в субботу), ориентировочное время начала: 17:30.
30 сентября 2019 г.	Начинает работу научный семинар кафедры математической кибернетики «Дискретная математика и математическая кибернетика» (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Первое заседание семинара состоится 4 октября 2019 г., 16:30, ауд. 612. Докладчик: д.ф.-м.н., профессор В.Б. Алексеев. Название доклада: «Что такое квантовые вычисления?». Аннотация доклада.
2 сентября 2019 г.	Вниманию студентов 518/2 группы! Первое занятие по курсу Проектирование больших систем на C++ состоится 11 сентября.
29 мая 2018 г.	Вниманию студентов 318, 518/1, 518/2 групп! Последняя итерация защит курсовых работ пройдет 31 мая (пятница) 2019 г. в 11:00, ауд. 503.
27 мая 2018 г.	Вниманию студентов 318, 518/1, 518/2 групп! Вторая итерация защит курсовых работ пройдет 29 мая (среда) 2019 г. в 11:00, ауд. 612.
22 мая 2018 г.	Вниманию студентов 318, 518/1, 518/2 групп! Защита курсовых работ пройдет 27 мая (понедельник) 2019 г. в 11:00, ауд. 612.
22 мая 2018 г.	Вниманию студентов 318, 518/1, 518/2 групп! Появились требования к оформлению курсовой работы. Информация о сроках проведения защит курсовых работ будет сообщена позднее.
24 апреля 2019 г.	Вниманию студентов групп 418, 618/1 и 618/2! Финальный заход предзащиты ВКР и магистерских диссертаций пройдет 8 мая (среда) 2019 г. в 16:00, ауд. 582.
24 апреля 2019 г.	Вниманию студентов групп 418, 618/1 и 618/2! Второй заход предзащиты ВКР и магистерских диссертаций пройдет 26 апреля (пятница) 2019 г. в 16:20, ауд. 504.
9 апреля 2019 г.	Вниманию студентов групп 418, 618/1 и 618/2! Предзащита ВКР и магистерских диссертаций пройдет 24 апреля (среда) 2019 г. в 15:15, ауд. 582.
1 апреля 2019 г.	Вниманию студентов 418 группы! Появились требования к оформлению ВКР. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Информация о сроках проведения предзащиты будет сообщена позднее.
1 апреля 2019 г.	Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению магистерской диссертации. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Информация о сроках проведения предзащиты будет сообщена позднее.
1 января 2019 г.	Вниманию студентов 418 группы! Экзамен по курсу Сложность алгоритмов состоится 11 января в 10.00 (а не в 9.00) в ауд. 508.
1 января 2019 г.	Вниманию студентов 418 группы! Консультация по курсу Сложность алгоритмов состоится 10 января с 13 ч в ауд. 507.
1 января 2019 г.	Вниманию студентов группы 618/1! Экзамен по курсу Вероятностные и квантовые алгоритмы состоится 10 января в 10.00 (а не в 9.00) в ауд. 507.
1 января 2019 г.	Вниманию студентов группы 618/1! Консультация по курсу Вероятностные и квантовые алгоритмы состоится 9 января с 15 ч в ауд. 505.
30 декабря 2018 г.	Вниманию студентов 318 группы! Консультация по курсу Избранные вопросы дискретной математики состоится 9 января с 11 ч в ауд. 503.
20 декабря 2018 г.	Вниманию студентов групп 418, 618/1 и 618/2! Второй заход отчета по преддипломной практике (418 группа) и отчета по НИР (группы 618/1 и 618/2) пройдет 26 декабря 2018 в 15:00, в аудитории 609.
20 декабря 2018 г.	Вниманию студентов групп 418, 618/1 и 618/2! Отчет по преддипломной практике (418 группа) и отчет по НИР (группы 618/1 и 618/2) пройдут 24 декабря 2018 в 15:00, в аудитории 612.
10 декабря 2018 г.	Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению отчета по научно-исследовательской работе (НИР) и шаблоны отчета по НИР.
10 декабря 2018 г.	Вниманию студентов 418 группы! Появились требования к оформлению отчета по преддипломной практике и шаблоны отчета по преддипломной практике.
7 ноября 2018 г.	Традиционный вечер кафедр математической кибернетики и информационной безопасности состоится 8 декабря (в субботу), ориентировочное время начала: 18:00.
17 октября 2018 г.	Спецкурс для аспирантов "Графы и их приложения" читается по пятницам с 8-45 до 9-20 в ауд. 503. Первая лекция - 19 октября.
11 октября 2018 г.	Начинает работу Межфакультетский научный семинар «Актуальные математические задачи, связанные с проектированием СБИС» Руководители семинара – профессор кафедры математической кибернетики (МК) факультета ВМК Ложкин С.А. и профессор кафедры математической теории интеллектуальных систем (МАТИС) механико-математического факультета Гасанов Э.Э. На заседаниях семинара предполагается рассматривать научные результаты последних лет, полученные при решении математических задач, связанных с теми или иными этапами проектирования различных типов современных СБИС. Планируется также проведение докладов, посвященных текущему состоянию производства и проектирования СБИС, анализу возникающих в этих областях математических проблем. Первое заседание семинара состоится 12 октября 2018 г. в 16 30 в ауд. 508 (совместно с семинаром «Теория управляющих систем и математические модели СБИС»). На нём будет представлен доклад аспиранта кафедры МАТИС Ефимова Алексея Андреевича на тему: «Нижняя оценка энергопотребления для одного класса объёмных схем».
5 октября 2018 г.	Вниманию студентов 518/2 группы! Занятия по курсу Проектирование больших систем на C++ с 5 октября будут проходить в ауд. 612.
6 июня 2018 г.	Студенты, писавшие письменный тест по курсу Основы кибернетики (3-й поток), должны ознакомиться с результатами экзамена с 15:00 до 15:30 – в аудитории П-9 или с 16:00 до 16:30 – в аудитории 632.
28 мая 2018 г.	Вниманию студентов 318, 518/1, 518/2 групп! Вторая итерация защит курсовых работ состоится 30 мая (в среду). Для всех групп начало в 11:00, в ауд. 503.
22 мая 2018 г.	Вниманию студентов 318, 518/1, 518/2 групп! Защита курсовых работ состоится 28 мая (в понедельник). Начало в 11:00 для 318 группы, ауд. 503. Начало в 12:00 для студентов 518/1 и 518/2 групп, ауд. 503,504. Требования к оформлению курсовой работы вывешены на доске объявлений кафедры.
8 мая 2018 г.	Вниманию студентов 418, 618/1 и 618/2 групп! Последняя итерация предзащиты выпускных курсов (4 и 6 курс) кафедры пройдет 11-го мая в аудитории 505, начало в 10:00.
7 мая 2018 г.	Вниманию аспирантов 1 г/о кафедр ИО, МК и ММП! Экзамен по курсу Дискретные модели управляющих систем состоится 16 мая (в среду) в ауд. 582. Выдача вопросов в 16 ч. Начало опроса в 17 ч.
13 апреля 2018 г.	Вниманию студентов 418 группы! Появились требования к оформлению ВКР. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Предзащита ВКР состоится 27 апреля (в пятницу) с 16:20 до 18:00 в ауд. 504 .
13 апреля 2018 г.	Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению магистерской диссертации. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Предзащита магистерских диссертаций состоится 27 апреля (в пятницу) с 18:00 в ауд. 504 (группа 618/1) и ауд. 505 (группа 618/2).
9 февраля 2018 г.	Вниманию участников семинара "Сложность решения дискретных задач"! Первое (организационное) заседание семинара в весеннем семестре состоится 16 февраля (в пятницу) в 16-20 в ауд. 503. На нем будет рассказано о работе семинара в семестре и будут выданы статьи для докладов участникам.
1 января 2018 г.	Вниманию студентов группы 518/2! конcультация к экзамену по курсу Математические модели и методы логического синтеза сверхбольших интегральных схем пройдет 8-го января 2018 г. в ауд. 506, начало в 12:00.
26 декабря 2017 г.	Вниманию студентов групп 418, 618/1 и 618/2! вторая попытка сдачи отчета по преддипломной практике и по научно-исследовательской работе пройдет 29 декабря (в пятницу) с 12 ч в ауд. 503.
26 декабря 2017 г.	Вниманию аспирантов кафедры МК! Аттестация аспирантов кафедры МК состоится в среду 17 января в 14 ч 00 мин, ауд. 612. На аттестацию необходимо прийти со всеми необходимыми для аттестации бумагами, полностью оформленными. О необходимых бумагах и их оформлении узнавайте в отделе аспирантуры.
22 декабря 2017 г.	Вниманию студентов группы 618/1! Консультация по курсу Вероятностные и квантовые алгоритмы состоится 9 января (во вторник) с 15 ч 00 мин в ауд. 504. Экзамен - 10 января (в среду) с 9 ч 00 мин в ауд. 507.
22 декабря 2017 г.	Вниманию студентов 418 группы! Консультация по курсу Сложность алгоритмов состоится 17 января (в среду) с 15 ч 00 мин в ауд. 504. Экзамен - 18 января (в четверг) с 9 ч 00 мин в ауд. 508.
22 декабря 2017 г.	Вниманию студентов 318 группы! Консультация по курсу Избранные вопросы дискретной математики состоится 13 января (в субботу) с 12 ч 30 мин в ауд. 507.
12 декабря 2017 г.	Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению отчета по научно-исследовательской работе (НИР) и шаблоны отчета по НИР. Отчет по НИР состоится 25 декабря (в понедельник) с 11 ч в ауд. 503 (группа 618/1) и ауд. 504 (группа 618/2).
12 декабря 2017 г.	Вниманию студентов 418 группы! Появились требования к оформлению отчета по преддипломной практике и шаблоны отчета по преддипломной практике. Отчет по преддипломной практике состоится 25 декабря (в понедельник) с 12 ч в ауд. 503 и в ауд. 504.
10 ноября 2017 г.	Традиционный вечер кафедр математической кибернетики и информационной безопасности состоится 25 ноября (в субботу), ориентировочное время начала: 16:00.
6 октября 2017 г.	Вниманию студентов групп 518/1 и 618/1! На странице "Магистерские программы" появился список курсов, которые можно выбрать в качестве элективных в этом семестре. Для того, чтобы в конце семестра зачесть курс не из списка как элективный, необходимо срочно (!) обратиться к ответственному исполнителю магистерской программы "Дискретные структуры и алгоритмы".
5 октября 2017 г.	Вниманию студентов групп 518/2 и 618/2! На странице "Магистерские программы" появился список курсов, которые можно выбрать в качестве элективных в этом семестре. Чтобы была возможность в конце семестра зачесть курс не из списка как элективный, необходимо срочно (!) обратиться к руководству кафедры.
14 сентября 2017 г.	Вниманию студентов 518/2 группы! Занятия по курсу Проектирование больших систем на C++ с 15 сентября будут проходить в ауд. 609.
1 сентября 2017 г.	Вниманию студентов 318 группы! Нагрузка по курсу Избранные вопросы дискретной математики (ИВДМ): лекции - каждую неделю, семинары - раз в две недели. В понедельник, 4 сентября, состоится только лекция по ИВДМ на 3-й паре.
1 сентября 2017 г.	Поздравляем с началом нового учебного года! Успехов и новых свершений!
18 мая 2017 г.	Вниманию студентов 318, 518/1, 518/2 групп! Защита курсовых работ состоится 26 мая (в пятницу) начало в 11:30, ауд. 504,505. Требования к оформлению работы вывешены на доске объявлений кафедры. Образец титульного листа дипломной работы.
5 мая 2017 г.	Вниманию студентов 618/1 и 618/2 групп! Пересдача предзащиты (отчете по преддипломной практике) состоится 10 мая (в пятницу) с 15 ч 00 мин до 16 ч 30 мин, ауд. 504.
3 мая 2017 г.	Вниманию студентов 418, 618/1 и 618/2 групп! Пересдача предзащиты (отчете по преддипломной практике) состоится 5 мая (в пятницу) с 16 ч 30 мин до 19 ч, ауд. 504. Первыми будут выступать студенты 418 группы.
21 апреля 2017 г.	Вниманию студентов 618/1 и 618/2 групп! Появились сведения о предзащите (отчете по преддипломной практике). Предзащита состоится 3 мая (в среду) с 16 ч 30 мин до 18 ч: 618/1 группа - в ауд. 503; 618/2 группа - в ауд. 504.
21 апреля 2017 г.	Вниманию студентов 418 группы! Появились сведения о предзащите (отчете по преддипломной практике). Предзащита состоится 3 мая (в среду) с 15 ч до 16 ч 20 мин в ауд. 505.
12 апреля 2017 г.	В среду, 12 апреля в 17-00 (обратите внимание на время начала семинара!) состоится доклад Vijay Ganesh (University of Waterloo) "On The Unreasonable Effectiveness of Boolean SAT Solvers". Abstract: Modern conflict-driven clause-learning (CDCL) Boolean SAT solvers routinely solve very large industrial SAT instances in relatively short periods of time. This phenomenon has stumped both theoreticians and practitioners since Boolean satisfiability is an NP-complete problem widely believed to be intractable. It is clear that these solvers somehow exploit the structure of real-world instances. However, to-date there have been few results that precisely characterize this structure or shed any light on why these SAT solvers are so efficient. In this talk, I will present results that provide a deeper empirical understanding of why CDCL SAT solvers are so efficient, which may eventually lead to a complexity-theoretic result. Our results can be divided into two parts. First, I will talk about structural parameters that can characterize industrial instances and shed light on why they are easier to solve even though they may contain millions of variables compared to small crafted instances with hundreds of variables. Second, I will talk about internals of CDCL SAT solvers, and describe why they are particularly suited to solve industrial instances.
3 января 2017 г.	Вниманию студентов 418 группы! Консультация по курсу «Сложность алгоритмов» - во вторник 17 января в 12.00 в ауд. 504.
3 января 2017 г.	Вниманию студентов группы 618/1. Консультация по курсу «Вероятностные и квантовые алгоритмы» - в воскресенье 15 января в 12.00 в ауд. 506.
30 декабря 2016 г.	С НОВЫМ ГОДОМ! ЗДОРОВЬЯ, УСПЕХОВ, УДАЧИ В НОВОМ ГОДУ.
16 декабря 2016 г.	Вывешены вопросы к экзамену по курсу "Вероятностные и квантовые алгоритмы" для гр. 618/1, лектор - профессор Алексеев Валерий Борисович.
16 декабря 2016 г.	На странице курса Сложность алгоритмов вывешены Вопросы к экзамену по курсу "Сложность алгоритмов" для гр. 418 2016 года, лектор - профессор Алексеев Валерий Борисович.
14 декабря 2016 г.	Появилась программа курса "Дискретный анализ", лектор - профессор Сапоженко Александр Антонович.
2 декабря 2016 г.	Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению отчета по научно-исследовательской работе (НИР). Отчет по НИР состоится 23 декабря (в пятницу) с 10 ч в ауд. 503.
2 декабря 2016 г.	Вниманию студентов 418 группы! Появились требования к оформлению отчета по преддипломной практике. Отчет по преддипломной практике состоится 23 декабря (в пятницу) с 14 ч 30 мин в ауд. 503.
7 ноября 2016 г.	Традиционный вечер кафедр математической кибернетики и информационной безопасности состоится 26 ноября (в субботу), ориентировочное время начала: 16:00.
18 октября 2016 г.	24 октября в МГУ будет проходить семинар по программе MIPSfpga. На семинаре вас познакомят с современными направлениями и архитектурными решениями при разработке систем на кристалле, а также предоставят возможность поработать с реализацией процессора MIPS в ПЛИС на примере образовательных плат компаний Altera и Xilinx. Подробности здесь.
13 сентября 2016 г.	На странице курса Основы кибернетики (3-й поток) вывешены результаты пересдачи по этому курсу, прошедшей 09.09.2016. Показ работ состоится 14.09 в 14:30 в ауд. 504.
20 мая 2016 г.	Вниманию студентов 318 группы! Защита курсовых работ состоится в пятницу, 27 мая, с 14 ч (аудитория будет объявлена дополнительно). Требования к оформлению работы вывешены на доске объявлений кафедры.
20 мая 2016 г.	Вниманию студентов 518/1 и 518/2 групп! Защита курсовых работ состоится в среду, 25 мая, с 11 ч 30 мин (аудитория будет объявлена дополнительно). Требования к оформлению работы вывешены на доске объявлений кафедры.
16 апреля 2016 г.	Вниманию студентов 2 курса! 25 апреля в ауд. 504 пройдет общая встреча студентов с преподавателями кафедры математической кибернетики, начало в 16:20.
8 апреля 2016 г.	Вниманию студентов 418 группы! Появилась информация о предзащите в 418 группе и образец титульного листа ВКР.
04 апреля 2016 г.	Вниманию студентов магистратуры! Начинается чтение спецкурса на английском языке Boolean SAT/SMT Solvers for Software Engineering. Лекции первой части курса пройдут 4-го, 5-го, 7-го и 8-го арпеля в аудитории 526б, начало лекций в 18:00.
04 марта 2016 г.	Вниманию студентов 1 и 2 курсов! Начинает свою работу просеминар кафедры математической кибернетики и лаборатории дискретных управляющих систем и их приложений для студентов 2 курса. Первое заседание просеминара пройдет 14 марта с 16:20 до 17:55 в ауд. 504. Информацию о докладах можно будет найти в ближайшее время на странице просеминара.
26 февраля 2016 г.	На семинаре кафедры математической кибернетики состоится представление диссертации Татьяны Анатольевной Новиковой (Казахстанский филиал МГУ в г. Астана).
20 января 2016 г.	Вывешены вопросы к экзамену по курсу «Основы кибернетики» (2-й поток).
12 января 2016 г.	Вниманию студентов группы 518/2! Консультация к экзамену по курсу «Элементы теории синтеза, надёжности и контроля дискретных управляющих систем» состоится 16.01.2016 в 11:00 в ауд. 506. На ней будут объявлены результаты контрольной и выданы проверенные работы.
29 декабря 2015 г.	Вывешен список вопросов и типовых задач к экзамену по курсу «Элементы теории дискретных управляющих систем», который состоится 12.01.2016 в 9:00 в ауд. 505. Консультация к этому экзамену пройдёт 11.01.2016 в 14:00 в ауд. 503.
14 декабря 2015 г.	Вывешены вопросы, типовые задачи и литература к экзамену по курсу «Элементы теории синтеза, надёжности и контроля дискретных управляющих систем». Контрольная по вопросам и задачам разделов I, II состоится 19 декабря в 13:00 в ауд. 507, а консультация к ней пройдёт 18 декабря в 16:30 в ауд. 505.
13 декабря 2015 г.	Вывешены вопросы, типовые задачи и литература к экзамену по курсу «Основы кибернетики». См. дополнительную информацию на странице курса.
24 ноября 2015 г.	Поздравляем команду факультета ВМК с победой в соревновании 2015 CAD Contest! Подробности здесь.
24 ноября 2015 г.	Вниманию участников вечера кафедр! Мероприятие состоится в аудитории П-7 2-го учебного корпуса.
19 ноября 2015 г.	19 ноября 2015 года исполняется 80 лет со дня рождения доктора физико-математических наук профессора Гария Петровича Гаврилова (19.11.1935 – 05.12.1999), одного из первых двух штатных сотрудников кафедры математической кибернетики (в момент открытия она называлась кафедрой математической логики и теории автоматов). Гарий Петрович внес огромный вклад в организацию образования на факультете ВМК МГУ, в разработку новых курсов. Он получил много глубоких интересных результатов в математике, подготовил 6 кандидатов наук. Благодаря его переводам широкий круг людей в нашей стране познакомился с теорией графов. С краткой биографией и научными достижениями Гария Петровича Гаврилова можно ознакомиться здесь.
8 ноября 2015 г.	Традиционный вечер кафедр математической кибернетики и информационной безопасности (ранее - вечер кафедры математической кибернетики) состоится 28 ноября (в субботу). Начало в 16:00. Место проведения - 2-й учебный корпус, факультет ВМК. Аудитория будет объявлена позднее. По всем вопросам (в том числе выписыванию пропуска для прохода в корпус) можно обратиться сюда: valdus@yandex.ru.
5 ноября 2015 г.	Вниманию студентов! 10 ноября (16:00-20:00) представителем компании Imagination Technologies Юрием Панчулом совместно с кафедрой математической кибернетики будет проведен семинар, посвященный проекту MIPSfpga. На семинаре вас познакомят с основами работы с ПЛИС на примере образовательных плат компаний Altera и Xilinx. Подробности здесь.
20 октября 2015 г.	Вниманию студентов 4-5 курсов! Спецсеминар Теория управляющих систем и математические модели СБИС 23 октября пройдет совместно со спецсеминаром Дискретная математика и математическая кибернетика в 16:20, ауд. 612.
17 октября 2015 г.	Вниманию студентов 318 группы! Выложено первое домашнее задание по практикуму.
9 октября 2015 г.	Вниманию студентов спецсеминаров Некоторые вопросы теории управляющих систем и Теория управляющих систем и математические модели СБИС 9 октября пройдет совместное заседание спесеминаров в ауд. 704.
29 сентября 2015 г.	Вниманию студентов 418 группы! 30 сентября и 7 октября вместо лекций по курсу "Элементы теории дискретных управляющих систем" пройдут занятия по "Практикуму на ЭВМ".
1 сентября 2015 г.	Первая и вторая лекции по курсу Математические модели и методы логического синтеза СБИС для студентов группы 518(2) переносятся с 2 сентября и 9 сентября на 3-ю и 4-ую пару (с 12:50 до 16:10) 10 сентября в аудиторию 506.
31 августа 2015 г.	Вниманию студентов 518(2) группы! 2 сентября в 10-00 в ауд. 696 состоится собрание студентов магистерской программы Дискретные управляющие системы и их приложения. Магистрантам указанной программы (особенно тем, кто не заканчивал кафедру математической кибернетики) рекомендуется прослушать первую часть курса Элементы теории дискретных управляющих систем, который читается для студентов 418 группы (см. расписание и следующее объявление).
31 августа 2015 г.	Вниманию студентов 418 группы! Вместо занятий по практикуму 2 сентября и 9 сентября в 10-30 в ауд. 696 для студентов 418 группы состоятся лекции С.А.Ложкина по курсу Элементы теории дискретных управляющих систем.
28 августа 2015 г.	Собрание коллектива факультета ВМК состоится в понедельник, 31 августа, в 12-30 в ауд. П_13.
26 мая 2015 г.	Защита курсовых работ студентов 318 группы состоится в среду, 27 мая, в ауд. 504. Начало в 11 ч. Информация об оформлении курсовых работ здесь. Образец оформления титульного листа курсовой работы здесь.
26 апреля 2015 г.	Выложены дополнительные теоретические задачи к разделу "синтез и сложность управляющих систем" по курсам Основы кибернетики (3-й поток) , Основы кибернетики (318, 418 группы).
14 апреля 2015 г.	Обновление информации для 518 группы об оформлении дипломной работы, сроках сдачи текста работы на кафедру и предзащитах, образец оформления титульного листа дипломной работы.
14 апреля 2015 г.	Обновление информации для 418 группы об оформлении выпускной квалификационной работы, сроках сдачи текста работы на кафедру и предзащитах, образец оформления титульного листа выпускной квалификационной работы.
22 марта 2015 г.	Выложена дополнительная задача к разделу "Эквивалентные преобразования управляющих систем" по курсам Основы кибернетики (3-й поток) , Основы кибернетики (318, 418 группы). Задачи 1 и 3 к разделу "Минимизация ДНФ" больше не принимаются.
5 марта 2015 г.	Выложены дополнительные задачи к разделу "Минимизация ДНФ" по курсам Основы кибернетики (3-й поток) , Основы кибернетики (318, 418 группы)
6 февраля 2015 г.	Доступно предварительное расписание занятий на весенний семестр.
18 января 2015 г.	Консультация к экзамену по курсу Дискретная математика 1 (группа 141) для состоится 23 января, в пятницу, в ауд. 505. Консультация лектора - в 16 ч, консультация по решению задач - в 14 ч.
15 января 2015 г.	Консультация к экзамену по курсу Избранные вопросы дискретной математики для 318 группы состоится 20 января, во вторник, в 12-00 в аудитории 504. Информация о результатах коллоквиумов здесь.
10 января 2015 г.	Консультация к экзамену по курсу "Сложность алгоритмов" для 418 группы пройдет 16 января в 16:00 в аудитории 505. Материалы для подготовки к экзамену можно найти на странице курса.
6 января 2015 г.	Консультация к экзамену по курсу "Избранные вопросы математической теории вычислений" для 518 группы пройдет 9 января в 16:00 в аудитории 504. Материалы для подготовки к экзамену можно найти на странице курса.
5 января 2015 г.	Консультация к экзамену по курсу "Математические модели и методы синтеза СБИС" пройдет 9 января в 12:00 в аудитории 504. Материалы для подготовки к экзамену можно найти на странице курса.
25 ноября 2014 г.	Традиционный вечер кафедры математической кибернетики состоится 6 декабря (в субботу) в ауд. П-7. Начало в 16:00.
8 октября 2014 г.	Спецсеминар Некоторые вопросы теории управляющих систем начинает работу 10 октября. Спецсеминар будет проходить по пятницам в аудитории 704 в 16:20.
30 сентября 2014 г.	Спецсеминар Теория управляющих систем и математические модели СБИС начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории 612 в 16:20.
30 сентября 2014 г.	Совместный спецсеминар Дискретный анализ (рук. А.А. Сапоженко) и Сложность решения дискретных задач (рук. С.Н. Селезнева) начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории 504 с 16:20 до 17:55.
29 сентября 2014 г.	Совместный спецсеминар Теоретические проблемы программирования (рук. Р.И. Подловченко, В.А. Захаров) и Математическая криптография (рук. М.И. Анохин, Н.П. Варновский) начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории 508 в 16:20.
29 сентября 2014 г.	Вниманию слушателей спецкурса C++ 11/14 и современные аспекты построения компиляторов. Спецкурс будет проходить по четвергам в аудитории 685 в 16:20.
22 сентября 2014 г.	Начинается чтение спецкурса Вычисления на машинах Минского. Лектор — проф. Марченков Сергей Серафимович. Первое занятие — 29 сентября в 10:30 аудитории 526-Б.
19 сентября 2014 г.	Начинается чтение спецкурса C++ 11/14 и современные аспекты построения компиляторов. Первое занятие — 25 сентября в аудитории 705.
11 июня 2014 г.	На страницах курсов Основы кибернетики (3-й поток) и Элементы теории дискретных управляющих систем (318 гр.) появилась информация о проведении экзаменов по этим курсам.
10 июня 2014 г.	Вопросы к экзамену по курсу "Введение в математическую биологию" для студентов 418 группы.
06 июня 2014 г.	Для студентов 318 группы на странице курса Основы кибернетики (318, 418 группы), а также для студентов 320-328 групп на странице курса Основы кибернетики (3-й поток) появилась информация по поводу проведения консультаций.
03 июня 2014 г.	Для студентов 320-328 групп на странице курса Основы кибернетики (3-й поток) появилась информация по поводу проведения переписывания контрольных работ.
14 апреля 2014 г.	Для студентов 518 группы: информация о требованиях к дипломной работе и образец титульного листа дипломной работы.
24 марта 2014 г.	Объявляется набор студентов и аспирантов в команду для решения одной из задач соревнования 2014 CAD Contest at ICCAD. Записаться в команду и задать вопросы можно по адресу mikle.shupletsov@gmail.com. Краткое введение в проблематику задачи пройдет в рамках спецсеминара "Некоторые вопросы теории управляющих систем" 26 марта в 14-35 в ауд. 507. Кроме того, более подробную информацию по соревнованию можно будет получить 28 марта в 16-10 в ауд. П-13 (после лекции по курсу "Основы кибернетики").
24 марта 2014 г.	Выложена дополнительная задача к разделу "Синтез и сложность управляющих систем" по курсу Основы кибернетики (3-й поток).
18 февраля 2014 г.	Начинает работу спецсеминар Сложность решения дискретных задач. Первое заседание семинара состоится 21 февраля 2014 г. в 16-20 в ауд. 503.
17 февраля 2014 г.	Начинает работу спецсеминар Теория управляющих систем и математические модели СБИС. Первое заседание состоится 21 февраля в 16.20 в ауд. 609.
17 февраля 2014 г.	Начинает работу спецсеминар Некоторые вопросы теории управляющих систем. Первое заседание состоится 19 февраля в 14.35 в ауд. 507.
12 февраля 2014 г.	Начинается чтение спецкурса Архитектурные особенности современных вычислительных систем. Информация обновлена на странице курса.
10 февраля 2014 г.	Появилось объявление о докладе на спецсеминаре Дискретная математика и математическая кибернетика 14 февраля 2014 г.
15 января 2014 г.	Появилось объявление о докладе на спецсеминаре Дискретная математика и математическая кибернетика 7 февраля 2014 г.
1 января 2014 г.	С НОВЫМ 2014 ГОДОМ!
30 декабря 2013 г.	Для студентов 4-го курса появилось расписание консультаций по курсам "Основы кибернетики (2-й поток)" и "Математическая логика и логическое программирование" (для 3-го потока + 418-419 группы)
30 декабря 2013 г.	Для студентов 318, 418, 419, 518 групп появилось расписание консультаций кафедральных курсов
24 декабря 2013 г.	Для студентов 418-419 групп появились вопросы к экзамену и объявление о консультации по курсу "Сложность алгоритмов"
19 декабря 2013 г.	Для студентов 318 группы появилась информация к зачету на странице курса "Дополнительные главы дискретной математики"
15 декабря 2013 г.	Для студентов 3-го курса 2-го потока появились вопросы к зачету по курсу "Дополнительные главы дискретной математики"
13 декабря 2013 г.	Для студентов 518 группы появилась информация об отчете по производственной практике и об отчете по дипломной работе
11 декабря 2013 г.	Традиционный ВЕЧЕР КАФЕДРЫ МАТЕМАТИЧЕСКОЙ КИБЕРНЕТИКИ факультета ВМК состоится в субботу 14 декабря в аудитории П7. Гостей ждем к 16 часам, официальное начало мероприятия -- в 16:30. Отметим, что в этом году фактически проводится совместный вечер двух кафедр -- математической кибернетики и информационной безопасности. Приходите -- будет интересно и весело!
3 октября 2013 г.	Начинает работу спецсеминар Некоторые вопросы теории управляющих систем. Первое заседание состоится 7 октября в 14.35 в ауд. 506.
19 сентября 2013 г.	Начинает работу спецсеминар Теория управляющих систем и математические модели СБИС. Первое заседание состоится 20 сентября в 16.20 в ауд. 612.

@@ Строка 1: / Строка 1: @@
 == Объявления==
 {|width = 90%
-{{announce News|16 декабря| Вывешены [[Media: Вопросы_к_экзамену_по_курсу_ВКА.docx| вопросы к экзамену по курсу "Вероятностные и квантовые алгоритмы"]] для гр. 618/1, лектор - профессор [[Алексеев Валерий Борисович]].}}
+{{announce News|12 мая 2024 г.| '''Вниманию студентов групп 318, 518/1, 518/2!''' [https://m.cs.msu.ru/s/QeYy8btneRBaKj9 По ссылке] - шаблоны для оформления курсовой работы.}}
-{{announce News|16 декабря| На странице курса [[Сложность алгоритмов]] вывешены Вопросы к экзамену по курсу "Сложность алгоритмов" для гр. 418 2016 года, лектор - профессор [[Алексеев Валерий Борисович]].}}
+{{announce News|31 марта 2024 г.| '''Вниманию студентов групп 618/1 и 618/2!''' [[Media:MD_requirements.pdf|По ссылке]] - требования к оформлению текста магистерской диссертации.}}
-{{announce News|14 декабря| Появилась [[Media: Программа курса ДА.doc| программа курса "Дискретный анализ"]], лектор - профессор [[Сапоженко Александр Антонович]].}}
+{{announce News|31 марта 2024 г.| '''Вниманию студентов группы 418!''' [[Media:VKR_requirements.pdf|По ссылке]] - требования к оформлению текста ВКР.}}
-{{announce News|2 декабря| Вниманию студентов 618/1 и 618/2 групп! Появились [[Media: otchet618-2016.doc| требования к оформлению отчета по научно-исследовательской работе (НИР)]]. Отчет по НИР состоится 23 декабря (в пятницу) с 10 ч в ауд. 503.}}
+{{announce News|26 ноября 2023 г.| '''Вниманию студентов групп 618мк_дса и 618мк_дус!''' [https://m.cs.msu.ru/s/Z2LcWyC46Ybp7rx По ссылке] в папке "2023" - шаблоны отчёта по научно-исследовательской работе (НИР). Для сдачи НИР требуются этот отчёт и отчёт на двух страницах от учебной части. Время и точный порядок сдачи НИР будут сообщены отдельно.}}
-{{announce News|2 декабря| Вниманию студентов 418 группы! Появились [[Media: otchet418-2016.doc| требования к оформлению отчета по преддипломной практике]]. Отчет по преддипломной практике состоится 23 декабря (в пятницу) с 14 ч 30 мин в ауд. 503.}}
+{{announce News|26 ноября 2023 г.| '''Вниманию студентов группы 418!''' [https://m.cs.msu.ru/s/km8pLBN6kyj8Kxk По ссылке] в папке "2023" - шаблоны отчёта по преддипломной практике. Для сдачи практики требуется этот отчёт. Время и точный порядок сдачи практики будут сообщены отдельно.}}
-{{announce News|7 ноября| Традиционный '''[[Вечер кафедр 2016|вечер кафедр]]''' математической кибернетики и информационной безопасности состоится '''26 ноября''' (в субботу), ориентировочное время начала: '''16:00'''.}}
-{{announce News|18 октября| 24 октября в МГУ будет проходить семинар по программе MIPSfpga. На семинаре вас познакомят с современными направлениями и архитектурными решениями при разработке систем на кристалле, а также предоставят возможность поработать с реализацией процессора MIPS в ПЛИС на примере образовательных плат компаний Altera и Xilinx. [[Семинар_MIPSfpga_(24.10.2016)|Подробности здесь.]]}}
-{{announce News|13 сентября| На странице курса [[Основы кибернетики (3-й поток)]] вывешены результаты пересдачи по этому курсу, прошедшей 09.09.2016. Показ работ состоится 14.09 в 14:30 в ауд. 504.}}
-{{announce News|20 мая| Вниманию студентов 318 группы! Защита курсовых работ состоится в пятницу, 27 мая, с 14 ч (аудитория будет объявлена дополнительно). Требования к оформлению работы вывешены на доске объявлений кафедры.}}
 <includeonly>|- class="announce"
@@ Строка 19: / Строка 15: @@
 ----
 {|width = 90%
+{{announce News|15 мая 2023 г.| '''Вниманию студентов групп 318, 518/1, 518/2!''' [https://m.cs.msu.ru/s/QeYy8btneRBaKj9 По ссылке] - шаблоны для оформления курсовой работы.}}
+{{announce News|23 марта 2023 г.| '''Вниманию студентов групп 618/1 и 618/2!''' [[Media:Требования_к_МД_618.pdf|По ссылке]] - требования к оформлению текста магистерской диссертации.}}
+{{announce News|23 марта 2023 г.| '''Вниманию студентов группы 418!''' [[Media:Требования_к_ВКР_418.pdf|По ссылке]] - требования к оформлению текста ВКР.}}
+{{announce News|8 декабря 2022 г.| '''Вниманию студентов групп 618мк_дса и 618мк_дус!''' [https://m.cs.msu.ru/s/Z2LcWyC46Ybp7rx По ссылке] в папке "2022" - шаблоны отчёта по научно-исследовательской работе (НИР). Для сдачи НИР требуются этот отчёт и отчёт на двух страницах от учебной части. Время и точный порядок сдачи НИР будут сообщены отдельно.}}
+{{announce News|8 декабря 2022 г.| '''Вниманию студентов группы 418!''' [https://m.cs.msu.ru/s/km8pLBN6kyj8Kxk По ссылке] в папке "2022" - шаблоны отчёта по преддипломной практике. Для сдачи практики требуется этот отчёт. Время и точный порядок сдачи практики будут сообщены отдельно.}}
+{{announce News|11 мая 2022 г.| '''Вниманию студентов групп 318, 518/1, 518/2!''' [[Media:Курсовая_работа_-_требования.pdf |По ссылке]] - требования к оформлению текста курсовой работы. [[Media:Курсовая_работа_-_титульный_лист.doc |По другой ссылке]] - образец титульного листа в формате doc.}}
+{{announce News|7 апреля 2022 г.| '''Вниманию студентов групп 618/1 и 618/2!''' [[Media:Требования_к_МД_618.pdf|По ссылке]] - требования к оформлению текста магистерской диссертации.}}
+{{announce News|7 апреля 2022 г.| '''Вниманию студентов группы 418!''' [[Media:Требования_к_ВКР_418.pdf|По ссылке]] - требования к оформлению текста ВКР.}}
+{{announce News|9 декабря 2021 г.| '''Вниманию студентов групп 618мк_дс и 618мк_дус!''' [https://m.cs.msu.ru/s/Z2LcWyC46Ybp7rx По ссылке] в папке "2021" - шаблоны отчёта по научно-исследовательской работе (НИР). Для сдачи НИР требуются этот отчёт и отчёт на двух страницах от учебной части. Время и точный порядок сдачи НИР будут сообщены отдельно.}}
+{{announce News|9 декабря 2021 г.| '''Вниманию студентов группы 418!''' [https://m.cs.msu.ru/s/km8pLBN6kyj8Kxk По ссылке] в папке "2021" - шаблоны отчёта по преддипломной практике. Для сдачи практики требуются этот отчёт и информационный лист от учебной части. Время и точный порядок сдачи практики будут сообщены отдельно.}}
+{{announce News|17 мая 2021 г.| '''Вниманию студентов групп 318, 518/1, 518/2!''' [[Media:Requirements-kurs-2021.zip |По ссылке]] - требования к оформлению курсовой работы. Информация о сроках и порядке сдачи курсовых работ будет сообщена отдельно.}}
+{{announce News|21 апреля 2021 г.| '''Вниманию студентов группы 618/1!''' [[Media:К_предзащите_618-1_2021.pdf|По ссылке]] - требования к оформлению магистерской диссертации и информация о предзащите.}}
+{{announce News|21 апреля 2021 г.| '''Вниманию студентов группы 618/2!''' [[Media:К_предзащите_618-2_2021.pdf|По ссылке]] - требования к оформлению магистерской диссертации и информация о предзащите.}}
+{{announce News|21 апреля 2021 г.| '''Вниманию студентов группы 418!''' [[Media:К_предзащите_418_2021.pdf|По ссылке]] - требования к оформлению ВКР и информация о предзащите.}}
+{{announce News|15 апреля 2021 г.| Начинает работу научно-исследовательский семинар '''[[Математические вопросы кибернетики]]'''. На первом заседании '''16 апреля 2021 г'''. состоится доклад '''Яшунского Алексея Дмитриевича''' (Москва, Институт прикладной математики им.
+М.В. Келдыша РАН) "'''Преобразования конечных случайных величин системами функций k-значной логики и вопросы аппроксимируемости'''".}}
+{{announce News|18 декабря 2020 г.| Уважаемые студенты 411-419 групп!
+Контрольная работа по курсу "Дополнительные главы дискретной математики" (ДГДМ) состоится в субботу 19 декабря 2020 года утром c 10:00 до 12:00.
+Для участия в ней Вам необходимо пройти в 9:50 по следующей ссылке в Google Classroom:
+https://classroom.google.com/c/MjQ0ODg5MjQ4MTA4?cjc&#61;prst32i
+Там же имеется файл 4к_2п_ДГДМ_вар-ты.xlsx, в котором напротив Вашей фамилии Вы можете найти номер Вашего варианта.
+В 10:00 откроется доступ к вариантам, и начнётся контрольная работа.
+Выполнять задания необходимо тёмной ручкой на белой бумаге. В 12:00 контрольная работа закончится, и Вам будет выделено дополнительное время (5-10 минут) для того, чтобы Вы смогли
+отсканировать/сфотографировать Ваши решения и прикрепить полученные сканы/фото в Google Classroom. Имя прикрепляемого файла должно содержать Вашу фамилию (в латинской транскрипции), инициалы, номер группы и номер варианта.
+Например, "IvanovSP_417_2var.PDF". Настоятельно рекомендуем загружать работу одним PDF-файлом. Если это Вам не удобно, можно загружать несколько файлов, нумеруя их по порядку.
+Кроме формата PDF, можно использовать формат JPG.
+По любым вопросам, которые у Вас могут возникнуть, Вы можете обращаться в период с 10:00 до 10:30 к лекторам. Для этого Вам нужно будет подключиться к конференции zoom:
+https://us02web.zoom.us/j/88969881240?pwd&#61;cnY2L2lheE5POFd5aWQvakFCV1FrZz09
+Код доступа к конференции был передан старостам групп.
+С наилучшими пожеланиями,
+преподаватели курса ДГДМ.}}
+{{announce News|01 ноября 2020 г.| Спецсеминар "'''Дискретная математика и математическая кибернетика'''". В пятницу, '''6 ноября''', в '''16-20''' состоится доклад '''Попкова Кирилла Андреевича''' (Институт прикладной математики им. М.В. Келдыша РАН) "'''О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов'''". Спецсеминар состоится '''онлайн''' с помощью zoom. Узнать коды доступа можно по эл. почте у [[Селезнева Светлана Николаевна | преподавателя]].}}
+{{announce News|28 апреля 2020 г.| '''Вниманию студентов 418 группы и 618/1 и 618/2 групп!''' Предзащита выпускных работ пройдет 6-го и 7-го мая по специальному графику и с использованием системы Zoom. Время предзащиты определяется научным руководителем, поэтому каждый студент обязан связаться со своим научным руководителем для назначения времени защиты. Для допуска к предзащите студент или научный руководитель должен на адрес mk@cs.msu.ru прислать: электронную версию выпускной работы в формате pdf, скан-копию отзыва научного руководителя, компьютерная презентация доклада в формате ppt или pdf и информацию о рецензенте.}}
+{{announce News|19 апреля 2020 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: vkr418_2020.pdf| требования к оформлению ВКР]]. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках и формате проведения предзащиты будет сообщена позднее.}}
+{{announce News|19 апреля 2020 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: md618_2020.pdf| требования к оформлению магистерской диссертации]]. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках и формате проведения предзащиты будет сообщена позднее.}}
+{{announce News|02 марта 2020 г.| Продолжает работу научный семинар кафедры математической кибернетики '''«Дискретная математика и математическая кибернетика»''' (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Заседание семинара состоится '''6 марта 2020 г., 16:30, ауд. 523'''. Докладчик: к.ф.-м.н. Сергеев Игорь Сергеевич (ФГУП «Научно-исследовательский институт «Квант», механико-математический факультет МГУ имени М.В. Ломоносова). Название доклада: «Некоторые вопросы синтеза параллельных схем».}}
+{{announce News|28 февраля 2020 г.| Начинает работу '''просеминар кафедры''', на который приглашаются '''студенты 1 и 2 курсов'''. Занятия проходят по '''пятницам с 16:20 до 17:55 в ауд. 507''', первое занятие 28 февраля. Форма проведения: независимые лекции-семинары. [[Media:prosem20_schedule.pdf|План лекций-семинаров.]] }}
+{{announce News|07 января 2020 г.| Вниманию студентов группы 618/1! Экзамен пр курсу [[Вероятностные и квантовые алгоритмы]] начнется 17 января (пятница) в 10 ч в ауд. 507. Консультация к экзамену по курсу [[Вероятностные и квантовые алгоритмы]] назначена 16 января (четверг) в 15.00 в ауд. 507.}}
+{{announce News|29 декабря 2019 г.| Вниманию студентов 318-й группы! Консультация к экзамену по курсу [[Избранные вопросы дискретной математики]] состоится 8 января (в среду) в 11 ч в ауд. 504.}}
+{{announce News|25 декабря 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Второй заход отчета по преддипломной практике (418 группа) и отчета по НИР (группы 618/1 и 618/2) пройдет ''' в понедельник 30 декабря 2019 в 11:00, в аудитории 503'''.}}
+{{announce News|18 декабря 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Отчет по преддипломной практике (418 группа) и отчет по НИР (группы 618/1 и 618/2) пройдут ''' в среду 25 декабря 2019 в 11:00, в аудитории 524'''.}}
+{{announce News|2 декабря 2019 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: otchet618-2019.pdf| требования к оформлению отчета по научно-исследовательской работе (НИР)]] и [[Media: otchet_pattern618-2019.zip| шаблоны отчета по НИР]].}}
+{{announce News|2 декабря 2019 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: otchet418-2019.pdf| требования к оформлению отчета по преддипломной практике]] и [[Media: otchet_pattern418-2019.zip| шаблоны отчета по преддипломной практике]].}}
+{{announce News|13 ноября 2019 г.| Традиционный '''[[Вечер кафедр 2019|вечер кафедр]]''' математической кибернетики и информационной безопасности состоится '''7 декабря''' (в субботу), ориентировочное время начала: '''17:30'''.}}
+{{announce News|30 сентября 2019 г.| Начинает работу научный семинар кафедры математической кибернетики '''«Дискретная математика и математическая кибернетика»''' (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Первое заседание семинара состоится ''4 октября 2019 г., 16:30, ауд. 612''. Докладчик: д.ф.-м.н., профессор В.Б. Алексеев. Название доклада:  «Что такое квантовые вычисления?». [[Media:dmseminar_191004.pdf|Аннотация доклада]].
+}}
+{{announce News|2 сентября 2019 г.| Вниманию студентов 518/2 группы! Первое занятие по курсу [[Проектирование_больших_систем_С%2B%2B|Проектирование больших систем на C++]] состоится '''11 сентября'''.}}
+{{announce News|29 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Последняя итерация защит курсовых работ пройдет '''31 мая (пятница) 2019 г. в 11:00, ауд. 503'''.}}
+{{announce News|27 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Вторая итерация защит курсовых работ пройдет '''29 мая (среда) 2019 г. в 11:00, ауд. 612'''.}}
+{{announce News|22 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Защита курсовых работ пройдет '''27 мая (понедельник) 2019 г. в 11:00, ауд. 612'''.}}
+{{announce News|22 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Появились [[Media:kursovaja_2019.zip |требования к оформлению курсовой работы]]. Информация о сроках проведения защит курсовых работ будет сообщена позднее.}}
+{{announce News|24 апреля 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Финальный заход предзащиты ВКР и магистерских диссертаций пройдет '''8 мая (среда) 2019 г. в 16:00, ауд. 582'''.}}
+{{announce News|24 апреля 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Второй заход предзащиты ВКР и магистерских диссертаций пройдет '''26 апреля (пятница) 2019 г. в 16:20, ауд. 504'''.}}
+{{announce News|9 апреля 2019 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Предзащита ВКР и магистерских диссертаций пройдет '''24 апреля (среда) 2019 г. в 15:15, ауд. 582'''.}}
+{{announce News|1 апреля 2019 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: vkr418.pdf| требования к оформлению ВКР]]. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках проведения предзащиты будет сообщена позднее.}}
+{{announce News|1 апреля 2019 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: md618.pdf| требования к оформлению магистерской диссертации]]. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Информация о сроках проведения предзащиты будет сообщена позднее.}}
+{{announce News|1 января 2019 г.| Вниманию студентов 418 группы! Экзамен по курсу '''[[Сложность алгоритмов]]''' состоится 11 января в 10.00 (а не в 9.00) в ауд. 508.}}
+{{announce News|1 января 2019 г.| Вниманию студентов 418 группы! Консультация по курсу '''[[Сложность алгоритмов]]''' состоится 10 января с 13 ч в ауд. 507.}}
+{{announce News|1 января 2019 г.| Вниманию студентов группы 618/1! Экзамен по курсу '''[[Вероятностные и квантовые алгоритмы]]''' состоится 10 января в 10.00 (а не в 9.00) в ауд. 507.}}
+{{announce News|1 января 2019 г.| Вниманию студентов группы 618/1! Консультация по курсу '''[[Вероятностные и квантовые алгоритмы]]''' состоится 9 января с 15 ч в ауд. 505.}}
+{{announce News|30 декабря 2018 г.| Вниманию студентов 318 группы! Консультация по курсу '''[[Избранные вопросы дискретной математики]]''' состоится 9 января с 11 ч в ауд. 503.}}
+{{announce News|20 декабря 2018 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Второй заход отчета по преддипломной практике (418 группа) и отчета по НИР (группы 618/1 и 618/2) пройдет '''26 декабря 2018 в 15:00, в аудитории 609'''.}}
+{{announce News|20 декабря 2018 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' Отчет по преддипломной практике (418 группа) и отчет по НИР (группы 618/1 и 618/2) пройдут '''24 декабря 2018 в 15:00, в аудитории 612'''.}}
+{{announce News|10 декабря 2018 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: otchet618-2018.pdf| требования к оформлению отчета по научно-исследовательской работе (НИР)]] и [[Media: otchet_pattern618-2018.zip| шаблоны отчета по НИР]].}}
+{{announce News|10 декабря 2018 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: otchet418-2018.pdf| требования к оформлению отчета по преддипломной практике]] и [[Media: otchet_pattern418-2018.zip| шаблоны отчета по преддипломной практике]].}}
+{{announce News|7 ноября 2018 г.| Традиционный '''[[Вечер кафедр 2018|вечер кафедр]]''' математической кибернетики и информационной безопасности [[Media:Traditional meeting 2018 announcement.pdf|состоится]] '''8 декабря''' (в субботу), ориентировочное время начала: '''18:00'''.}}
+{{announce News|17 октября 2018 г.| Спецкурс для аспирантов "'''Графы и их приложения'''" читается по пятницам с 8-45 до 9-20 в ауд. 503. Первая лекция - 19 октября.}}
+{{announce News|11 октября 2018 г.| Начинает работу Межфакультетский научный семинар «[[Актуальные математические задачи, связанные с проектированием СБИС]]» Руководители семинара – профессор кафедры математической кибернетики (МК) факультета ВМК Ложкин С.А. и профессор кафедры математической теории интеллектуальных систем (МАТИС) механико-математического факультета Гасанов Э.Э. На заседаниях семинара предполагается рассматривать научные результаты последних лет, полученные при решении математических задач, связанных с теми или иными этапами проектирования различных типов современных СБИС. Планируется также проведение докладов, посвященных текущему состоянию производства и проектирования СБИС, анализу возникающих в этих областях математических проблем. Первое заседание семинара состоится '''12 октября 2018 г. в 16 30 в ауд. 508''' (совместно с семинаром «[[Теория управляющих систем и математические модели СБИС]]»). На нём будет представлен доклад аспиранта кафедры МАТИС '''Ефимова Алексея Андреевича''' на тему: '''«Нижняя оценка энергопотребления для одного класса объёмных схем»'''.}}
+{{announce News|5 октября 2018 г.| Вниманию студентов 518/2 группы! Занятия по курсу [[Проектирование_больших_систем_С%2B%2B|Проектирование больших систем на C++]] с 5 октября будут проходить в ауд. '''612'''.}}
+{{announce News|6 июня 2018 г. | Студенты, писавшие письменный тест по курсу [[Основы кибернетики (3-й поток)]], должны ознакомиться с результатами экзамена с 15:00 до 15:30 – в аудитории П-9 или с 16:00 до 16:30 – в аудитории 632.}}
+{{announce News|28 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Вторая итерация защит курсовых работ состоится 30 мая (в среду). Для всех групп начало в '''11:00''', в ауд. 503.}}
+{{announce News|22 мая 2018 г.| '''Вниманию студентов 318, 518/1, 518/2 групп!''' Защита курсовых работ состоится 28 мая (в понедельник). Начало в '''11:00''' для 318 группы, ауд. 503. Начало в '''12:00''' для студентов 518/1 и 518/2 групп, ауд. 503,504. [[Media:kursovaja_2018.zip |Требования к оформлению курсовой работы]] вывешены на доске объявлений кафедры.}}
+{{announce News|8 мая 2018 г.| '''Вниманию студентов 418, 618/1 и 618/2 групп!''' Последняя итерация предзащиты выпускных курсов (4 и 6 курс) кафедры пройдет 11-го мая в аудитории 505, начало в 10:00.}}
+{{announce News|7 мая 2018 г.| '''Вниманию аспирантов 1 г/о кафедр ИО, МК и ММП!''' Экзамен по курсу [[Дискретные модели управляющих систем]] состоится 16 мая (в среду) в ауд. 582. Выдача вопросов в 16 ч. Начало опроса в 17 ч.}}
+{{announce News|13 апреля 2018 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: vkr418-2018.pdf| требования к оформлению ВКР]]. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Предзащита ВКР состоится 27 апреля (в пятницу) с 16:20 до 18:00 в ауд. 504 .}}
+{{announce News|13 апреля 2018 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: md618-2018.pdf| требования к оформлению магистерской диссертации]]. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на [https://cs.msu.ru/studies/finalexams сайте факультета]. Предзащита магистерских диссертаций состоится 27 апреля (в пятницу) с 18:00 в ауд. 504 (группа 618/1) и ауд. 505 (группа 618/2).}}
+{{announce News|9 февраля 2018 г.| '''Вниманию участников семинара "[[Сложность решения дискретных задач]]"!''' Первое (организационное) заседание семинара в весеннем семестре состоится '''16 февраля''' (в пятницу) в '''16-20''' в ауд. '''503'''. На нем будет рассказано о работе семинара в семестре и будут выданы статьи для докладов участникам.}}
+{{announce News|1 января 2018 г.| '''Вниманию студентов группы 518/2!''' конcультация к экзамену по курсу [[Математические модели и методы логического синтеза сверхбольших интегральных схем]] пройдет 8-го января 2018 г. в ауд. 506, начало в 12:00.}}
+{{announce News|26 декабря 2017 г.| '''Вниманию студентов групп 418, 618/1 и 618/2!''' вторая попытка сдачи отчета по преддипломной практике и по научно-исследовательской работе пройдет 29 декабря (в пятницу) с 12 ч в ауд. 503.}}
+{{announce News|26 декабря 2017 г.| '''Вниманию аспирантов кафедры МК!''' Аттестация аспирантов кафедры МК состоится в среду 17 января в 14 ч 00 мин, ауд. 612. На аттестацию необходимо прийти со всеми необходимыми для аттестации бумагами, полностью оформленными. О необходимых бумагах и их оформлении узнавайте в отделе аспирантуры.}}
+{{announce News|22 декабря 2017 г.| '''Вниманию студентов группы 618/1!''' Консультация по курсу [[Вероятностные и квантовые алгоритмы]] состоится 9 января (во вторник) с 15 ч 00 мин в ауд. 504. Экзамен - 10 января (в среду) с 9 ч 00 мин в ауд. 507.}}
+{{announce News|22 декабря 2017 г.| '''Вниманию студентов 418 группы!''' Консультация по курсу [[Сложность алгоритмов]] состоится 17 января (в среду) с 15 ч 00 мин в ауд. 504. Экзамен - 18 января (в четверг) с 9 ч 00 мин в ауд. 508.}}
+{{announce News|22 декабря 2017 г.| '''Вниманию студентов 318 группы!''' Консультация по курсу [[Избранные вопросы дискретной математики]] состоится 13 января (в субботу) с 12 ч 30 мин в ауд. 507.}}
+{{announce News|12 декабря 2017 г.| '''Вниманию студентов 618/1 и 618/2 групп!''' Появились [[Media: otchet618-2017.pdf| требования к оформлению отчета по научно-исследовательской работе (НИР)]] и [[Media: otchet_pattern618-2017.zip| шаблоны отчета по НИР]]. Отчет по НИР состоится 25 декабря (в понедельник) с 11 ч в ауд. 503 (группа 618/1) и ауд. 504 (группа 618/2).}}
+{{announce News|12 декабря 2017 г.| '''Вниманию студентов 418 группы!''' Появились [[Media: otchet418-2017.pdf| требования к оформлению отчета по преддипломной практике]] и [[Media: otchet_pattern418-2017.zip| шаблоны отчета по преддипломной практике]]. Отчет по преддипломной практике состоится 25 декабря (в понедельник) с 12 ч в ауд. 503 и в ауд. 504.}}
+{{announce News|10 ноября 2017 г.| Традиционный '''[[Вечер кафедр 2017|вечер кафедр]]''' математической кибернетики и информационной безопасности состоится '''25 ноября''' (в субботу), ориентировочное время начала: '''16:00'''.}}
+{{announce News|6 октября 2017 г.| Вниманию студентов групп 518/1 и 618/1! На странице "Магистерские программы" появился список курсов, которые можно выбрать в качестве элективных в этом семестре. Для того, чтобы в конце семестра зачесть курс не из списка как элективный, необходимо '''срочно (!)''' обратиться к ответственному исполнителю магистерской программы "Дискретные структуры и алгоритмы".}}
+{{announce News|5 октября 2017 г.| Вниманию студентов групп 518/2 и 618/2! На странице "Магистерские программы" появился список курсов, которые можно выбрать в качестве элективных в этом семестре. Чтобы была возможность в конце семестра зачесть курс не из списка как элективный, необходимо '''срочно (!)''' обратиться к руководству кафедры.}}
+{{announce News|14 сентября 2017 г.| Вниманию студентов 518/2 группы! Занятия по курсу [[Проектирование_больших_систем_С%2B%2B|Проектирование больших систем на C++]] с 15 сентября будут проходить в ауд. '''609'''.}}
+{{announce News|1 сентября 2017 г.| Вниманию студентов 318 группы! Нагрузка по курсу [[Избранные вопросы дискретной математики]] (ИВДМ): лекции - каждую неделю, семинары - раз в две недели. В понедельник, 4 сентября, состоится только лекция по ИВДМ на 3-й паре.}}
+{{announce News|1 сентября 2017 г.| Поздравляем с началом нового учебного года! Успехов и новых свершений!}}
+{{announce News|18 мая 2017 г.| Вниманию студентов 318, 518/1, 518/2 групп! Защита курсовых работ состоится 26 мая (в пятницу) начало в '''11:30''', ауд. 504,505. Требования к оформлению работы вывешены на доске объявлений кафедры. [[Media: title-kursovaja.zip |Образец титульного листа дипломной работы]].}}
+{{announce News|5 мая 2017 г.| Вниманию студентов 618/1 и 618/2 групп! Пересдача предзащиты (отчете по преддипломной практике) состоится 10 мая (в пятницу) с 15 ч 00 мин до 16 ч 30 мин, ауд. 504.}}
+{{announce News|3 мая 2017 г.| Вниманию студентов 418, 618/1 и 618/2 групп! Пересдача предзащиты (отчете по преддипломной практике) состоится 5 мая (в пятницу) с 16 ч 30 мин до 19 ч, ауд. 504. Первыми будут выступать студенты 418 группы.}}
+{{announce News|21 апреля 2017 г.| Вниманию студентов 618/1 и 618/2 групп! Появились [[Media: mvkr618-2017.doc |сведения]] о предзащите (отчете по преддипломной практике). Предзащита состоится 3 мая (в среду) с 16 ч 30 мин до 18 ч: 618/1 группа - в ауд. 503; 618/2 группа - в ауд. 504.}}
+{{announce News|21 апреля 2017 г.| Вниманию студентов 418 группы! Появились [[Media: vkr418-2017.doc |сведения]] о предзащите (отчете по преддипломной практике). Предзащита состоится 3 мая (в среду) с 15 ч до 16 ч 20 мин в ауд. 505.}}
+{{announce News|12 апреля 2017 г.| В среду, 12 апреля в 17-00 (обратите внимание на время начала семинара!)
+состоится доклад
+Vijay Ganesh (University of Waterloo)
+"On The Unreasonable Effectiveness of Boolean SAT Solvers".
+Abstract:
+Modern conflict-driven clause-learning (CDCL) Boolean SAT solvers routinely
+solve very large industrial SAT instances in relatively short periods of
+time. This phenomenon has stumped both theoreticians and practitioners
+since Boolean satisfiability is an NP-complete problem widely believed to
+be intractable. It is clear that these solvers somehow exploit the
+structure of real-world instances. However, to-date there have been few
+results that precisely characterize this structure or shed any light on why
+these SAT solvers are so efficient.
+In this talk, I will present results that provide a deeper empirical
+understanding of why CDCL SAT solvers are so efficient, which may
+eventually lead to a complexity-theoretic result. Our results can be
+divided into two parts. First, I will talk about structural parameters that
+can characterize industrial instances and shed light on why they are easier
+to solve even though they may contain millions of variables compared to
+small crafted instances with hundreds of variables. Second, I will talk
+about internals of CDCL SAT solvers, and describe why they are particularly
+suited to solve industrial instances.
+}}
+{{announce News|3 января 2017 г.| Вниманию студентов 418 группы!  Консультация по курсу «Сложность алгоритмов» - во вторник 17 января в 12.00 в ауд. 504.}}
+{{announce News|3 января 2017 г.| Вниманию студентов группы 618/1.  Консультация по курсу «Вероятностные и квантовые алгоритмы» - в воскресенье 15 января в 12.00 в ауд. 506.}}
+{{announce News|30 декабря 2016 г.|  С НОВЫМ ГОДОМ! ЗДОРОВЬЯ, УСПЕХОВ, УДАЧИ В НОВОМ ГОДУ.}}
+{{announce News|16 декабря 2016 г.| Вывешены [[Media: Вопросы_к_экзамену_по_курсу_ВКА.docx| вопросы к экзамену по курсу "Вероятностные и квантовые алгоритмы"]] для гр. 618/1, лектор - профессор [[Алексеев Валерий Борисович]].}}
+{{announce News|16 декабря 2016 г.| На странице курса [[Сложность алгоритмов]] вывешены Вопросы к экзамену по курсу "Сложность алгоритмов" для гр. 418 2016 года, лектор - профессор [[Алексеев Валерий Борисович]].}}
+{{announce News|14 декабря 2016 г.| Появилась [[Media: Программа курса ДА.doc| программа курса "Дискретный анализ"]], лектор - профессор [[Сапоженко Александр Антонович]].}}
+{{announce News|2 декабря 2016 г.| Вниманию студентов 618/1 и 618/2 групп! Появились [[Media: otchet618-2016.doc| требования к оформлению отчета по научно-исследовательской работе (НИР)]]. Отчет по НИР состоится 23 декабря (в пятницу) с 10 ч в ауд. 503.}}
+{{announce News|2 декабря 2016 г.| Вниманию студентов 418 группы! Появились [[Media: otchet418-2016.doc| требования к оформлению отчета по преддипломной практике]]. Отчет по преддипломной практике состоится 23 декабря (в пятницу) с 14 ч 30 мин в ауд. 503.}}
+{{announce News|7 ноября 2016 г.| Традиционный '''[[Вечер кафедр 2016|вечер кафедр]]''' математической кибернетики и информационной безопасности состоится '''26 ноября''' (в субботу), ориентировочное время начала: '''16:00'''.}}
+{{announce News|18 октября 2016 г.| 24 октября в МГУ будет проходить семинар по программе MIPSfpga. На семинаре вас познакомят с современными направлениями и архитектурными решениями при разработке систем на кристалле, а также предоставят возможность поработать с реализацией процессора MIPS в ПЛИС на примере образовательных плат компаний Altera и Xilinx. [[Семинар_MIPSfpga_(24.10.2016)|Подробности здесь.]]}}
+{{announce News|13 сентября 2016 г.| На странице курса [[Основы кибернетики (3-й поток)]] вывешены результаты пересдачи по этому курсу, прошедшей 09.09.2016. Показ работ состоится 14.09 в 14:30 в ауд. 504.}}
+{{announce News|20 мая 2016 г.| Вниманию студентов 318 группы! Защита курсовых работ состоится в пятницу, 27 мая, с 14 ч (аудитория будет объявлена дополнительно). Требования к оформлению работы вывешены на доске объявлений кафедры.}}
 {{announce News|20 мая 2016 г.| Вниманию студентов 518/1 и 518/2 групп! Защита курсовых работ состоится в среду, 25 мая, с 11 ч 30 мин (аудитория будет объявлена дополнительно). Требования к оформлению работы вывешены на доске объявлений кафедры.}}
 {{announce News|16 апреля 2016 г.| Вниманию студентов 2 курса! 25 апреля в ауд. 504 пройдет общая встреча студентов с преподавателями кафедры математической кибернетики, начало в 16:20.}}

Шаблон:Important Announcements — различия между версиями

Текущая версия на 22:11, 12 мая 2024

Объявления

Архив объявлений

Навигация

Персональные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Инструменты