| Найдено документов - 57 | Найти похожие: "Индекс УДК" = '681.51.013 или 519.17 или 510.6 или 515.12' | Версия для печати |
Сортировать по:
1. Книга
Малинина Н.Л.
Теория структурного синтеза сложных систем и процессов функционирования / Н.Л. Малинина, Л.И. Малинин. - Москва : У Никитских ворот, 2025. - 440, [1] с. : ил., табл. - Библиогр.: с. 431-438 (188 назв.). - ISBN 978-5-00246-398-5.
Теория структурного синтеза сложных систем и процессов функционирования / Н.Л. Малинина, Л.И. Малинин. - Москва : У Никитских ворот, 2025. - 440, [1] с. : ил., табл. - Библиогр.: с. 431-438 (188 назв.). - ISBN 978-5-00246-398-5.
Авторы: Малинина Н.Л., Малинин Л.И.
Шифры: 681.5 - М 19
Ключевые слова: СТРУКТУРНЫЙ СИНТЕЗ, СИНТЕЗ СТРУКТУРЫ, СЛОЖНЫЕ СИСТЕМЫ, СИСТЕМНЫЙ АНАЛИЗ, СТРУКТУРНЫЙ СИНТЕЗ СЛОЖНЫХ СИСТЕМ, СЛОЖНЫЕ ПРОЦЕССЫ, МОДЕЛИРОВАНИЕ СЛОЖНЫХ СИСТЕМ, МОДЕЛИРОВАНИЕ СЛОЖНЫХ ПРОЦЕССОВ, СЕТЕВЫЕ МОДЕЛИ, СЕТЕВОЕ ПЛАНИРОВАНИЕ, КОНЕЧНЫЕ АВТОМАТЫ, НЕЙРОННЫЕ СЕТИ, БУЛЕВЫ ФУНКЦИИ, ГРАФЫ, ПРОБЛЕМА КУКА, АЛГОРИТМЫ, СЕТЕВОЕ УПРАВЛЕНИЕ, СИНТЕЗ СЛОЖНЫХ СИСТЕМ, ДЕДУКТИВНАЯ ЛОГИКА, ИНДУКТИВНАЯ ЛОГИКА, СЕТЕВАЯ МОДЕЛЬ ПОЛЕТА АВИАЦИОННО-КОСМИЧЕСКИХ ЛЕТАТЕЛЬНЫХ АППАРАТОВ, АЭРОКОСМИЧЕСКИЕ СИСТЕМЫ - МОДЕЛИРОВАНИЕ, АЭРОКОСМИЧЕСКИЙ ПОЛЕТ - МОДЕЛИРОВАНИЕ
Аннотация: Книга посвящена теории структурного синтеза сложных систем и процессов функционирования и представляет собой фундаментальные основы системного анализа и синтеза. В главе 1 рассматриваются проблемы моделирования сложных систем и процессов функционирования, характеристики различных методов моделирования. В главе 2 исследуются свойства сетевых моделей и ставится задача их синтеза. В главе 3 рассматриваются сложные процессы проектирования и конструирования применительно к аэрокосмической отрасли. Глава 4 посвящена топологическим особенностям сложных процессов и введению дискретно-непрерывной топологии. В главах 5 и 6 предлагается расширение теории графов для решения проблемы синтеза сложных систем и процессов. Глава 7 предлагает разделение структур алгоритмов по категориям сложности, применительно к проблеме Кука: PvsNP. В главах 8 и 9 разбираются проблемы алгоритмизации сложных систем и процессов и предлагается их возможное решение. Главы 10-14 посвящены примерам возможных задач и разбирается их решение: синтез вычислительных алгоритмов, календарное планирование, детерминирование конечных автоматов и обучение нейросетей. В главе 15 сравниваются дедуктивная и индуктивная логики и доказывается возможность формализации индуктивной логики. В главе 16 рассматриваются проблемы экономической выгоды от применения методов, изложенных в книге. Глава 17 посвящена проблемам программирования булевых функций и их возможному решению.
Экземпляры: Всего: 2, из них: чзнл-1, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/76851?idb=NewMAI2014
Для просмотра необходимо войти в личный кабинет
Прямая ссылка:
Подробнее
Кафедра: 604
2. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 6-е, стер. - Москва : МЦНМО, 2020. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств . - 2020. - 112 с. : ил. - Библиогр.: с.105-106 (13 назв.). - ISBN 978-5-4439-4086-1.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 6-е, стер. - Москва : МЦНМО, 2020. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств . - 2020. - 112 с. : ил. - Библиогр.: с.105-106 (13 назв.). - ISBN 978-5-4439-4086-1.
Шифры: 51 - В 317
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ АЛГОРИТМОВ, ТЕОРИЯ МНОЖЕСТВ
Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3
Прямая ссылка:
3. Многотомник
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 6-е, стер. - Москва : МЦНМО, 2020. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств . - 2020. - 112 с. : ил. - Библиогр.: с.105-106 (13 назв.). - ISBN 978-5-4439-4086-1.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - Изд. 6-е, стер. - Москва : МЦНМО, 2020. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств . - 2020. - 112 с. : ил. - Библиогр.: с.105-106 (13 назв.). - ISBN 978-5-4439-4086-1.
Авторы: Верещагин Н.К., Шень А.
Шифры: 51 - В 317
Прямая ссылка:
4. Книга
Екимова М.А.
Задачи на разрезание / М.А. Екимова, Г.П. Кукин. - Изд. 7-е, стер. - М. : МЦНМО, 2018. - 118, [1] с. : ил. - (Секреты преподавания математики). - Библиогр.: с.118 (11 назв.). - ISBN 978-5-4439-2648-3.
Задачи на разрезание / М.А. Екимова, Г.П. Кукин. - Изд. 7-е, стер. - М. : МЦНМО, 2018. - 118, [1] с. : ил. - (Секреты преподавания математики). - Библиогр.: с.118 (11 назв.). - ISBN 978-5-4439-2648-3.
Авторы: Екимова М.А., Кукин Г.П.
Шифры: 51 - Е 455
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, СРЕДНЯЯ ШКОЛА, ГЕОМЕТРИЧЕСКИЕ ЗАДАЧИ
Аннотация: Эта книга является первой книгой серии «Секреты преподавания математики», призванной изложить и обобщить накопленный опыт в области математического образования. Данный сборник представляет собой одну из частей курса «Развивающая логика в 5–7 классах». Ко всем задачам, приведенным в книге, даны решения или указания. Книга рекомендуется для внеклассной работы по математике
Экземпляры: Всего: 5, из них: абнл-2, чзнл-2, ЭБС-1
Ссылка на ресурс: http://ilib.mccme.ru/pdf/kukin.pdf
Прямая ссылка:
5. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Шифры: 51 - В 317
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ АЛГОРИТМОВ
Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2012 г.
Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3
Прямая ссылка:
6. Многотомник
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств. - 2017. - изд. 5-е, стер. - (Современные лекционные курсы). - нет в НТБ.
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств. - 2017. - изд. 5-е, стер. - (Современные лекционные курсы). - нет в НТБ.
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.
Авторы: Верещагин Н.К., Шень А.
Шифры: 51 - В 317
Прямая ссылка:
7. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.
Шифры: 51 - В 317
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ АЛГОРИТМОВ
Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности. Предыдущее издание книги вышло в 2012 г.
Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3
Прямая ссылка:
8. Книга
Харари Ф.
Теория графов = Graph theory / Ф. Харари; перевод с английского и предисловие В.П. Козырева под ред. Г.П. Гаврилова. - изд. стер. - М. : УРСС : ЛЕНАНД, 2015. - 297 с. : ил. - Библиогр.: с.269-286. - ISBN 978-5-9710-1443-0 (ЛЕНАНД). - ISBN 9785-453-00080-7 (УРСС).
Теория графов = Graph theory / Ф. Харари; перевод с английского и предисловие В.П. Козырева под ред. Г.П. Гаврилова. - изд. стер. - М. : УРСС : ЛЕНАНД, 2015. - 297 с. : ил. - Библиогр.: с.269-286. - ISBN 978-5-9710-1443-0 (ЛЕНАНД). - ISBN 9785-453-00080-7 (УРСС).
Авторы: Харари Ф.
Шифры: 519 - Х 20
Ключевые слова: ТЕОРИЯ ГРАФОВ
Аннотация: В последнее время теория графов привлекает все более пристальное внимание специалистов различных областей знания. Наряду с традиционными применениями ее в таких науках, как физика, электротехника, химия, она проникла и в науки, считавшиеся раньше далекими от нее, - экономику, социологию, лингвистику и др. Давно известны тесные контакты теории графов с топологией, теорией групп и теорией вероятностей. Особенно важная взаимосвязь существует между теорией графов и теоретической кибернетикой (особенно теорией автоматов, исследованием операций, теорией кодирования, теорией игр). Широко используется теория графов при решении различных задач на вычислительных машинах. Предлагаемая книга написана видным специалистом по дискретной математике. Несмотря на небольшой объем и конспективный характер изложения, книга, в свое время достаточно полно осветившая состояние теории графов, и в настоящий момент не утратила актуальности. Она, безусловно, будет полезна студентам университетов и технических вузов и, несомненно, заинтересует широкие круги научных работников, занимающихся приложениями дискретной математики.
Экземпляры: Всего: 3, из них: абнл-1, чзнл-2
Прямая ссылка:
9. Книга
Оре О. (1899-1968).
Графы и их применение = Graphs and their uses / О. Оре; перевод с английского Л.И. Головиной, В.А. Белавина с 4-го, исправленного и дополненного издания под ред. Р. Уилсона. - М. : УРСС : ЛЕНАНД, 2015. - 188 с. : ил. - (Науку - всем! Шедевры научно-популярной литературы. №87. Математика). - Библиогр.: с.183 (8 назв.). - ISBN 978-5-9710-1140-8.
Графы и их применение = Graphs and their uses / О. Оре; перевод с английского Л.И. Головиной, В.А. Белавина с 4-го, исправленного и дополненного издания под ред. Р. Уилсона. - М. : УРСС : ЛЕНАНД, 2015. - 188 с. : ил. - (Науку - всем! Шедевры научно-популярной литературы. №87. Математика). - Библиогр.: с.183 (8 назв.). - ISBN 978-5-9710-1140-8.
Авторы: Оре О.
Шифры: 519 - О-652
Ключевые слова: ТЕОРИЯ ГРАФОВ
Аннотация: Графы -сети линий, соединяющих заданные точки, -широко используются в разных разделах математики и в приложениях. Автором настоящей книги является видный норвежский алгебраист Ойстин Оре. Для понимания книги вполне достаточны минимальные предварительные знания, практически не превышающие курса математики средней школы. Как при изучении любой книги по математике, овладение новыми понятиями, конечно, потребует от читателя некоторых усилий и известной настойчивости. Однако это лишь доставит удовольствие истинному любителю математики. В пятое издание книги добавлен новый материал, посвященный интервальным графам, задаче коммивояжера, стержневым системам, задаче поиска кратчайшего пути и раскраске карт на поверхностях. Рисунки в дополнительных параграфах, где содержится этот материал, имеют отдельную нумерацию. Книга предназначена широкому кругу читателей, желающих ознакомиться с теорией графов, в том числе школьникам, учителям и руководителям математических кружков.
Экземпляры: Всего: 5, из них: абнл-2, чзнл-2, чзуч-1
Прямая ссылка:
10. Книга
Семенов А.С.
Моделирование самоорганизующихся процессов развития: фрактоидно-ориентированный подход / А.С. Семенов. - Москва : МАИ, 2013. - 156 с. : ил. - (Научная библиотека). - Библиогр.: с.147-154 (106 назв.). - ISBN 978-5-4316-0110-1.
Моделирование самоорганизующихся процессов развития: фрактоидно-ориентированный подход / А.С. Семенов. - Москва : МАИ, 2013. - 156 с. : ил. - (Научная библиотека). - Библиогр.: с.147-154 (106 назв.). - ISBN 978-5-4316-0110-1.
Авторы: Семенов А.С.
Шифры: 517 - С 302
Ключевые слова: ДИНАМИЧЕСКИЕ СИСТЕМЫ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, ИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕ СИСТЕМЫ, ТЕОРИЯ ГРАФОВ, АВТОР МАИ
Аннотация: Монография содержит систематическое изложение теоретических и прикладных результатов в области моделирования самоорганизующихся процессов развития с применением фрактоидно-ориентированного подхода. Процессы развития организации систем описываются фрактоидами - автоматами, порождающими различные классы фрактальных (самоподобных) графов. Поведение самоорганизующейся системы моделируется фрактоидами, формирующими фрактальный аттрактор пространства решений на нагруженных графах. Материал будет полезен специалистам, научным работникам, аспирантам и студентам, занимающимся теорией и практикой разработки информационно-управляющих систем, технологией программирования и искусственным интеллектом.
Экземпляры: Всего: 148, из них: абмл-30, абнл-5, абст-50, к/х7-3, списание-53, чзнл-3, чзуч-3, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/175?idb=NewMAI2014
Для просмотра необходимо войти в личный кабинет
Прямая ссылка:
Подробнее
Кафедра: 806
11. Книга
Гайдук А.Р.
Теория и методы аналитического синтеза систем автоматического управления (полиномиальный подход) / А.Р. Гайдук. - Москва : Физматлит, 2012. - 360 с. : ил., табл. - Библиогр.: с.354-357 (61 назв.); Указ. - ISBN 978-5-9221-1424-0.
Теория и методы аналитического синтеза систем автоматического управления (полиномиальный подход) / А.Р. Гайдук. - Москва : Физматлит, 2012. - 360 с. : ил., табл. - Библиогр.: с.354-357 (61 назв.); Указ. - ISBN 978-5-9221-1424-0.
Авторы: Гайдук А.Р.
Шифры: 681.5 - Г 142
Ключевые слова: СИСТЕМЫ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ-СИНТЕЗ, АНАЛИЗ И СИНТЕЗ, ЧИСЛЕННЫЕ МЕТОДЫ
Аннотация: Монография посвящена решению проблемы синтеза систем автоматического управления аналитическими методами. Получены уравнения, связывающие параметры объекта, устройства управления и замкнутой системы с управлением по выходу и воздействиям. Найдены условия разрешимости задачи аналитического синтеза линейных астатических, абсолютно и селективно инвариантных, оптимальных линейных систем автоматического управления минимальной сложности с учетом физической реализуемости многомерного устройства управления. Предложены аналитические методы синтеза систем управления нелинейными объектами. Книга ориентирована как на инженеров и научных работников, занимающихся проектированием и исследованием систем управления, так и на преподавателей, магистрантов, аспирантов и студентов старших курсов технических вузов.
Экземпляры: Всего: 2, из них: чзнл-1, ЭБС-1
Ссылка на ресурс: https://www.rfbr.ru/library/books/2036/
Прямая ссылка:
12. Книга
Нагель Э. (1901-1985).
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокращ. пер. с англ. Ю.А.Гастева. - Изд.3-е. - Москва : КРАСАНД, 2011. - 118 с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00321-7.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокращ. пер. с англ. Ю.А.Гастева. - Изд.3-е. - Москва : КРАСАНД, 2011. - 118 с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00321-7.
Авторы: Нагель Э., Ньюмен Д.Р.
Шифры: 51 - Н 162
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ.
Аннотация: Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки — проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Гёделя, которому посвящена книга. Не требуя от читателя по существу никаких предварительных познаний, авторы с успехом объясняют ему сущность одной из самых замечательных и глубоких теорем математики и логики. Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
13. Книга
Балык В.М.
Статистический синтез проектных решений при разработке сложных систем / В.М. Балык. - Москва : МАИ, 2011. - 279 с. : ил. - (Научная библиотека). - ISBN 978-5-4316-0009-8.
Статистический синтез проектных решений при разработке сложных систем / В.М. Балык. - Москва : МАИ, 2011. - 279 с. : ил. - (Научная библиотека). - ISBN 978-5-4316-0009-8.
Авторы: Балык В.М.
Шифры: 681.5 - Б 209
Ключевые слова: СЛОЖНЫЕ СИСТЕМЫ, СТАТИСТИЧЕСКИЙ СИНТЕЗ, ПРОЕКТИРОВАНИЕ ЛЕТАТЕЛЬНЫХ АППАРАТОВ (ЛА), АВТОР МАИ
Аннотация: Излагаются теоретические аспекты и основные методы статистического синтеза сложных систем. Приводятся определения устойчивости проектных решений к факторам многокритериальной и ситуационной неопределенностей и даются методы обеспечения такой устойчивости. Показываются способы регуляризации проектных решений, рассматриваются алгоритмы регуляризации статистических выборок, которыми представляются математические модели проектируемых систем. Большое внимание уделено приложению статистического синтеза к решению ряда прикладных задач, в частности к задачам глобального поиска экстремума, построения статистической аэродинамической модели поданным лётных испытаний, к сложным краевым задачам, к задачам построения системы летательных аппаратов. Для специалистов в области проектирования и разработки сложных систем, проектирования летательных аппаратов, а также для студентов и аспирантов авиационных и машиностроительных вузов.
Экземпляры: Всего: 64, из них: абнл-5, абст-50, чзнл-3, чзуч-5, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/72191?idb=NewMAI2014
Прямая ссылка:
Подробнее
Кафедра: 608
14. Книга
Нагель Э.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокр. пер. с англ. Ю.А. Гастева. - Изд. 2-е, испр. - М. : КРАСАНД, 2010. - 117, [1] с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00092-6.
Теорема Гёделя / Э. Нагель, Д.Р. Ньюмен; сокр. пер. с англ. Ю.А. Гастева. - Изд. 2-е, испр. - М. : КРАСАНД, 2010. - 117, [1] с. - (Науку - всем! Шедевры научно-популярной литературы. Математика). - ISBN 978-5-396-00092-6.
Авторы: Нагель Э., Ньюмен Д.Р.
Шифры: 51 - Н 162
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ
Аннотация: Вниманию читателя предлагается книга известного американского логика Э. Нагеля и опытного популяризатора науки Дж. Р. Ньюмена, посвященная теореме Гёделя о неполноте. Эта теорема была изложена в небольшой статье К. Гёделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки — проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Гёделя, которому посвящена книга. Не требуя от читателя по существу никаких предварительных познаний, авторы с успехом объясняют ему сущность одной из самых замечательных и глубоких теорем математики и логики. Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.
Экземпляры: Всего: 2, из них: абнл-1, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/61638?idb=NewMAI2014
Для просмотра необходимо войти в личный кабинет
Прямая ссылка:
15. Книга
Лакатос И.
Доказательства и опровержения. Как доказываются теоремы / И. Лакатос; перевод с английского И.Н. Веселовского; отв. ред. И.Б. Погребысский. - Изд.2-е. - М. : ЛКИ, 2010. - 152 с. - (Физико-математическое наследие: математика . основания математики и логика). - Библиогр.: с. 146-151. - ISBN 978-5-382-01024-3.
Доказательства и опровержения. Как доказываются теоремы / И. Лакатос; перевод с английского И.Н. Веселовского; отв. ред. И.Б. Погребысский. - Изд.2-е. - М. : ЛКИ, 2010. - 152 с. - (Физико-математическое наследие: математика . основания математики и логика). - Библиогр.: с. 146-151. - ISBN 978-5-382-01024-3.
Авторы: Лакатос И.
Шифры: 51 - Л 19
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 2, из них: чзнл-2
Прямая ссылка:
16. Книга
Звонкин А.К.
Графы на поверхностях и их приложения / А.К. Звонкин, С.К. Ландо. - М. : МЦНМО, 2010. - 480 с. : ил. - Библиогр.:с.453-469(330 назв.). - ISBN 978-5-94057-588-7.
Графы на поверхностях и их приложения / А.К. Звонкин, С.К. Ландо. - М. : МЦНМО, 2010. - 480 с. : ил. - Библиогр.:с.453-469(330 назв.). - ISBN 978-5-94057-588-7.
Авторы: Звонкин А.К., Ландо С.К.
Шифры: 519 - З-437
Ключевые слова: ТЕОРИЯ ГРАФОВ, ГРАФЫ, ГРАФОВ ТЕОРИЯ, КОМБИНАТОРНЫЙ АНАЛИЗ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
17. Книга
Харари Ф.
Теория графов = Graph Theory / Ф. Харари; перевод с английского и предисловие В.П. Козырева; под ред. Г.П. Гаврилова. - Изд. 4-е. - М. : ЛИБРОКОМ, 2009. - 300 с. : ил. - Библиогр.: с.268-286. - ISBN 978-5-397-00622-4.
Теория графов = Graph Theory / Ф. Харари; перевод с английского и предисловие В.П. Козырева; под ред. Г.П. Гаврилова. - Изд. 4-е. - М. : ЛИБРОКОМ, 2009. - 300 с. : ил. - Библиогр.: с.268-286. - ISBN 978-5-397-00622-4.
Авторы: Харари Ф.
Шифры: 519 - Х 20
Ключевые слова: ТЕОРИЯ ГРАФОВ
Аннотация: В последнее время теория графов привлекает все более пристальное внимание специалистов различных областей знания. Наряду с традиционными применениями ее в таких науках, как физика, электротехника, химия, она проникла и в науки, считавшиеся раньше далекими от нее, - экономику, социологию, лингвистику и другие. Давно известны тесные контакты теории графов с топологией, теорией групп и теорией вероятностей. Особенно важная взаимосвязь существует между теорией графов и теоретической кибернетикой (особенно теорией автоматов, исследованием операций, теорией кодирования, теорией игр). Широко используется теория графов при решении различных задач на вычислительных машинах. Предлагаемая книга написана видным специалистом по дискретной математике. Несмотря на небольшой объем и конспективный характер изложения, книга достаточно полно освещает современное состояние теории графов. Она, безусловно, будет полезна студентам университетов и технических вузов и, несомненно, заинтересует широкие круги научных работников, занимающихся приложениями дискретной математики.
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
18. Книга
Малинин Л.И.
Изоморфизм графов в теоремах и алгоритмах / Л.И. Малинин, Н.Л. Малинина. - М. : ЛИБРОКОМ, 2009. - 249 с. : ил. - ЕСТЬ ЭЛЕКТРОННАЯ ВЕРСИЯ. - Библиогр.: с.245-247 (63 назв.). - ISBN 978-5-397-00480-0.
Изоморфизм графов в теоремах и алгоритмах / Л.И. Малинин, Н.Л. Малинина. - М. : ЛИБРОКОМ, 2009. - 249 с. : ил. - ЕСТЬ ЭЛЕКТРОННАЯ ВЕРСИЯ. - Библиогр.: с.245-247 (63 назв.). - ISBN 978-5-397-00480-0.
Авторы: Малинин Л.И., Малинина Н.Л.
Шифры: 519 - М 19
Ключевые слова: ТЕОРИЯ ГРАФОВ, АЛГОРИТМЫ, АВТОР МАИ
Аннотация: Книга посвящена эквивалентным преобразованиям графов. Предполагается, что доказанные теоремы решают проблему изоморфизма графов, проблему нумерации графов с помощью эффективных алгоритмов без их предварительного построения, проблему построения нормальных алгоритмов и т.д. Исследование преобразования вершинных графов в реберные демонстрирует причины возникновения NP-полных задач с точки зрения теории графов, а также одновременную возможность и невозможность борьбы с NP-полнотой. Книга предназначена для тех, кто в поте лица и не щадя живота своего сражается на поле битвы в той области нашей жизни, которая справедливо зовется решением очень трудных задач. Для студентов и ученых, для программистов, создателей сложных моделей и систем.
Экземпляры: Всего: 52, из них: абнл-3, абст-39, списание-3, чзнл-3, чзуч-3, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/1619?idb=NewMAI2014
Для просмотра необходимо войти в личный кабинет
Прямая ссылка:
19. Книга
Клини С.К.
Введение в метаматематику / С.К. Клини; перевод с английского А.С. Есенина-Вольпина под ред. В.А. Успенского. - Изд. 2-е., испр. - М. : ЛИБРОКОМ, 2009. - 523 с. - (Физико-математическое наследие: математика . основания математики и логика). - Библиогр.: с. 493-509. - ISBN 978-5-397-00105-2.
Введение в метаматематику / С.К. Клини; перевод с английского А.С. Есенина-Вольпина под ред. В.А. Успенского. - Изд. 2-е., испр. - М. : ЛИБРОКОМ, 2009. - 523 с. - (Физико-математическое наследие: математика . основания математики и логика). - Библиогр.: с. 493-509. - ISBN 978-5-397-00105-2.
Авторы: Клини С.К.
Шифры: 51 - К 493
Ключевые слова: ОСНОВАНИЯ МАТЕМАТИКИ, МАТЕМАТИЧЕСКАЯ ЛОГИКА, РЕКУРСИВНЫЕ ФУНКЦИИ, ФУНКЦИИ РЕКУРСИВНЫЕ
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка:
20. Книга
Черч А.
Введение в математическую логику. Т.1 / А. Черч; перевод с английского В.С. Чернявского под ред. и с предисловием В.А. Успенского. - Изд. 2-е. - М. : ЛИБРОКОМ, 2009. - 480 с. : табл. - (Физико-математическое наследие: математика . основания математики и логика). - ISBN 978-5-397-00468-8.
Введение в математическую логику. Т.1 / А. Черч; перевод с английского В.С. Чернявского под ред. и с предисловием В.А. Успенского. - Изд. 2-е. - М. : ЛИБРОКОМ, 2009. - 480 с. : табл. - (Физико-математическое наследие: математика . основания математики и логика). - ISBN 978-5-397-00468-8.
Авторы: Черч А.
Шифры: 51 - Ч-508
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 1, из них: чзнл-1
Прямая ссылка: