Нижние оценки сложности и сложность универсальных схем

Нижние оценки сложности и сложность универсальных схем

Bibliografiske detaljer
Hovedforfatter:	Нигматуллин Р. Г. Рошаль Габдулхаевич
Summary:	Монография посвящена проблеме нижних оценок сложности. Предложены две формальные модели доказательств нижних оценок сложности, в рамках моделей формализовано понятие эффективных нижних оценок, дана единая трактовка известных доказательств, установлена связь величины нижних оценок со сложностью универсальных функций или схем, доказана невыводимость высоких нижних оценок для схем в полных базисах. Оригинальный подход автора к проблеме дает ценную информацию и важные ориентиры при доказательстве новых нижних оценок.Представляет интерес для научных работников, аспирантов и студентов в области математической кибернетики и теоретического программирования.
Sprog:	russisk
Udgivet:	Казань, Изд-во Казанского ун-та, 1990
Fag:	Математическая кибернетика сложность нижние оценки универсальные схемы доказательства универсальные функции теоретическое программирование
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=224248

Lignende værker

Сложность булевых функций
af: Нигматуллин Р. Г. Рошаль Габдулхаевич
Udgivet: (Москва, Наука, 1991)

Алгебраическое моделирование сложных систем
af: Иванов П. М. Петр Мацович
Udgivet: (Москва, Наука, 1996)

Неклассические логики и их применение; Вопросы кибернетики
Udgivet: (1982)

Юстировка и ремонт универсальных микроскопов
af: Эрвайс А. В. Аркадий Владимирович
Udgivet: (Москва, Машгиз, 1949)

Ч. 1; Условия А-полноты для конечных автоматов
Udgivet: (1986)

Тесты (теория, построение, применение)
af: Соловьев Н. А. Николай Андреевич
Udgivet: (Новосибирск, Наука, 1978)

Сложность булевых функций
af: Нигматуллин Р. Г. Рошаль Габдулхаевич
Udgivet: (Казань, Изд-во Казанского ун-та, 1983)

Кибернетика. Вопросы теории и практики
af: Глушков В. М.
Udgivet: (Москва, Наука, 1986)

Анализ эффективности деятельности в центральных универсальных библиотеках субъектов Российской Федерации; Научные и технические библиотеки; № 7
af: Коломейчук Е. М. Евгения Максимовна
Udgivet: (2005)

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Udgivet: (Калинин, Изд-во Калининского гос. ун-та, 1983)

Автоматы, алгорифмы, языки: межвузовский тематический сборник
Udgivet: (Калинин, Изд-во Калининского гос. ун-та, 1982)

Универсальные алгоритмы оптимального управления непрерывными процессами
af: Красовский А. А. Александр Аркадьевич
Udgivet: (Москва, Наука, 1977)

Основы теории вероятностных автоматов
af: Бухараев Р. Г. Раис Гатич
Udgivet: (Москва, Наука, 1985)

Взаимодействие универсальныъх библиотек федерального и регионального уровня по формированию фондов; Библиотечное дело - XXI век; № 2
af: Шпанцева С. М. Светлана Михайловна
Udgivet: (2002)

Выбор универсальных средств измерений линейных размеров до 500 мм (по применению ГОСТ 8.051-81): Методические указания. РД 50-98-86
Udgivet: (Москва, Издательство стандартов, 1987)

Структура обслуживания в универсальных научных библиотеках России; Научные и технические библиотеки; № 5
af: Коломейчук Е. М. Евгения Максимовна
Udgivet: (2002)

Математическая и техническая кибернетика
Udgivet: (Тбилиси, Мецниереба, 1983)

Вопросы математической кибернетики: сборник научных трудов
Udgivet: (Минск, Изд-во МГПИ, 1979)

Математическая и техническая кибернетика
Udgivet: (Тбилиси, Мецниереба, 1989)

Математическая и техническая кибернетика
Udgivet: (Тбилиси, Мецниереба, 1986)

Кн. 5: Ге - Да; Новая иллюстрированная энциклопедия
Udgivet: (2003)

Кн. 6: Да - Жа; Новая иллюстрированная энциклопедия
Udgivet: (2003)

Математическая и техническая кибернетика
Udgivet: (Тбилиси, Мецниереба, 1985)

Математическая и техническая кибернетика
Udgivet: (Тбилиси, Мецниереба, 1984)

Автоматическое образование гипотез. Математические основы общей теории: перевод с английского
af: Гаек П. Петр
Udgivet: (Москва, Наука, 1984)

Конструкции и основы проектирования универсальных штампов
af: Шевелев В. В. Виктор Васильевич
Udgivet: (Москва, Машиностроение, 1964)

Математическая и техническая кибернетика: [сборник]
Udgivet: (Тбилиси, Мецниереба, 1979)

Математическая и техническая кибернетика: [сборник]
Udgivet: (Тбилиси, Мецниереба, 1980)

Организация работы книгохранилища в универсальной научной библиотеке: Методические рекомендации
Udgivet: (Москва, 1985)

Т. 2: О - Я; Большой энциклопедический словарь
Udgivet: (1991)

Т. 1: А - Н; Большой энциклопедический словарь
Udgivet: (1991)

Отражение точности идентификации нечетких множеств в представлениях ситуаций; Измерительная техника; № 10
af: Рыжаков В. В.
Udgivet: (2004)

ТКМ700 - программируемый контроллер для универсальных решений; Промышленные АСУ и контроллеры; № 10
af: Романов Б. А.
Udgivet: (2005)

Новости от компании Науцилус; Промышленные АСУ и контроллеры; № 9
Udgivet: (2003)

Научные библиотеки и обслуживание студентов; Научные и технические библиотеки; № 6
af: Балкова И. В. Ирина Викторовна
Udgivet: (2001)

Вып. 18; Кибернетический сборник. Новая Серия
Udgivet: (Москва, Мир, 1981)

Введение в квантовые вычисления: пер. с англ.
af: Кайе Ф. Филлип
Udgivet: (Москва, Регулярная и хаотическая динамика, 2009)

Универсальная система поиска попутчиков; Ресурсоэффективным технологиям - энергию и энтузиазм молодых
Udgivet: (2013)

Кн. 18: Та - Ун; Новая иллюстрированная энциклопедия
Udgivet: (2003)

Кн. 17: Ск - Та; Новая иллюстрированная энциклопедия
Udgivet: (2003)