Книга Нильсона написана как учебник, посвященный методам поиска решений в пространстве состояний, -главной теме в исследованиях по искусственному интеллекту. В ней излагаются основные теоретические результаты и для их иллюстрации разбираются многочисленные примеры решения задач — игра в 15, игра тик-так-ту, задача о коммивояжере, задача о пирамидке, доказательство теорем и др.
Для чтения книги требуются небольшие познания по теории графов, комбинаторике и исчислению предикатов.
Доступность изложения и тщательно подобранные задачи различной трудности делают книгу полезной студентам и аспирантам, специализирующимся по искусственному интеллекту. Она будет интересна и специалисту как обстоятельный обзор большого числа современных работ, рассеянных по журналам, трудам конференций и отчетам.
Систематическое и современное изложение комбинаторной теории групп. Значительная часть книги посвящена геометрическим методам и теории малых сокращений, представлены разделы по биполярным структурам Столлингса, разрешимости проблемы тождества слов и др. В книге отражены интенсивные исследования последнего десятилетия. От книги Магнуса и др. с тем же названием, вышедшей в издательстве «Наука» в 1975 г., она выгодно отличается подбором материала и способом изложения. Книга может служить как учебным пособием, так и источником информации для математика-специалиста. Она будет полезна всем, кто занимается теорией групп и смежными вопросами.
Излагаются основные аспекты проектирования и внедрения систем электронного документооборота в вузах. Рассмотрены модели и технологии на основе методов объединения онтологий для управления электронным документооборотом вуза. Представлены подходы к созданию интегрированной информационной системы для поддержки учебной, финансовой и управленческой деятельности вуза.
Монография предназначена для научных сотрудников, преподавателей и студентов, занимающихся исследованиями по научной специальности 2.3.1. «Системный анализ, управление и обработка информации, статистика».
Учебное пособие содержит описания лабораторных работ по
дисциплинам, реализуемым кафедрой прикладной математики МГТУ
«СТАНКИН». В пособие включены варианты заданий, краткие теоретические
сведения и методика выполнения работ, сформулированы контрольные
вопросы по темам.
Для использования на лабораторных занятиях и самостоятельной работы
студентов высших технических учебных заведений, обучающихся по
программам бакалавриата и специалитета
Приводятся основные понятия теории графов и описание алгоритмов, наиболее часто
используемых при работе с графами. Также пособие содержит цикл лабораторных работ по
дисциплине «Теория графов», включая порядок их выполнения и индивидуальные задания.
Предназначено для студентов, обучающихся по направлению 09.03.02 «Информаци-
онные системы и технологии».
Для удобства работы с изданием рекомендуется пользоваться функцией Bookmarks (Закладки)
в боковом меню программы Adobe Reader и системой ссылок.
Настоящее учебное пособие предназначено для студентов всех
направлений и специальностей, изучающих дисциплину «Дискретная
математика и математическая логика». Пособие разработано в помощь к
решению практических заданий и содержит краткое изложение теории по
темам «Теория множеств», «Теория графов» и «Математическая логика».
Рассмотрены примеры с подробными решениями, приведены задания для
самостоятельной работы.
В работе впервые доказана теорема – обобщенная формула
Леонарда Эйлера для произвольного непланарного графа, то есть графа
с пересечением ребер. Введено определение степени точки пересечения
для ребер графа по аналогии с определением со степенью вершины
графа.
Полученная формула найдет применение в теории графов и
войдет в курс лекций по дискретной математике и теории графов. Для
студентов физико-математических специальностей, студентов
педагогических, технических университетов, преподавателей,
инженеров, программистов использующих в своей практической
деятельности теорию графов, комбинаторную геометрию, теорию
алгоритмов.
Настоящее учебное пособие предназначено для студентов всех
направлений и специальностей, изучающих дисциплину «Теория графов».
Пособие разработано в помощь к решению практических заданий и
содержит краткое изложение теории по темам«Пути, маршруты»,
«Связность», «Деревья», «Кратчайший остов», «Эйлеровы и гамильтоновы
графы» и «Кратчайшие пути». Рассмотрены примеры с подробными
решениями
Пособие представляет результаты исследования по проблеме изучения дисциплины «Прикладная теория графов» бакалаврами направления подготовки «Прикладная математика и информатика». В пособии рассмотрены следующие вопросы: история возникновения теории графов, основные понятия, виды графов, матрицы смежности и инцидентности, изоморфизм, элементы графа, маршрут, цепь, цикл, путь и контур, связность, полный граф, теорема Куратовского, формула Эйлера, деревья, эйлеровы линия, граф и путь, алгоритм Декстра, проблема коммивояжера, алгоритм «самой близкой вставки». Учебное пособие содержит краткий теоретический материал, примеры решения задач, вопросы и задания для самоконтроля, тестовый материал, а также практические работы (по вариантам).
В работе впервые доказана теорема – обобщенная формула Леонарда Эйлера для произвольного непланарного графа, то есть графа с пересечением ребер. Введено определение степени точки пересечения для ребер графа по аналогии с определением со степенью вершины графа. Полученная формула найдет применение в теории графов и войдет в курс лекций по дискретной математике и теории графов. Для студентов физико-математических специальностей, студентов педагогических, технических университетов, преподавателей, инженеров, программистов использующих в своей практической деятельности теорию графов, комбинаторную геометрию, теорию алгоритмов.
