В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики – понятие доказательства) и о понятии исчисления.
В книге излагаются основные понятия дискретной математики: модулярная арифметика и ее использование в криптографии, элементы комбинаторики, алгебра логики и логика предикатов, теория графов, конечные автоматы.
Книга представляет собой систематическое изложение различных вопросов, связанных с понятием «инженерная онтология». Инженерные онтологии представляют собой бурно развивающееся направление компьютерной науки. Различные приложения инженерных онтологии можно найти в самых разных областях инженерии: от интеллектуальных систем до поисковых программ для Интернет.
Книга представляет собой учебный курс по началам математической лингвистики. Она сформирована в виде лекций, поэтому каждая глава содержит материал ровно в том объеме, который может быть прочитан на двухчасовой лекции. Основное внимание в изложении уделено теории формальных языков.
Пособие содержит набор индивидуальных заданий с примерами решений для студентов по курсу дискретной математики и предназначено для обеспечения самостоятельной работы студентов по освоению курса.
В предлагаемом учебном пособии изложены самые начала теории алгоритмов - базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество, и один из формальных универсальных языков для записи предписаний, работающих со словами (машины Тьюринга).
В монографии изложены основы анализа эффективности и рисков целевых программ (целенаправленной деятельности). Рассматриваются истоки зарождения анализа эффективности...
В книге излагаются основы математического анализа приблизительно в той последовательности, в какой они создавались и совершенствовались великими математиками прошлого. В первых двух главах показано, как вычисления, связанные с решением практических задач, привели к открытию бесконечных рядов...
В учебном пособии излагаются основы алгоритмической грамотности (уточнение понятия алгоритма и алгоритмическая неразрешимость, анализ сложности алгоритмов, построение и анализ алгоритмов сортировки и поиска информации, выделение класса труднорешаемых задач).
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог...
Книга посвящена рассмотрению комплекса вопросов, связанных с идеологией построения математических моделей процесса уноса массы композиционных теплозащитных материалов, сформировавшейся в результате многолетних исследований...
В книге рассмотрены отношения эквивалентности на множестве ресурсов сети Петри. Представлено понятие подобия, соответствующее возможности замены в системе одного набора фишек (ресурса) на другой без ущерба для ее наблюдаемого поведения в смысле бисимулярности.
Монография посвящена современным математическим моделям и основанным на них численным методам решения задач динамики газа и жидкости. Приведены две взаимосвязанные математические модели, обобщающие систему уравнений Навье-Стокса...
Книга посвящена операционной системе Linux и преследует три цели: дать представление о ней как системной целостности, осветить гуманитарный аспект феномена Linux как общественного явления и, наконец, показать, как технологические и гуманитарные аспекты ее воплощаются практически.
Книга написана на основе курса лекций, читаемого автором в течение многих лет для студентов 3-5 курсов на факультете Вычислительной математики и кибернетики МГУ им. М. В. Ломоносова.
Изучение геометрии пространства модулей Кривых – одно из наиболее активно развивающихся направлений алгебраической геометрии. Книга известных Американских Математиков содержит доступное для студентов изложение главных результатов в этой области...
В книге представлено описание формализма вложенных сетей Петри, предназначенного для моделирования и анализа поведения распределенных систем со сложной объектной структурой.
Наши издания 
