![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=В12$<.>) |
Загальна кількість знайдених документів : 249
Представлено документи з 1 до 20
|
| |
| | Тип видання: навчальний посібник | | |
1. |
Алексеев, В. Б. Дискретная математика (II семестр) [Електронний ресурс] / В. Б. Алексеев ; сост. А. Д. Поспелов. - М. : Изд-во МГУ, 2002. - 44 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В Данной книге очень хорошо расписаны следующие разделы: Функции алгебры логики, Основы теории графов. Основы теории управляющих систем. Основы теории кодирования. Основы теории конечных автоматов.
Кл.слова: дискретна математика -- теорія графів
| | Тип видання: підручник | | |
2. |
Баврин, Иван Иванович. Старинные задачи [Електронний ресурс] / И. И. Баврин, Е. А. Фрибус. - М. : Просвещение, 1994. - 128 с.
Рубрики:
Географічні рубрики:
Повний текст доступний у читальних залах НБУВ
Богатая коллекция старинных задач предоставляет читателю замечательную возможность проследить за развитием математической мысли с древнейших времен.
Кл.слова: логіка -- задачі
| | Тип видання: наукове видання | | |
3. |
Болибрух, Андрей Андреевич. Проблемы Гильберта (100 лет спустя) [Електронний ресурс] / А. А. Болибрух. - М. : Изд-во МЦНМО, 1999. - 24 с.. - (Библиотека "Математическое просвещение" ; вып. 2)
Рубрики:
Повний текст доступний у читальних залах НБУВ
Знаменитые проблемы, сформулированные Давидом Гильбертом на Парижском международном математическом конгрессе 1900-го года, оказали определяющее влияние на развитие математики XX столетия. Одна из целей этой брошюры – показать, что многие известные и достаточно сложные математические проблемы возникают вполне естественным образом, так что даже старшеклассник может понять причины появления этих проблем и их формулировки. Текст брошюры представляет собой обработку записи лекции, прочитанной автором 23 октября 1999 года на Малом мехмате для школьников 9—11 классов. Брошюра рассчитана на широкий круг читателей, интересующихся математикой: школьников старших классов, студентов младших курсов, учителей.
Кл.слова: математика -- гільбертів простір
| | Тип видання: наукове видання | | |
4. |
Гудстейн, Рейбен Луис. Рекурсивный математический анализ [Електронний ресурс] : пер. с англ. / Р. Л. Гудстейн. - М. : Наука, 1970. - 472 с.. - (Серия "Математическая логика и основания математики")
Рубрики:
Повний текст доступний у читальних залах НБУВ
В настоящее время интенсивно развивается конструктивное направление в математике, в частности, конструктивный математический анализ. Р. Л. Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа. Этот подход существенно отличается (как по общему замыслу, так и по характеру центральных понятий) от подходов, использованных другими математиками; он тесно связан с введенным Гудстейном исчислением равенств, представляющим собой аксиоматический фрагмент теории рекурсивных арифметических функций, обладающий рядом важных достоинств. Аксиомы исчисления равенств и выводимые в этом исчислении объекты представляют собой формулы вида Т\ = Т2, где Тх и Т2 — функциональные выражения (термы), составляемые обычным способом из натуральных чисел, предметных переменных (допустимыми значениями которых считаются натуральные числа) и 'знаков примитивно рекурсивных функций*). При этом, если аи ..., а„ — список всех *) Примитивно рекурсивные функции (сокращенное название — п. р. функции) представляют собой алгорифмически определяемые арифметические функции одного частного, но (как было выяснено еще в первой трети текущего столетия) весьма важного и достаточного для очень многих целей типа. В этом параграфе функциональные выражения (термы) указанного выше типа называются примитивно рекурсивными термами (п. р. термами), а формулы вида Т\ = Т?, где Т\ и Т2 — п. р. термы, называются примитивно рекурсивными равенствами (п. р. равенствами).
Кл.слова: рекурсія -- рекурсивний аналіз
| | Тип видання: підручник | | |
5. |
Клини, С. К. Математическая логика [Електронний ресурс] : пер. с англ. / С. К. Клини. - М. : Мир, 1973. - 241 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Имя одного из крупнейших специалистов в области математической логики С.К.Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в математику". Новая его книга представляет собой существенно усовершенствованный и приближенный к нуждам университетского преподавания вариант "чисто логической " части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый материал. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах.
Кл.слова: математична логіка -- програмування
| | Тип видання: підручник | | |
6. |
Гарднер, Мартин. Есть идея [Електронний ресурс] : пер. с англ. / Г. Мартин. - М. : Мир, 1982. - 305 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга посвящена поиску решений математических и логических задач.
Кл.слова: математична задача
| | Тип видання: підручник | | |
7. |
Носов, В. А. Комбинаторика и теория графов [Електронний ресурс] / В. А. Носов. - М. : Изд-во МГИЭМ, 1999. - 116 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Пособие содержит изложение основ комбинаторики и теории графов в соответствии с программой семестрового курса для студентов младших курсов, обучающихся по специальности "Прикладная математика".
Кл.слова: комбінаторика
| | Тип видання: підручник | | |
8. |
Фоминых, Е. А. Лекции по дискретной математике [Електронний ресурс] : функциональные системы с операциями / Е. А. Фоминых. - Челябинск : Изд-во Челябинского гос. ун-та, 2001. - 33 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Конспект лекций по дискретной математике, подготовленный на математическом факультете Челябинского государственного университета, включает два раздела "Алгебра логики" и "к-значная логика".
Кл.слова: алгебра -- логіка -- дискретна математика
| | Тип видання: підручник | | |
9. |
Холл, М. Комбинаторика [Електронний ресурс] / М. Холл. - М. : Мир, 1970. - 424 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
"Комбинаторика" М. Холла занимает особое место среди вышедших за последние годы на русском языке монографий зарубежных авторов, посвященных комбинаторике. Если "Введение в комбинаторный анализ" Дж. Риордана содержит довольно полное изложение методов решения перечислительных задач, а в "Комбинаторной математике" Г. Дж. Райзера в очень хорошем изложении представлены разнообразные, но лишь самые основные, принципиальные стороны комбинаторной теории, то книга М. Холла характерна, прежде всего, тем, что в ней весьма подробно и на высоком математическом уровне рассматриваются сложные и красивые вопросы существования и построения блок-схем, матриц Адамара и латинских квадратов. Комбинаторные задачи построения привлекают к себе внимание уже давно (можно вспомнить, например, знаменитую задачу Эйлера о 36 офицерах), но их большое прикладное значение выяснилось сравнительно недавно и явилось, очевидно, дополнительным мощным стимулом, вызвавшим все возрастающее количество комбинаторных исследований, посвященных существованию и построению блок-схем. В книге М. Холла, одного из ярких представителей именно этого направления комбинаторики, представлены многие из полученных (в том числе и самим автором) в недавнее время интересны* результатов, таких, как опровержение предположения Эйлера, построение матриц Адамара, построение целого ряда систем разностных множеств и др. Этим вопросам посвящены гл. 10-16, занимающие две трети книги. Другим сторонам комбинаторной теории уделено сравнительно меньшее внимание, что, однако, не мешает рассматривать книгу М. Холла как книгу по "комбинаторике в целом". Следует отметить, что и в гл. 1-9, наряду с более традиционным материалом, читатель найдет немало нового и интересного, как, например, теорию различных представителей для системы конечных подмножеств бесконечного множества в гл. 5, лаконичное изложение основ линейного программирования в гл. 8, решение с помощью теории графов задачи перечисления полных циклов в гл. 9.
Кл.слова: множина -- комбінаторний аналіз
| | Тип видання: підручник | | |
10. |
Кристофидес, Н. Теория графов [Електронний ресурс] : алгоритмический подход / Н. Кристофидес. - М. : Мир, 1978. - 432 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге впервые в мировой литературе достаточно полно представлены разнообразные алгоритмы, связанные с нахождением структурных и числовых характеристик объектов из теории графов. В частности, подробно рассматриваются различные алгоритмы поиска решения в задаче коммивояжера. Кроме того, книга содержит большой фактический материал по исследованию потоков в сетях. Многочисленные примеры иллюстрируют работу конкретных алгоритмов. Приводятся оценки сложности соответствующих процедур. Разнообразная тематика и строгое представление сочетаются с доходчивостью изложения. Книга будет интересна широкому кругу специалистов, сталкивающихся с теорией графов и ее приложениями. Она доступна студентам университетов и втузов соответствующих специальностей.
Кл.слова: математика -- алгоритм
| | Тип видання: підручник | | |
11. |
Соболева, Т. С. Дискретная математика [Електронний ресурс] : учебник / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина. - М. : Академия, 2006. - 256 с.. - (Серия "Прикладная математика и информатика")
Рубрики:
Повний текст доступний у читальних залах НБУВ
В учебнике рассмотрены общие (множества и отношения, алгебра и топология) и специальные (математическая логика, математическая кибернетика, математическая информатика) вопросы дискретной математики. Для студентов высших учебных заведений. Может быть полезен аспирантам, научным работникам и специалистам в области прикладной математики и современных наукоемких информационных технологий. Из предисловия. Данный учебный курс задуман как начальный базовый курс дискретной математики. В нем отражен опыт авторов чтения курса дискретной математики в Московском государственном университете имени М.В. Ломоносова, в Военной академии ракетных войск стратегического назначения имени Петра Великого и в Российском государственном университете нефти и газа имени И. М. Губкина. Учебник отличается от большинства аналогичных тем, что в нем особое внимание уделяется алгебре и топологии, а также различию сильноформальных (кибернетических) и слабоформальных (информационных) систем. Краткое содержание: Часть I. Множества и отношения (Основные понятия теории множеств. Конечные и бесконечные множества. Отношения на множествах. Элементы теории графов). Часть II. Алгебра и топология (Алгебры. Булевы функции. Элементы общей топологии). Часть III. Математическая логика (Логика высказываний. Логика предикатов. Элементы теории доказательств). Часть IV. Математическая кибернетика (Синтаксис языков. Теория алгоритмов. Элементы теории кодирования). Часть V. Математическая информатика (Семантика языков. Информация о точке и математическое моделирование баз данных. Принятие решений. Ультраоператоры и математическое моделирование баз знаний. Дополнения).
Кл.слова: математика -- топологія -- логіка
| | Тип видання: підручник | | |
12. |
Новиков, Ф. А. Дискретная математика для программистов [Електронний ресурс] : учебник / Ф. А. Новиков. - СПб. : Питер, 2000. - 304 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В учебнике изложены основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных структурах данных. Основу книги составляет материал лекционного курса, который автор читает в Санкт-Петербургском государственном техническом университете последние полтора десятилетия. Для студентов вузов, практикующих программистов и всех желающих изучить дискретную математику.
Кл.слова: математика -- програмування
| | Тип видання: наукове видання | | |
13. |
Мороз, Б. З. Диофантовы уравнения и доказуемость в математике [Електронний ресурс] / Б. З. Мороз. - М. : МЦНМО, 2008. - 56 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Все, наверное, слышали о знаменитых проблемах Гильберта. Проблема под номером десять касалась так называемых диофантовых уравнений, трудность решения которых состоит в ограничении на допустимые значения неизвестных, которые должны быть целыми положительными числами. В 10-ой проблеме Гильберт просил решить не конкретные диофантовы уравнения, а найти общий, универсальный метод - алгоритм - который будучи применен к конкретному диофантову уравнению за конечное число шагов давал ответ на вопрос, имеет ли это уравнение решения или нет. В строительстве решения 10-ой проблемы Гильберта участвовали многие математики. Матиясевич положил последний кирпич в в этом строительстве. В книжке Мороза излагается результат Матиясевича. Написана ясным и понятным языком, не требуя от читателя глубокой математической подготовки.
Кл.слова: алгоритм -- рівняння -- розв'язання
| | Тип видання: підручник | | |
14. |
Конфорович, А. Г. Математика лабиринта [Електронний ресурс] / А. Г. Конфорович. - К. : Радянська школа, 1987. - 136 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге представлено свыше 300 занимательных задач, связанных с идеей лабиринта (нерегулярности, диффузности) и такими разделами современной математики, как теория графов, теория вероятностей, информатика, кибернетика. Приводятся многочисленные историко-этнографические сведения, раскрывающие глубокую связь идеи лабиринта с разнообразнейшими областями человеческой деятельности. Предназначается для учащихся 7— 10-х классов.
Кл.слова: теорія графів -- теорія ймовірності -- інформатика -- кібернетика -- нерегулярність -- дифузорність
| | Тип видання: навчальний посібник | | |
15. |
Макоха, А. Н. Дискретная математика [Електронний ресурс] : учебное пособие / А. Н. Макоха, П. А. Сахнюк, Н. И. Червяков. - М. : ФИЗМАТЛИТ, 2005. - 368 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Учебное пособие содержит как традиционные разделы дискретной математики, такие как введение в теорию графов, нормальные формы логических функций и синтез комбинационных схем, конечные автоматы, так и нетрадиционный раздел - алгебраические и теоретико-числовые основы модулярного кодирования.Для студентов и преподавателей вузов, а также инженеров и специалистов, работающих в области прикладной математики и телекоммуникаций.
Кл.слова: теорія графів -- логічна функція -- комбінаційна схема
| | Тип видання: навчальний посібник | | |
16. |
Теория выбора и принятия решений [Електронний ресурс] : учебное пособие / И. М. Макаров [и др.]. - М. : Наука, 1982. - 328 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга даст цельное представление о математическом аппарате теории выбора и принятия решений. В ней обобщены основные направления исследований в рассматриваемой области и изложены методы построения алгоритмов и процедур выбора. Приведено большое число примеров и упражнений, направленных на выработку систематических навыков применения математических методов в принятии решений. Для студентов университетов и вузов по специальностям "Прикладная математика" и "Экономическая кибернетика", а также для экономистов, инженеров, разработчиков АСУ и робототехнических систем.
Кл.слова: алгоритми -- процедури вибору
| | Тип видання: наукове видання | | |
17. |
Тарский, А. Введение в логику и методологию дедуктивных наук [Електронний ресурс] : пер. с англ. / А. Тарский. - М. : ГИИЛ, 1948. - 327 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга известного польского математика п логика А. Тарского, представляющая собой популярное введение в математическую логику и методологию дедуктивных наук, заслуживает внимания советского читателя. Вышедшая в 1936 Г, на польском языке, она появилась в 1937 г. в немецком переводе, но была выпущена известным немецким книгоиздательством Шпрингера не в Германии, а в Вене, Правда, зто не помогло издательству; часть издания, которую оно не успело распространить до «аншлюса», так и осталась лежать на его складах... по соображениям расового порядка, В 1941 г. просмотренное и дополненное издание книги вышло на английской языке в Нью-Йорке. С этого издания и выполнен русский перевод.
Кл.слова: математика -- логіка
| | Тип видання: підручник | | |
18. |
Оре, О. Теория графов [Електронний ресурс] / О. Оре. - 2-е изд.. - М. : Наука, 1980. - 338 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Первые пять глав посвящены наглядному материалу и содержат основные понятия и свойства графов. В главе 6 даются основы теории вполне упорядоченных множеств, которая используется в дальнейшем для строгого абстрактного рассмотрения бесконечных графов. В главе 7 особенно подробно излагается вопрос о паросочетаниях; естественным ее продолжением является глава 12. В главах 8-11 рассматриваются ориентированные графы, и затем на языке ориентированных графов изучаются частично упорядоченные множества. Последние три главы (13-15), представляющие немалый интерес, снова имеют дело с более наглядным материалом. Книга дает достаточно полное представление о направлениях исследований в теории графов. В ней приводятся упражнения и нерешенные задачи; сделана попытка ввести систематическую терминологию. Написана книга ясным и достаточно доступным математическим языком.
Кл.слова: дискретна математика -- маршрут -- геоінформаційна система
| | Тип видання: навчальний посібник | | |
19. |
Бизам, Д. Многоцветная логика: 175 логических задач [Електронний ресурс] / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - М. : Мир, 1978. - 435 с.
Рубрики:
Географічні рубрики:
Повний текст доступний у читальних залах НБУВ
Новая книга венгерских математиков Д. Бизама и Я. Герцега продолжает серию книг по занимательной математике. Как и предыдущая книга этих авторов "Игра и логика" (М., "Мир", 1975), она посвящена началам математической логики и содержит 175 логических задач. Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить.
Кл.слова: математична логіка -- нестандартна задача
| | Тип видання: наукове видання | | |
20. |
Свами, М. Графы, сети и алгоритмы [Електронний ресурс] / М. Свами, К. Тхуласираман. - М. : Мир, 1984. - 454 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В книге специалистов из Канады и Индии излагаются основы теории графов и ее применение к сетям с сосредоточенными параметрами в электро- и вычислительной технике. Рассматриваются вопросы цикломатики, связности, устойчивости, вложимости и раскраски графов, что позволяет определить чувствительность сети, а также разработать эффективные алгоритмы анализа и оптимизации графов. Для специалистов по электротехническим сетям и вычислительной технике.
Кл.слова: цикломатика
| |
| | | | | | | | | | | | | | | | | | | |
|
|