Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=В127.4$<.>) |
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
|
| | Тип видання: монографія | | |
1. |
Гэри, М. Вычислительные машины и труднорешаемые задачи [Електронний ресурс] : пер. с англ. / М. Гэри, Д. Джонсон. - М. : Мир, 1982. - 419 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Монография американских ученых, посвященная вопросам сложности решения комбинаторных задач, возникающих в дискретной оптимизации, математическом программировании, алгебре, теории чисел, теории автоматов, математической логике, теории множеств, теории графов и т.п. Книга отличается строгим и систематическим изложением теории, в приложении содержится более 300 труднорешаемых задач из различных разделов математики. Для математиков-прикладников, аспирантов и студентов университетов.
Кл.слова: математика -- алгебра -- програмування -- теорія чисел -- математична логіка -- математичний аналіз
| | Тип видання: наукове видання | | |
2. |
Ершов, Ю. Л. Определимость и вычислимость [Електронний ресурс] / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 300 с.. - (Сибирская школа алгебры и логики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т. д. Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
Кл.слова: теорема Геделя -- гамма-функція
| | Тип видання: наукове видання | | |
3. |
Пападимитриу, Х. Комбинаторная оптимизация. Алгоритмы и сложность [Електронний ресурс] / Х. Пападимитриу, К. Стайглиц. - М. : Мир, 1984. - 512 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В предлагаемой вниманию читателей книге удачно синтезированы вопросы, которые ранее в литературе освещались изолированно. Объединяющим все изложение лейтмотивом послужила задача линейного программирования, занимающая важное место в истории развития теории алгоритмов. В ней излагаются методы решения и приводится анализ сложности алгоритмов для общей задачи линейного программирования, задачи целочисленного программирования, потоковых задач, ряда задач на графах, задач о матроидах и т.д. Также в книгу включены три главы посвященные приближенным методам решения дискретных задач оптимизации и другим подходам к труднорешаемым задачам.
Кл.слова: задача -- алгоритм
| | Тип видання: монографія | | |
4. |
Шенфилд, Д. Степени неразрешимости [Електронний ресурс] : пер. с англ. / Д. Шенфилд. - М. : Наука, 1977. - 192 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Издательство «Наука» в серии «Математическая логика и основания математики» представляет монографию Шенфилда «Степени неразрешимости», посвященную изложению результатов о тьюринговых степенях. Шенфилд постарался изложить традиционно сложную тему в максимально простой форме.
Кл.слова: алгоритм -- ступінь
| | | |
|
|