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

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

Dettagli Bibliografici
Autore principale:	Нигматуллин Р. Г. Рошаль Габдулхаевич
Riassunto:	Монография посвящена проблеме нижних оценок сложности. Предложены две формальные модели доказательств нижних оценок сложности, в рамках моделей формализовано понятие эффективных нижних оценок, дана единая трактовка известных доказательств, установлена связь величины нижних оценок со сложностью универсальных функций или схем, доказана невыводимость высоких нижних оценок для схем в полных базисах. Оригинальный подход автора к проблеме дает ценную информацию и важные ориентиры при доказательстве новых нижних оценок.Представляет интерес для научных работников, аспирантов и студентов в области математической кибернетики и теоретического программирования.
Lingua:	russo
Pubblicazione:	Казань, Изд-во Казанского ун-та, 1990
Soggetti:	Математическая кибернетика сложность нижние оценки универсальные схемы доказательства универсальные функции теоретическое программирование
Natura:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=224248

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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