Все страницы

Перейти к: навигация, поиск
Все страницы
 
Все страницы
AlekseevVB/Алексеев Валерий Борисович
Boolean SAT/SMT Solvers for Software EngineeringC++ 11/14 и современные аспекты построения компиляторов
FpgaMathematical Issues of CyberneticsMathematical Problems of Cybernetics
Modern trends in discrete mathematics and computer scienceАктуальные математические задачи, связанные с проектированием СБИС
Алексеев Валерий Борисович
Андреева Татьяна Владимировна
Архитектурные особенности современных вычислительных системБольшие графы и модели сложных сетей
Булевы функции и полиномы
Бухман Антон Владимирович
Вероятностные и квантовые алгоритмы
Вероятностные методы в комбинаторикеВечер кафедр 2016Вечер кафедр 2017
Вечер кафедр 2018Вечер кафедр 2019Вечер кафедры
Владимирова Юлия Сергеевна
Вороненко Андрей Анатольевич
ВысКа
Выставка кафедрВыставка кафедр 2020Геометрическая реализация графов и схем
Графы и их приложенияГрафы и их применения
Данилов Борис Радиславович
Дискретная математика (1-й курс)Дискретная математика (1-й поток)
Дискретная математика (1й курс)
Дискретная математика (2-й поток)Дискретная математика (3-й поток)Дискретная математика (КФ)
Дискретная математика 2 (группа 141)Дискретная математика и математическая кибернетикаДискретная математика и математическая кибернетика (Архив)
Дискретные моделиДискретные модели в теории управляющих системДискретные модели управляющих систем
Дискретные функции и выполнимость ограничений
Дискретные функции и их представления
Дискретные функции и сложность алгоритмов
Дискретные функции и сложность алгоритмов (Архив)Дискретный анализДискретный анализ (лекционный курс)
Для2
Дополнительные главы дискретной математики (2-й поток)
Дополнительные главы дискретной математики (2-й поток III курса)
Дополнительные главы дискретной математики (гр. 318, 319)
Дополнительные главы дискретной математики и кибернетики (2-й поток, 3 курс)Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)
Дополнительные главы кибернетики и теории управляющих системЗаглавная страница
Захаров Владимир Анатольевич
Зизов Вадим Сергеевич
Избранные вопросы дискретной математикиИзбранные вопросы теории графов
Информация для 2-го курса
Информация для 2 курсаКоды и их применения
Команда факультета ВМК - победитель соревнования 2015 CAD ContestКонференцииЛаборатория дискретных управляющих систем и их приложений
Ложкин Сергей Андреевич
МагПрог
Магистерская программа "Математические модели и методы проектирования СБИС"
Магистерские программы
Марченков Сергей Серафимович
Математическая логика (318, 319/2, 241, 242)
Математическая логика (группы 318, 241)
Математическая логика и логическое программирование
Математическая логика и логическое программирование (3-й поток)
Математическая логика и логическое программирование (318 группа)
Математическая логика и логическое программирование (группа 318)
Математическая логика и теория алгоритмов
Математические вопросы кибернетикиМатематические вопросы проектирования СБИС (Архив)Математические методы верификации схем и программ
Математические модели и методы логического синтеза сверхбольших интегральных схемМатематические модели и методы проектирования архитектуры сверхбольших интегральных схемМатематические модели и методы синтеза СБИС
Математические модели и методы синтеза СБИС(семинар)Математические модели и методы физического синтеза сверхбольших интегральных схемМатематические модели последовательных вычислений
Математические основы функционального программирования
Методы верификации программ
Модели восстановления дискретных функций
Модели вычислений
Модели последовательных и параллельных вычислений
Нагорный Александр Степанович
Научная работа
Научно-исследовательский семинар "Математические вопросы кибернетики"
Некоторые вопросы синтеза управляющих систем
Некоторые вопросы синтеза управляющих систем (Архив)Некоторые вопросы теории управляющих системО вечере кафедры математический кибернетики
Области научных интересов
Однородные функцииОператоры замыкания в многозначной логике
Основы кибернетики (2-й поток)Основы кибернетики (2-й поток) (Архив)Основы кибернетики (2-й поток, 3 курс)
Основы кибернетики (2-й поток, 4 курс)
Основы кибернетики (2 поток)
Основы кибернетики (3-й поток)
Основы кибернетики (318, 418 группы)
Основы кибернетики (318-328 группы)
Основы кибернетики (418 группа)
Основы кибернетики 1 (4-й курс, 1-й поток)
Основы проектирования интегральных схем и системОсновы теории алгоритмов
ПТК 2024Подловченко Римма Ивановна
Подымов Владислав Васильевич
Половинкина Татьяна ИвановнаПрактикум (3 курс, весенний семестр)Практикум (3 курс, весенний семестр 2015 года)
Практикум (3 курс, весенний семестр 2017 года)Практикум (3 курс, осенний семестр)Практикум (3 курс, осенний семестр 2014 года)
Практикум (3 курс, осенний семестр 2015 года)Практикум (3 курс, осенний семестр 2016 года)Практикум (3 курс, осенний семестр 2017 года)
Практикум (4 курс, весенний семестр)Практикум (4 курс, осенний семестр 2014 года)Практикум по дискретным структурам
Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)Предикатное определение замкнутых классовПредполные классы многозначной логики
Про2
Проблемы теоретический кибернетикиПрограммируемые логические интегральные схемы
Проектирование больших систем С++
Проектирование больших систем на С++Просеминар для 2-го курса
Рамиль Альварес ХосеРасписание
Распределенные алгоритмы
Распределенные алгоритмы и системы
Распределённые алгоритмы
Романов Дмитрий Сергеевич
СК ВКА
СК ГП
СК ДФВО
СК ЛССБИС
СК МВП
СК ПБС
СК ПЛИС
СК ЯОС
ССем
Савицкий Игорь Владимирович
Сапоженко Александр Антонович
Селезнева Светлана Николаевна
Семинар MIPSfpga (24.10.2016)Сложность алгоритмовСложность решения дискретных задач
Совместное проектирование аппаратно-программных систем. Системный уровень
Сот
Спецкурсы
СпецсеминарыТеоретические проблемы программированияТеоретические проблемы программирования (Архив)
Теория управляющих систем и математические модели СБИСУчебный план
Федорова Валентина Сергеевна
ФотографииФункциональные системыФункциональные уравнения многозначной логики
Частичные булевы функции
Шуплецов Михаил Сергеевич
Элементарные рекурсивные функции
Элементы теории дискретных управляющих системЭлементы теории синтеза, надежности и контроля дискретных управляющих системЯблонский Сергей Всеволодович
Языки описания схем
Языки описания цифровых схем
Источник — «https://mk.cs.msu.ru/index.php/Служебная:Все_страницы»