|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Синтез и сложность программ из некоторых классов,вычисляющих булевы функцииНИР
Sintez i slozhnost' programm iz nekotorykh klassov,vychislyayushchikh bulevy funktsii
- Руководитель НИР: Ложкин С.А.
- Ответственный исполнитель: Жуков В.В.
- Подразделение: Кафедра математической кибернетики
- Срок исполнения: 1 августа 2020 г. - 31 декабря 2022 г.
- Номер договора (контракта, соглашения): 20-31-90125
- Номер ЦИТИС: АААА-А20-120091490088-8
- Тип: Фундаментальная
- Приоритетное направление научных исследований: Математическая кибернетика, математические методы прогнозирования и исследование операций
- ПН России: Информационно-телекоммуникационные системы
- Направление технологического прорыва России: Стратегические информационные технологии
-
Ключевые слова:
функция шеннона, двоичные программы, асимптотические оценки, сложность булевых функций
- Добавил в систему: Врагова Елена Юрьевна
Соисполнители НИР
| МГУ имени М.В.Ломоносова | Координатор |
Источник финансирования НИР
| грант РФФИ |
Этапы НИР
| # | Сроки | Название |
| 1 | 1 августа 2020 г.-31 декабря 2020 г. | Синтез и сложность программ из некоторых классов,вычисляющих булевы функции |
| Результаты этапа: | ||
| 2 | 1 января 2021 г.-31 декабря 2021 г. | Синтез и сложность программ из некоторых классов,вычисляющих булевы функции |
| Результаты этапа: | ||
| 3 | 1 января 2022 г.-31 декабря 2022 г. | Синтез и сложность программ из некоторых классов,вычисляющих булевы функции |
| Результаты этапа: | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".