Все страницы

Перейти к: навигация, поиск
Все страницы
 
Все страницы
Boolean SAT/SMT Solvers for Software EngineeringC++ 11/14 и современные аспекты построения компиляторов
FpgaModern trends in discrete mathematics and computer scienceАктуальные математические задачи, связанные с проектированием СБИС
Архитектурные особенности современных вычислительных системБулевы функции и полиномы
Вероятностные и квантовые алгоритмыВероятностные методы в комбинаторике
Вечер кафедр 2016Вечер кафедр 2017Вечер кафедр 2018
Вечер кафедрыГрафы и их приложения
Графы и их примененияДискретная математика (1-й поток)
Дискретная математика (1й курс)Дискретная математика 2 (группа 141)Дискретная математика и математическая кибернетика
Дискретная математика и математическая кибернетика (Архив)Дискретные моделиДискретные модели в теории управляющих систем
Дискретные модели управляющих системДискретные функции и выполнимость ограничений
Дискретные функции и сложность алгоритмовДискретные функции и сложность алгоритмов (Архив)Дискретный анализ
Дискретный анализ (лекционный курс)Дополнительные главы дискретной математики (2-й поток)
Дополнительные главы дискретной математики и кибернетики (2-й поток, 3 курс)Дополнительные главы кибернетики и теории управляющих систем
Заглавная страницаИзбранные вопросы дискретной математики
Избранные вопросы теории графовИнформация для 2 курса
Коды и их примененияКоманда факультета ВМК - победитель соревнования 2015 CAD ContestКонференции
Магистерская программа "Математические модели и методы проектирования СБИС"Магистерские программы
Математическая логика и логическое программирование (3-й поток)Математическая логика и логическое программирование (группа 318)
Математические вопросы проектирования СБИС (Архив)Математические методы верификации схем и программ
Математические модели и методы логического синтеза сверхбольших интегральных схемМатематические модели и методы проектирования архитектуры сверхбольших интегральных схемМатематические модели и методы синтеза СБИС
Математические модели и методы синтеза СБИС(семинар)Математические модели и методы физического синтеза сверхбольших интегральных схем
Математические основы функционального программированияМодели восстановления дискретных функцийМодели вычислений
Модели последовательных и параллельных вычисленийНаучная работа
Некоторые вопросы синтеза управляющих систем (Архив)Некоторые вопросы теории управляющих систем
О вечере кафедры математический кибернетикиОднородные функции
Операторы замыкания в многозначной логикеОсновы кибернетики (2-й поток)Основы кибернетики (2-й поток) (Архив)
Основы кибернетики (2-й поток, 3 курс)Основы кибернетики (2-й поток, 4 курс)
Основы кибернетики (3-й поток)
Основы кибернетики (418 группа)Основы проектирования интегральных схем и систем
Основы теории алгоритмовПодловченко Римма Ивановна
Практикум (3 курс, весенний семестр)Практикум (3 курс, весенний семестр 2015 года)Практикум (3 курс, весенний семестр 2017 года)
Практикум (3 курс, осенний семестр)Практикум (3 курс, осенний семестр 2014 года)Практикум (3 курс, осенний семестр 2015 года)
Практикум (3 курс, осенний семестр 2016 года)Практикум (3 курс, осенний семестр 2017 года)Практикум (4 курс, весенний семестр)
Практикум (4 курс, осенний семестр 2014 года)Практикум по дискретным структурамПрактикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
Предикатное определение замкнутых классовПредполные классы многозначной логикиПроблемы теоретический кибернетики
Программируемые логические интегральные схемыПроектирование больших систем С++Просеминар для 2-го курса
Просеминар для 2 курсаРасписаниеРаспределенные алгоритмы
Семинар MIPSfpga (24.10.2016)Сложность алгоритмов
Сложность решения дискретных задачСовместное проектирование аппаратно-программных систем. Системный уровеньТеоретические проблемы программирования
Теоретические проблемы программирования (Архив)Теория управляющих систем и математические модели СБИСУчебный план
ФотографииФункциональные системы
Функциональные уравнения многозначной логикиЧастичные булевы функции
Элементарные рекурсивные функцииЭлементы теории дискретных управляющих системЭлементы теории синтеза, надежности и контроля дискретных управляющих систем
Яблонский Сергей ВсеволодовичЯзыки описания цифровых схем