Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=В127.3$<.>) |
Загальна кількість знайдених документів : 18
Представлено документи з 1 до 18
|
| | Тип видання: наукове видання | | |
1. |
Мороз, Б. З. Диофантовы уравнения и доказуемость в математике [Електронний ресурс] / Б. З. Мороз. - М. : МЦНМО, 2008. - 56 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Все, наверное, слышали о знаменитых проблемах Гильберта. Проблема под номером десять касалась так называемых диофантовых уравнений, трудность решения которых состоит в ограничении на допустимые значения неизвестных, которые должны быть целыми положительными числами. В 10-ой проблеме Гильберт просил решить не конкретные диофантовы уравнения, а найти общий, универсальный метод - алгоритм - который будучи применен к конкретному диофантову уравнению за конечное число шагов давал ответ на вопрос, имеет ли это уравнение решения или нет. В строительстве решения 10-ой проблемы Гильберта участвовали многие математики. Матиясевич положил последний кирпич в в этом строительстве. В книжке Мороза излагается результат Матиясевича. Написана ясным и понятным языком, не требуя от читателя глубокой математической подготовки.
Кл.слова: алгоритм -- рівняння -- розв'язання
| | Тип видання: навчальний посібник | | |
2. |
Теория выбора и принятия решений [Електронний ресурс] : учебное пособие / И. М. Макаров [и др.]. - М. : Наука, 1982. - 328 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга даст цельное представление о математическом аппарате теории выбора и принятия решений. В ней обобщены основные направления исследований в рассматриваемой области и изложены методы построения алгоритмов и процедур выбора. Приведено большое число примеров и упражнений, направленных на выработку систематических навыков применения математических методов в принятии решений. Для студентов университетов и вузов по специальностям "Прикладная математика" и "Экономическая кибернетика", а также для экономистов, инженеров, разработчиков АСУ и робототехнических систем.
Кл.слова: алгоритми -- процедури вибору
| | Тип видання: навчальний посібник | | |
3. |
Трахтенброт, Б. А. Алгоритмы и машинное решение задач [Електронний ресурс] / Б. А. Трахтенброт. - М. : Гос. изд-во технико-теоретической литературы, 1957. - 99 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга Б.А. Трахтенброта рассматривает в популярной форме основные вопросы теории алгоритмов и связь этой теории с современной машинной математикой. Автор подробно рассказывает об истории развития понятия алгоритм, о принципе работы современных быстродействующих вычислительных машин, об основах программирования, о схеме машины Тьюринга, об алгоритмически неразрешимых проблемах. Книга рассчитана на школьников старших классов, преподавателей, инженерно-технических работников н всех лиц, интересующихся перспективами применения новой вычислительной техники.
Кл.слова: ЕОМ -- чисельний алгоритм
| | Тип видання: наукове видання | | |
4. |
Шапиро, С. И. От алгоритмов - к суждениям (Эксперименты по обучению элементам математического мышления) [Електронний ресурс] / С. И. Шапиро. - М. : Советское радио, 1973. - 288 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга посвящена проблеме психологии математического мышления - соотношению между процессом мышления и его продуктом, т. е. между психологическим и логическим. Выявлены общие принципы переработки информации человеком - укрупнённые действия. Книга адресуется психологам, математикам, педагогам, а также специалистам, занятым моделированием разумной деятельности и совершенствованием человеко-машинных комплексов.
Кл.слова: математичне мислення
| | Тип видання: методичний посібник | | |
5. |
Родосский, К. А. Алгоритм Евклида [Електронний ресурс] / К. А. Родосский. - М. : Наука, 1988. - 240 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Элементарное введение в теорию евклидовых колец с приложениями к системам линейных уравнений и системам линейных сравнений над такими кольцами. Разнообразные сведения, содержащиеся в книге, могут стать интересным дополнением к курсам алгебры и теории чисел, читаемым в университетах и пединститутах, и послужить основой для спецкурсов и спецсеминаров, а также для курсовых и дипломных работ.
Кл.слова: теорія -- рівняння -- математика
| | Тип видання: навчальний посібник | | |
6. |
Захарова, Л. Е. Алгоритмы дискретной математики [Електронний ресурс] / Л. Е. Захарова. - М. : Изд-во МИЭМ, 2002. - 120 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Предназначено для студентов при изучении дисциплины "Дискретная математика" и смежных с ней дисциплин. Будет полезным при подготовке к семинарам и контрольным работам. Каждая глава содержит алгоритмы дискретной математики, реализованные в виде программ на алгоритмическом языке Паскаль. Программы проверены на контрольных примерах.
Кл.слова: комбінаторика -- теорія графів
| | Тип видання: підручник | | |
7. |
Верещагин, Н. К. Лекции по математической логике и теории алгоритмов [Електронний ресурс] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999-2000
Рубрики:
Повний текст доступний у читальних залах НБУВ Ч. 1 : Начало теории множеств. - 1999. - 128 с. Ч. 3 : Вычислимые функции. - 1999. - 176 с. Языки и исчисления. - 2000. - 291 с.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает себя около 90 задач различной трудности.
Кл.слова: математична логіка -- теорія алгоритмів -- рекурсія
| | Тип видання: монографія | | |
8. |
Кокс, Д. Идеалы, многообразия и алгоритмы [Електронний ресурс] / Д. Кокс, Д. Литтл, Д. О'Ши. - М. : Мир, 2000. - 687 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Монография известных американских математиков посвящена изложению результатов бурно развивающейся области, связанной с алгоритмами, превращающими базисные понятия коммутативной алгебры и алгебраической геометрии из абстрактно-теоретических в конкретно вычислимые. Обсуждение алгоритмов основывается на обобщении алгоритма деления для полиномов от одной переменной, найденном лишь в шестидесятых годах. Эти алгоритмы в соединении с мощью быстрых компьютеров привели к некоторым интересным приложениям — например, в роботике и в доказательстве геометрических теорем. Для математиков-теоретиков, специалистов по компьютерной технике и инженеров, а также для студентов соответствующих специальностей.
Кл.слова: комутативна алгебра -- алгебраїчна геометрія
| | Тип видання: наукове видання | | |
9. |
Матиясевич, Ю. В. Десятая проблема Гильберта [Електронний ресурс] / Ю. В. Матиясевич. - М. : Физматлит, 1993. - 224 с.. - (Математическая логика и основания математики)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Дается полное доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, касающейся диофантовых уравнений, вместе с необходимыми сведениями из теории алгоритмов и теории чисел, а также приложения развитой для этого техники к другим массовым проблемам теории чисел, алгебры, анализа, теоретического программирования. Для математиков, в том числе аспирантов и студентов старших курсов.
Кл.слова: теорія чисел -- математичний аналіз
| | Тип видання: методичний посібник | | |
10. |
Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Електронний ресурс] / И. А. Лавров, Л. Л. Максимова. - 3-е изд.. - М. : Физматлит, 1995. - 247 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук.
Кл.слова: теорія множин -- алгебра -- функція
| | Тип видання: монографія | | |
11. |
Ахо, А. Построение и анализ вычислительных алгоритмов [Електронний ресурс] : пер. с англ. / А. Ахо, Д. Хопкрофт, Д. Ульман ; под ред. Ю. В. Матиясевича. - М. : Мир, 1979. - 536 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В монографии с единых позиций излагаются результаты теоретических и прикладных исследований по построению быстрых алгоритмов и доказательству их отсутствия. Рассмотрены задачи перебора упорядочения массивов данных, умножения чисел, умножения матриц; обсуждаются алгоритмы на графах. Многие результаты ранее были рассеяны в труднодоступных источниках и в монографическом виде публикуются впервые. Книга рассчитана на специалистов по современному программированию, разработчиков вычислительных систем и алгоритмов; она может быть использована как учебное пособие студентами и аспирантами, специализирующимися в области вычислительной математики.
Кл.слова: алгоритм -- задача -- матриця
| | Тип видання: довідник | | |
12. |
Библиотека алгоритмов [Електронний ресурс]. - [Б. м. : б. в.]
Рубрики:
Повний текст доступний у читальних залах НБУВ
Кл.слова: геометрія -- комбінаторика -- інтегральне рівняння -- інтерполяція
| | Тип видання: навчальний посібник | | |
13. |
Ершов, Ю. Л. Теория нумераций [Електронний ресурс] / Ю. Л. Ершов. - М. : Наука, 1977. - 416 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга представляет собой введение в проблематику и методы теории нумераций — развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине пятидесятых годов. Реализацией этой идеи для вычислимых нумераций в то время занялся В. А. Успенский. Параллельно ряд зарубежных математиков (Райе, Деккер, Майхилл, Фридберг, Лахлан, Ла-комб, Пур-Эль и др.) также занимались изучением различных вопросов, связанных с вычислимыми нумерациями.
Кл.слова: функціонал -- теорія алгоритмів
| | Тип видання: навчальний посібник | | |
14. |
Гордон, Е. И. Лекции по математической логике и теории алгоритмов [Електронний ресурс] : ч. 1 / Е. И. Гордон. - Нижний Новгород : НГУ, 1998. - 86 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Учебное пособие представляет запись лекций по курсу "Теория алгоритмов и математическая логика" для механико-математического факультета, обучающихся по специальности "Математика".
Кл.слова: математика -- предикат -- квантор
| | Тип видання: наукове видання | | |
15. |
Касаткин, В. Н. Семь задач по кибернетике [Електронний ресурс] / В. Н. Касаткин. - К. : Вища школа, 1975. - 96 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
С появлением ЭЦВМ возможности человека при постановке и решении задач возросли чрезвычайно. Их появление способствовало и способствует возникновению новых, в «домашинный период» совершенно неизвестных методов и алгоритмов решения задач. Применение ЭЦВМ требует высокой алгоритмической культуры, воспитание которой следует начинать еще на школьной скамье. В книге рассказывается о некоторых, специфических для кибернетики, подходах к решению задач. Эти подходы разъясняются на задачах занимательного характера. Изложение ведется в форме, доступной для учащихся. Другими методами рассматриваемые задачи решать затруднительно — применение вводимых понятий делает их решение очень простым и изящным. Книжка рассчитана на учащихся физико-математических школ. Будет полезна всем учащимся общеобразовательных школ, которые интересуются математикой и кибернетикой.
Кл.слова: математика -- інформатика -- кібернетика -- ЕОМ -- програмування
| | Тип видання: навчальний посібник | | |
16. |
Алферова, Зоя Васильевна. Теория алгоритмов [Електронний ресурс] : учеб. пособие для студ. вузов / З. В. Алферова. - М. : Статистика, 1973. - 164 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В учебном пособии излагаются основы теории алгоритмов и теории формальных грамматик, рассматриваются различные алгоритмические системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов. Пособие предназначено для студентов вузов, специализирующихся по механизированной обработке экономической информации. Им могут пользоваться и специалисты, работающие в этой области.
Кл.слова: алгоритмічна система -- формальна граматика
| | Тип видання: підручник | | |
17. | |
Алексеев, Владимир Евгеньевич. Графы. Модели вычислений. Структуры данных [Електронний ресурс] : учебник / В. Е. Алексеев, В. А. Таланов. - Нижний Новгород : Изд-во ННГУ, 2005. - 307 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Учебник состоит из трех частей, посвященных вопросам анализа и разработки алгоритмов: графы и алгоритмы, модели вычислений, структуры данных. Для понимания материала достаточно математической подготовки в объеме первого курса университета или технического вуза. Предназначен для студентов, обучающихся по направлению 510200 − Прикладная математика и информатика и по специальности 010200 − Прикладная математика и информатика.
Кл.слова: математичний аналіз -- теорія графів -- програмування -- маршрутизація
| | Тип видання: методичний посібник | | |
18. |
Тимошенко, Анатолій Григорович. Конспект лекцій з дисципліни "Алгоритми та методи обчислень" [Електронний ресурс] / А. Г. Тимошенко ; Відкритий міжнародний університет розвитку людини «Україна». Кафедра інформаційних технологій та програмування. - К. : [б. в.], 2010. - 69 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Розв’язання нелінійних рівнянь і систем є не тільки важливою самостійною задачею, але і частиною інших задач обчислювальної математики, наприклад, розв’язання нелінійних диференціальних рівнянь або знаходження власних значень матриць. Із ними зв'язана побудова різноманітних моделей приладів і систем автоматики і інформаційно-вимірювальної техніки.
Кл.слова: обчислення -- матриця -- алгоритм
| | | | | | | | | | | | | | | | | |
|
|