Монография посвящена проблеме нижних оценок сложности.
Предложены две формальные модели доказательств нижних оценок сложности. В рамках моделей формализовано понятие эффективных нижних оценок, дана единая трактовка известных доказательств, установлена связь величины нижних оценок со сложностью универсальных функций или схем, доказана невыводимость высоких нижних оценок для схем в полных базисах. Оригинальный подход автора к проблеме дает ценную информацию и важные ориентиры при доказательстве новых нижних оценок.
Представляет интерес для научных работников, аспирантов и студентов в области математической кибернетики и теоретического программирования.
