Все страницы

Перейти к: навигация, поиск
Все страницы
 
Все страницы
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-й поток)
Дискретная математика (2-й поток)Дискретная математика (3-й поток)Дискретная математика (КФ)
Дискретная математика 2 (группа 141)Дискретная математика и математическая кибернетикаДискретная математика и математическая кибернетика (Архив)
Дискретные моделиДискретные модели в теории управляющих системДискретные модели управляющих систем
Дискретные функции и выполнимость ограниченийДискретные функции и сложность алгоритмов
Дискретные функции и сложность алгоритмов (Архив)Дискретный анализДискретный анализ (лекционный курс)
Дополнительные главы дискретной математики (2-й поток)
Дополнительные главы дискретной математики и кибернетики (2-й поток, 3 курс)Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)
Дополнительные главы кибернетики и теории управляющих системЗаглавная страница
Избранные вопросы дискретной математикиИзбранные вопросы теории графов
Информация для 2 курсаКоды и их примененияКоманда факультета ВМК - победитель соревнования 2015 CAD Contest
КонференцииЛаборатория дискретных управляющих систем и их приложений
Магистерская программа "Математические модели и методы проектирования СБИС"Магистерские программы
Математическая логика (318, 319/2, 241, 242)
Математическая логика и логическое программирование (3-й поток)
Математические вопросы кибернетики
Математические вопросы проектирования СБИС (Архив)Математические методы верификации схем и программМатематические модели и методы логического синтеза сверхбольших интегральных схем
Математические модели и методы проектирования архитектуры сверхбольших интегральных схемМатематические модели и методы синтеза СБИСМатематические модели и методы синтеза СБИС(семинар)
Математические модели и методы физического синтеза сверхбольших интегральных схемМатематические модели последовательных вычисленийМатематические основы функционального программирования
Модели восстановления дискретных функцийМодели вычислений
Научная работа
Некоторые вопросы синтеза управляющих систем (Архив)
Некоторые вопросы теории управляющих системО вечере кафедры математический кибернетики
Однородные функцииОператоры замыкания в многозначной логикеОсновы кибернетики (2-й поток)
Основы кибернетики (2-й поток) (Архив)Основы кибернетики (2-й поток, 3 курс)Основы кибернетики (2-й поток, 4 курс)
Основы кибернетики (3-й поток)
Основы кибернетики (418 группа)
Основы проектирования интегральных схем и системОсновы теории алгоритмовПТК 2024
Подловченко Римма ИвановнаПоловинкина Татьяна Ивановна
Практикум (3 курс, весенний семестр)Практикум (3 курс, весенний семестр 2015 года)Практикум (3 курс, весенний семестр 2017 года)
Практикум (3 курс, осенний семестр)Практикум (3 курс, осенний семестр 2014 года)Практикум (3 курс, осенний семестр 2015 года)
Практикум (3 курс, осенний семестр 2016 года)Практикум (3 курс, осенний семестр 2017 года)Практикум (4 курс, весенний семестр)
Практикум (4 курс, осенний семестр 2014 года)Практикум по дискретным структурамПрактикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
Предикатное определение замкнутых классовПредполные классы многозначной логики
Проблемы теоретический кибернетикиПрограммируемые логические интегральные схемы
Проектирование больших систем на С++Просеминар для 2-го курсаРамиль Альварес Хосе
Расписание
Распределённые алгоритмы
Семинар MIPSfpga (24.10.2016)
Сложность алгоритмовСложность решения дискретных задачСовместное проектирование аппаратно-программных систем. Системный уровень
СпецкурсыСпецсеминары
Теоретические проблемы программированияТеоретические проблемы программирования (Архив)Теория управляющих систем и математические модели СБИС
Учебный планФотографии
Функциональные системыФункциональные уравнения многозначной логикиЧастичные булевы функции
Элементарные рекурсивные функцииЭлементы теории дискретных управляющих систем
Элементы теории синтеза, надежности и контроля дискретных управляющих системЯблонский Сергей ВсеволодовичЯзыки описания схем