Шаблон:Important Announcements

2017-05-18T14:18:45Z

Secretary: /* Объявления */

== Объявления==
{|width = 90%
{{announce News|18 мая| Вниманию студентов 318, 518/1, 518/2 групп! Защита курсовых работ состоится 26 мая (в пятницу) начало в 10:30, ауд. 504,505. Требования к оформлению работы вывешены на доске объявлений кафедры.}}
{{announce News|5 мая| Вниманию студентов 618/1 и 618/2 групп! Пересдача предзащиты (отчете по преддипломной практике) состоится 10 мая (в пятницу) с 15 ч 00 мин до 16 ч 30 мин, ауд. 504.}}
{{announce News|3 мая| Вниманию студентов 418, 618/1 и 618/2 групп! Пересдача предзащиты (отчете по преддипломной практике) состоится 5 мая (в пятницу) с 16 ч 30 мин до 19 ч, ауд. 504. Первыми будут выступать студенты 418 группы.}}
{{announce News|21 апреля| Вниманию студентов 618/1 и 618/2 групп! Появились [[Media: mvkr618-2017.doc |сведения]] о предзащите (отчете по преддипломной практике). Предзащита состоится 3 мая (в среду) с 16 ч 30 мин до 18 ч: 618/1 группа - в ауд. 503; 618/2 группа - в ауд. 504.}}
{{announce News|21 апреля| Вниманию студентов 418 группы! Появились [[Media: vkr418-2017.doc |сведения]] о предзащите (отчете по преддипломной практике). Предзащита состоится 3 мая (в среду) с 15 ч до 16 ч 20 мин в ауд. 505.}}
{{announce News|12 апреля| В среду, 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.
}}

<includeonly>|- class="announce"
| valign="top" nowrap="true" align="right" style="font-style:italic" |
| valign="top" style="padding-left:0.5cm;" align="right"|[[Template:Important Announcements|архив объявлений]]
</includeonly><noinclude>|}
__NOEDITSECTION__
=== Архив объявлений ===
----
{|width = 90%
{{announce News|3 января| Вниманию студентов 418 группы! Консультация по курсу «Сложность алгоритмов» - во вторник 17 января в 12.00 в ауд. 504.}}
{{announce News|3 января| Вниманию студентов группы 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.}}
{{announce News|8 апреля 2016 г.| Вниманию студентов 418 группы! Появилась информация о [[Media:2016-418.doc|предзащите в 418 группе]] и образец [[Media:titul-vkr.doc|титульного листа ВКР]]}}.
{{announce News|04 апреля 2016 г.| Вниманию студентов магистратуры! Начинается чтение спецкурса на английском языке [[Boolean SAT/SMT Solvers for Software Engineering]]. Лекции первой части курса пройдут 4-го, 5-го, 7-го и 8-го арпеля в аудитории 526б, начало лекций в 18:00.}}
{{announce News|04 марта 2016 г.| Вниманию студентов 1 и 2 курсов! Начинает свою работу просеминар кафедры математической кибернетики и лаборатории дискретных управляющих систем и их приложений для студентов 2 курса. Первое заседание просеминара пройдет 14 марта с 16:20 до 17:55 в ауд. 504. Информацию о докладах можно будет найти в ближайшее время на [[Просеминар для 2-го курса|странице просеминара]].}}
{{announce News|26 февраля 2016 г.| На семинаре кафедры математической кибернетики состоится представление [[Media:Thesis_Novikova.pdf|диссертации]] Татьяны Анатольевной Новиковой (Казахстанский филиал МГУ в г. Астана).}}
{{announce News|20 января 2016 г.| Вывешены [[Media:Ok_fall2015.pdf|вопросы к экзамену]] по курсу [[Основы кибернетики (2-й поток)|«Основы кибернетики» (2-й поток)]].}}
{{announce News|12 января 2016 г.| Вниманию студентов группы 518/2! Консультация к экзамену по курсу «Элементы теории синтеза, надёжности и контроля дискретных управляющих систем» состоится 16.01.2016 в 11:00 в ауд. 506. На ней будут объявлены результаты контрольной и выданы проверенные работы.}}
{{announce News|29 декабря 2015 г.| Вывешен [[Media:Вопросы_ЭТДУС_418.pdf|список]] вопросов и типовых задач к экзамену по курсу «Элементы теории дискретных управляющих систем», который состоится 12.01.2016 в 9:00 в ауд. 505. Консультация к этому экзамену пройдёт 11.01.2016 в 14:00 в ауд. 503.}}
{{announce News|14 декабря 2015 г.| Вывешены [[Media:Курс_ЭТСНКДУС_518-2.pdf|вопросы, типовые задачи и литература]] к экзамену по курсу «Элементы теории синтеза, надёжности и контроля дискретных управляющих систем». Контрольная по вопросам и задачам разделов I, II состоится 19 декабря в 13:00 в ауд. 507, а консультация к ней пройдёт 18 декабря в 16:30 в ауд. 505. }}
{{announce News|13 декабря 2015 г.| Вывешены [[Media:Курс_ОК_318,_418_Осень.pdf| вопросы, типовые задачи и литература]] к экзамену по курсу «Основы кибернетики». См. дополнительную информацию на [[Основы кибернетики (318, 418 группы)|странице курса]]. }}
{{announce News|24 ноября 2015 г.| Поздравляем команду факультета ВМК с победой в соревновании [http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ 2015 CAD Contest]! Подробности [[Команда факультета ВМК - победитель соревнования 2015 CAD Contest | здесь]]. }}
{{announce News|24 ноября 2015 г.| Вниманию участников вечера кафедр! Мероприятие состоится в аудитории '''П-7''' 2-го учебного корпуса. }}
{{announce News|19 ноября 2015 г.| 19 ноября 2015 года исполняется 80 лет со дня рождения доктора физико-математических наук профессора Гария Петровича Гаврилова (19.11.1935 – 05.12.1999), одного из первых двух штатных сотрудников кафедры математической кибернетики (в момент открытия она называлась кафедрой математической логики и теории автоматов). Гарий Петрович внес огромный вклад в организацию образования на факультете ВМК МГУ, в разработку новых курсов. Он получил много глубоких интересных результатов в математике, подготовил 6 кандидатов наук. Благодаря его переводам широкий круг людей в нашей стране познакомился с теорией графов. С краткой биографией и научными достижениями Гария Петровича Гаврилова можно ознакомиться [https://cs.msu.ru/persons/287 здесь]. }}
{{announce News|8 ноября 2015 г.| Традиционный '''вечер кафедр''' математической кибернетики и информационной безопасности (ранее - вечер кафедры математической кибернетики) состоится '''28 ноября''' (в субботу). Начало в '''16:00'''. Место проведения - 2-й учебный корпус, факультет ВМК. Аудитория будет объявлена позднее. По всем вопросам (в том числе выписыванию пропуска для прохода в корпус) можно обратиться сюда: [mailto:valdus@yandex.ru valdus@yandex.ru]. }}
{{announce News|5 ноября 2015 г.| Вниманию студентов! 10 ноября (16:00-20:00) представителем компании Imagination Technologies [http://panchul.com/about_ru/ Юрием Панчулом] совместно с кафедрой математической кибернетики будет проведен семинар, посвященный проекту [http://community.imgtec.com/university/ MIPSfpga]. На семинаре вас познакомят с основами работы с ПЛИС на примере образовательных плат компаний Altera и Xilinx. Подробности [[Media:Mipsfpga_announcement.pdf| здесь]]. }}
{{announce News|20 октября 2015 г.| Вниманию студентов 4-5 курсов! Спецсеминар [[Теория управляющих систем и математические модели СБИС]] 23 октября пройдет совместно со спецсеминаром [[Дискретная математика и математическая кибернетика]] в 16:20, ауд. 612. }}
{{announce News|17 октября 2015 г.| Вниманию студентов 318 группы! Выложено первое домашнее задание по [[Практикум (3 курс, осенний семестр 2015 года)| практикуму]]. }}
{{announce News|9 октября 2015 г.| Вниманию студентов спецсеминаров [[Некоторые вопросы теории управляющих систем]] и [[Теория управляющих систем и математические модели СБИС]] 9 октября пройдет совместное заседание спесеминаров в ауд. 704. }}
{{announce News|29 сентября 2015 г.| Вниманию студентов 418 группы! 30 сентября и 7 октября вместо лекций по курсу [[Элементы теории дискретных управляющих систем|"Элементы теории дискретных управляющих систем"]] пройдут занятия по "Практикуму на ЭВМ". }}
{{announce News|1 сентября 2015 г.| Первая и вторая лекции по курсу [[Математические модели и методы логического синтеза сверхбольших интегральных схем|Математические модели и методы логического синтеза СБИС]] для студентов группы 518(2) переносятся с 2 сентября и 9 сентября на 3-ю и 4-ую пару (с 12:50 до 16:10) 10 сентября в аудиторию 506.}}
{{announce News|31 августа 2015 г.| Вниманию студентов 518(2) группы! 2 сентября в 10-00 в ауд. 696 состоится собрание студентов магистерской программы [[:Категория:Магистерская программа Дискретные управляющие системы и их приложения|Дискретные управляющие системы и их приложения]]. Магистрантам указанной программы (особенно тем, кто не заканчивал кафедру математической кибернетики) рекомендуется прослушать первую часть курса [[Элементы теории дискретных управляющих систем]], который читается для студентов 418 группы (см. расписание и следующее объявление).}}
{{announce News|31 августа 2015 г.| Вниманию студентов 418 группы! Вместо занятий по практикуму 2 сентября и 9 сентября в 10-30 в ауд. 696 для студентов 418 группы состоятся лекции С.А.Ложкина по курсу [[Элементы теории дискретных управляющих систем]].}}
{{announce News|28 августа 2015 г.| Собрание коллектива факультета ВМК состоится в понедельник, 31 августа, в 12-30 в ауд. П_13.}}
{{announce News|26 мая 2015 г.| Защита курсовых работ студентов 318 группы состоится в среду, 27 мая, в ауд. 504. Начало в 11 ч. Информация об оформлении курсовых работ [[Media:kurs-318-2015.doc |здесь]]. Образец оформления титульного листа курсовой работы [[Media:titul-kurs-318-2015.doc | здесь]].}}
{{announce News|26 апреля 2015 г.| Выложены [[Media:OK_add_3.2_2015.pdf | дополнительные теоретические задачи]] к разделу "синтез и сложность управляющих систем" по курсам [[Основы кибернетики (3-й поток)]] , [[Основы кибернетики (318, 418 группы)]].}}
{{announce News|14 апреля 2015 г.| '''Обновление''' [[Media:diplom-518-2015.doc | информации для 518 группы]] об оформлении дипломной работы, сроках сдачи текста работы на кафедру и предзащитах, [[Media:titul-diplom-518-2015.doc | образец оформления титульного листа дипломной работы]].}}
{{announce News|14 апреля 2015 г.| '''Обновление''' [[Media:diplom-418-2015.doc | информации для 418 группы]] об оформлении выпускной квалификационной работы, сроках сдачи текста работы на кафедру и предзащитах, [[Media:titul-diplom-418-2015.doc | образец оформления титульного листа выпускной квалификационной работы]].}}
{{announce News|22 марта 2015 г.| Выложена [[Media:OK_add_2_2015.pdf | дополнительная задача]] к разделу "Эквивалентные преобразования управляющих систем" по курсам [[Основы кибернетики (3-й поток)]] , [[Основы кибернетики (318, 418 группы)]]. Задачи 1 и 3 к разделу "Минимизация ДНФ" больше не принимаются.}}
{{announce News|5 марта 2015 г.| Выложены [[Media:OK_add_1_2015.pdf | дополнительные задачи]] к разделу "Минимизация ДНФ" по курсам [[Основы кибернетики (3-й поток)]] , [[Основы кибернетики (318, 418 группы)]]}}
{{announce News|6 февраля 2015 г.| Доступно ''предварительное'' '''[[Расписание |расписание занятий]]''' на весенний семестр.}}
{{announce News|18 января 2015 г.| Консультация к экзамену по курсу [[Дискретная математика 1 (группа 141)]] для состоится 23 января, в пятницу, в ауд. 505. Консультация лектора - в 16 ч, консультация по решению задач - в 14 ч.}}
{{announce News|15 января 2015 г.| Консультация к экзамену по курсу [[Избранные вопросы дискретной математики]] для 318 группы состоится 20 января, во вторник, в 12-00 в аудитории 504. Информация о результатах коллоквиумов [[Media: ivdm-318-2015.doc|здесь]].}}
{{announce News|10 января 2015 г.| Консультация к экзамену по курсу "Сложность алгоритмов" для 418 группы пройдет 16 января в 16:00 в аудитории 505. Материалы для подготовки к экзамену можно найти на [[Сложность алгоритмов|странице курса]].}}
{{announce News|6 января 2015 г.| Консультация к экзамену по курсу "Избранные вопросы математической теории вычислений" для 518 группы пройдет 9 января в 16:00 в аудитории 504. Материалы для подготовки к экзамену можно найти на [[Модели вычислений|странице курса]].}}
{{announce News|5 января 2015 г.| Консультация к экзамену по курсу "Математические модели и методы синтеза СБИС" пройдет 9 января в 12:00 в аудитории 504. Материалы для подготовки к экзамену можно найти на [[Математические модели и методы синтеза СБИС|странице курса]].}}
{{announce News|25 ноября 2014 г.| Традиционный [[вечер кафедры]] математической кибернетики состоится '''6 декабря''' (в субботу) в ауд. '''П-7'''. Начало в '''16:00'''.}}
{{announce News|8 октября 2014 г.| Спецсеминар [[Некоторые вопросы теории управляющих систем]] начинает работу 10 октября. Спецсеминар будет проходить по пятницам в аудитории '''704''' в '''16:20'''.}}
{{announce News|30 сентября 2014 г.| Спецсеминар [[Теория управляющих систем и математические модели СБИС]] начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории '''612''' в '''16:20'''.}}
{{announce News|30 сентября 2014 г.| Совместный спецсеминар [[Дискретный анализ]] (рук. А.А. Сапоженко) и [[Сложность решения дискретных задач]] (рук. С.Н. Селезнева) начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории '''504''' с '''16:20''' до '''17:55'''.}}
{{announce News|29 сентября 2014 г.| Совместный спецсеминар [[Теоретические проблемы программирования]] (рук. Р.И. Подловченко, В.А. Захаров) и [[Математическая криптография]] (рук. М.И. Анохин, Н.П. Варновский) начинает работу 3 октября. Спецсеминар будет проходить по пятницам в аудитории '''508''' в '''16:20'''.}}
{{announce News|29 сентября 2014 г.| Вниманию слушателей спецкурса [[C++ 11/14 и современные аспекты построения компиляторов]]. Спецкурс будет проходить по четвергам в аудитории '''685''' в '''16:20'''.}}
{{announce News|22 сентября 2014 г.| Начинается чтение спецкурса Вычисления на машинах Минского. Лектор — проф. [[Марченков Сергей Серафимович]]. Первое занятие — 29 сентября в 10:30 аудитории 526-Б.}}
{{announce News|19 сентября 2014 г.| Начинается чтение спецкурса [[C++ 11/14 и современные аспекты построения компиляторов]]. Первое занятие — 25 сентября в аудитории 705.}}
{{announce News|11 июня 2014 г.| На страницах курсов [[Основы кибернетики (3-й поток)]] и [[Элементы теории дискретных управляющих систем]] (318 гр.) появилась информация о проведении экзаменов по этим курсам.}}
{{announce News|10 июня 2014 г.| [[Media:exam-vmb.doc|Вопросы к экзамену по курсу "Введение в математическую биологию"]] для студентов 418 группы.}}
{{announce News|06 июня 2014 г.| Для студентов 318 группы на странице курса [[Основы кибернетики (318, 418 группы)]], а также для студентов 320-328 групп на странице курса [[Основы кибернетики (3-й поток)]] появилась информация по поводу проведения консультаций.}}
{{announce News|03 июня 2014 г.| Для студентов 320-328 групп на странице курса [[Основы кибернетики (3-й поток)]] появилась информация по поводу проведения переписывания контрольных работ.}}
{{announce News|14 апреля 2014 г.| Для студентов 518 группы: [[Media: inf-518-2014.doc|информация о требованиях к дипломной работе]] и [[Media:title-diplom.doc|образец титульного листа дипломной работы]].}}
{{announce News|24 марта 2014 г.| Объявляется набор студентов и аспирантов в команду для решения [http://cad_contest.ee.ncu.edu.tw/CAD-Contest-at-ICCAD2014/problem_a/default.html одной из задач] соревнования [http://cad_contest.ee.ncu.edu.tw/CAD-Contest-at-ICCAD2014/ 2014 CAD Contest at ICCAD]. Записаться в команду и задать вопросы можно по адресу mikle.shupletsov@gmail.com. Краткое введение в проблематику задачи пройдет в рамках спецсеминара "Некоторые вопросы теории управляющих систем" 26 марта в 14-35 в ауд. 507. Кроме того, более подробную информацию по соревнованию можно будет получить 28 марта в 16-10 в ауд. П-13 (после лекции по курсу "Основы кибернетики").}}
{{announce News|24 марта 2014 г.| Выложена [[Media:OK_problems3.pdf | дополнительная задача]] к разделу "Синтез и сложность управляющих систем" по курсу [[Основы кибернетики (3-й поток)]].}}
{{announce News|18 февраля 2014 г.| Начинает работу спецсеминар [[Сложность решения дискретных задач]]. Первое заседание семинара состоится 21 февраля 2014 г. в 16-20 в ауд. 503.}}
{{announce News|17 февраля 2014 г.| Начинает работу спецсеминар [[Теория управляющих систем и математические модели СБИС]]. Первое заседание состоится 21 февраля в 16.20 в ауд. '''609'''.}}
{{announce News|17 февраля 2014 г.| Начинает работу спецсеминар [[Некоторые вопросы теории управляющих систем]]. Первое заседание состоится 19 февраля в 14.35 в ауд. '''507'''.}}
{{announce News|12 февраля 2014 г.| Начинается чтение спецкурса [[Архитектурные особенности современных вычислительных систем]]. Информация обновлена на странице курса.}}
{{announce News|10 февраля 2014 г.| Появилось объявление о докладе на спецсеминаре [[Дискретная математика и математическая кибернетика]] 14 февраля 2014 г.}}
{{announce News|15 января 2014 г.| Появилось объявление о докладе на спецсеминаре [[Дискретная математика и математическая кибернетика]] 7 февраля 2014 г.}}
{{announce News|1 января 2014 г.| С НОВЫМ 2014 ГОДОМ!}}
{{announce News|30 декабря 2013 г.| Для студентов 4-го курса появилось [[Media:kons-4-2013.docx| расписание консультаций]] по курсам "[[Основы кибернетики (2-й поток)]]" и "[[Математическая логика и логическое программирование]]" (для 3-го потока + 418-419 группы)}}
{{announce News|30 декабря 2013 г.| Для студентов 318, 418, 419, 518 групп появилось [[Media:kons-mk-2013.docx| расписание консультаций]] кафедральных курсов}}
{{announce News|24 декабря 2013 г.| Для студентов 418-419 групп появились [[Media:sa2013.doc|вопросы к экзамену]] и [[Media:konssa2013.docx|объявление о консультации]] по курсу "[[Сложность алгоритмов]]"}}
{{announce News|19 декабря 2013 г.| Для студентов 318 группы появилась информация к зачету на странице курса "[[Дополнительные главы дискретной математики (2-й поток III курса)|Дополнительные главы дискретной математики]]"}}
{{announce News|15 декабря 2013 г.| Для студентов 3-го курса 2-го потока появились [[Media:dgdm2013.pdf|вопросы к зачету]] по курсу "[[Дополнительные главы дискретной математики (2-й поток III курса)|Дополнительные главы дискретной математики]]" }}
{{announce News|13 декабря 2013 г.| Для студентов 518 группы появилась информация об [[Media:pract2013.pdf| отчете по производственной практике]] и об [[Media:dipl2013.pdf| отчете по дипломной работе]]}}
{{announce News|11 декабря 2013 г.| Традиционный ВЕЧЕР КАФЕДРЫ МАТЕМАТИЧЕСКОЙ КИБЕРНЕТИКИ факультета ВМК состоится в субботу 14 декабря в аудитории П7. Гостей ждем к 16 часам, официальное начало мероприятия -- в 16:30. Отметим, что в этом году фактически проводится совместный вечер двух кафедр -- математической кибернетики и информационной безопасности. Приходите -- будет интересно и весело!}}
{{announce News|3 октября 2013 г.| Начинает работу спецсеминар [[Некоторые вопросы теории управляющих систем]]. Первое заседание состоится 7 октября в 14.35 в ауд. '''506'''.}}
{{announce News|19 сентября 2013 г.| Начинает работу спецсеминар [[Теория управляющих систем и математические модели СБИС]]. Первое заседание состоится 20 сентября в 16.20 в ауд. '''612'''.}}
</noinclude>|}

Кафедра математической кибернетики - Вклад участника [ru]

Шаблон:Important Announcements